CENTRIC 2019 - The Twelfth International Conference on Advances in Human-oriented and Personalized Mechanisms, Technologies, and Services
November 24, 2019 - November 28, 2019
CENTRIC 2019: Program
SoftNet 2019 - Conference Schedule
Conference Venue Location
Holiday Inn Express Valencia-Ciudad Las Ciencias
Escritor Rafael Ferreres 22
Valencia, 46013, Spain
tel: 34 96 3162530
recepcion@expresshivalencia.com
Note: The final program might vary slightly according to the number of successful special tracks and the final registrations.
Conference rooms
Time slots |
Room A |
Room B |
Room C |
Room D |
Sunday, November 24
13:00 |
Registration starts
The registration desk is located in front of the conference rooms
Operating during the entire conference |
14:00 - 16:00 |
Tutorial I
Machine Learning Techniques in Advanced Network Management
Prof. Dr. Eugen Borcoci, University "Politehnica"of Bucharest (UPB), Romania |
16:00 - 16:15 |
Coffee |
16:15 - 17:15 |
Tutorial II
Building Trusted Collaborate Healthcare Ecosystems for Informed-decision Making
Prof. Dr. Shada Alsalamah, King Saud University, Saudi Arabia |
17:15 - 17:30 |
Coffee |
17:30 - 19:30 |
Tutorial III
Software Quality Evaluation via Static Analysis Tools
Prof. Dr. Luigi Lavazza, Università degli Studi dell’Insubria, Italy |
19:30 -20:30 |
Welcome Cocktail
You must have your badge to attend the cocktail |
Monday, November 25
09:00 - 09:15 |
Opening Session |
09:15 - 10:15 |
Keynote Speech
What is Simulation of Health Services Providing?
Prof. Dr. Emilo Luque, Universitat Autònoma de Barcelona, Spain |
10:15 - 10:30 |
Coffee Break |
10:30 - 12:15 |
ICSEA 1 |
SOTICS 1 |
SIMUL 1 |
ICSNC 1 |
12:15 - 13:45 |
Lunch on your own |
13:45 - 15:30 |
ICSEA 2 |
HEALTHINFO 1 |
INNOV 1 / RuSus |
CENTRIC 1 |
15:30 - 15:45 |
Coffee Break |
15:45 - 17:30 |
Panel on Citizen-Centric Systems
Theme: Designing by Considering User Feedback and Personalization
Moderator
Herwig Mannaert, University of Antwerp, Belgium
Panelists Shada Alsalamah, King Saud University, Saudi Arabia
Olivia Ernestina Sanchez Graillet, CITEC, Bielefeld University, Germany
Rajeev Barua, University of Maryland, USA
Fabrizio Marangio, Institute for High Performance Computing and Networking of the National Research Council of Italy, Italy
José Manuel Fonseca, UNINOVA, Portugal |
Tuesday, November 26
09:15 - 10:15 |
Keynote Speech
Hardware Cybersecurity Attacks and Some Solutions
Prof. Dr. Krishna Kavi, University of North Texas, USA |
10:15 - 10:30 |
Coffee Break |
10:30 - 12:15 |
ICSEA 3 |
HEALTHINFO 2 |
INNOV 2 |
ICNSC 2 |
12:15 - 13:45 |
Lunch on your own |
13:45 - 15:30 |
ICSEA 4 |
VALID 1 / FMSAV |
SOTICS 2 |
|
15:30 - 15:45 |
Coffee Break |
15:45 - 17:30 |
ICSEA 5 |
SIMUL 2 |
CENTRIC 2 |
|
17:30 - 17:45 |
Coffee |
17:45 - 19:30 |
Panel on Digital Services in Cyber Environments
Theme: Protecting the Systems based on Internet of Things and Big Data
Moderator
Jorge Cobb, The University of Texas at Dallas, USA
Panelists
Jaime Lloret, Universitat Politecnica de Valencia, Spain
Joshua Chukwuere, North-West University, South Africa
Petre Dini, IARIA, USA |
Wednesday, November 27
09:15 - 10:15 |
Keynote Speech
Advancing Automatic Programming: Regeneration, Meta-circularity, and Two-sided Interfaces
Prof. Dr. Herwig Mannaert, University of Antwerp, Belgium |
10:15 - 10:30 |
Coffee Break |
10:30 - 12:15 |
ICSEA 6 |
CENTRIC 3 |
ICSNC 3 |
HEALTHINFO 3 |
12:15 - 13:45 |
Lunch on your own |
13:45 - 15:30 |
ICSEA 7 |
SOTICS 3 |
INNOV 3 |
VALID 2 |
15:30 - 15:45 |
Coffee Break |
15:45 - 17:30 |
Panel on Trends in Software Development and Verification
Theme: Challenges on Performance, Safety and Requirements Conformance
Moderator
Luigi Lavazza, Università degli Studi dell'Insubria, Italy
Panelists
Martin Zinner, Technische Universitaet Dresden, Germany
Radek Koci, Brno University of Technology, Czech Republic
Jos van Rooyen, Huis voor Software kwaliteit B.V. , The Netherlands |
17:30 - 17:45 |
Coffee |
17:45 - 19:45 |
TUTORIAL IV
Test Automation Architecture
Jos van Rooyen, Identify Services BV, the Netherlands |
20:30 : 23:00 |
CONFERENCE DINNER |
Thursday, November 28
09:15 - 10:15 |
Keynote Speech
Toward Trusted Blockchain Technology in Healthcare through Security and Privacy
Dr. Lina Alfantoukh, King Faisal Specialist Hospital and Research Center, Riyadh, Saudi Arabia |
10:15 - 10:30 |
Coffee Break |
10:30 - 12:15 |
ICSEA 8 |
HEALTHINFO 4 |
VALID 3 |
ICSNC 4 / TMSA |
12:15 - 12:30 |
Coffee Break |
12:30 - 14:15 |
ICSEA 9 |
CENTRIC 4 |
ICSEA 10 | |
14:15 - 14:30 |
Coffee and Closing session |
Friday, November 29
Recommended tourist objectives to be visited on your own:
Cidade das Artes e das Ciências: Arte, Santiago Calatrava, museu, arquitetura, cultura
Lonja de la Seda: Arquitetura, história, museu, arte, arquitetura gótica
L'Oceanografic: Aquário
Valencia Bioparc: Jardim zoológico
Mercado Central: Mercado
Torres de Serranos: História
Catedral de Valência: Catedral, história, arquitetura
Museu de Belles Arts de València: Museu, arte, cultura, arquitetura
Institut Valencià d'Art Modern: Arte, museu, arquitetura, cultura
Detailed Program
CENTRIC 2019, The Twelfth International Conference on Advances in Human-oriented and Personalized Mechanisms, Technologies, and Services
CENTRIC 1: User-centric Supporting Mechanisms
Session chair: Matthias Jurisch
Enabling User Centered Distributed Stormwater Monitoring
Julio Arauz, Amy Lynch
Infrastructure-as-Code for Scientific Computing Environments
Daniel Gomes, Pedro Mestre, Carlos Serodio
Difference in Attitudes Toward Suggestions Given by an Agent Using Impasse Estimation
Yoshimasa Ohmoto, Hanako Sonobe, Toyoaki Nishida
CENTRIC 2: Building User-centric Systems
Session chair: Pedro Mestre
EEG Application for Human-Centered Experiments in Remote Ship Operations
Raheleh Kari, Martin Steinert, Henrique M.Gaspar
Designing Effective Advergame for Purchase Intention: A View of Game Design and Psychological State
Wei-Hung Hsiao, Shwu-Ming Wu, Ing-Long Wu
Mobile Enterprise Application Development in Practice: an Analysis of Real-World User Stories
Matthias Jurisch, Stephan Böhm, Toby James-Schulz
CENTRIC 3: User Research and Usage Behavior
Session chair: Refilwe Constance Mogase
Motivational Features in an Application for Presenting Dysfunctional Movement Patterns and for Providing Support in Conducting Exercises
Marie Sjölinder, Vasiliki Mylonopoulou, Anneli Avatare Nöu, Olli Korhonen
Enhanced System Usability Scale for Adaptive Courses
Tansu Pancar, Matthias Holthaus, Per Bergamin
Are you Lost?: Using Facial Recognition to Detect Customer Emotions in Retail Stores
Valter Borges, Rui Duarte, Carlos Cunha, David Mota
Assessing Management and Leadership of Work Communities – Related Concepts, Views and ICT-tools
Seppo Väyrynen, Heli Kiema-Junes
CENTRIC 4: User-centric Advanced Applications
Session chair: Tansu Pancar
A User-experience Driven SSIM-Aware Adaptation Approach for DASH Video Streaming
Mustafa Othman, Ken Chen, Anissa Mokraoui
Influence of Performance Expectancy, Experience and Perceived Risk on the Usage of Cryptocurrency Investments
Erik Massarczyk, Peter Winzer, Finn Jakob Müller
Personalizing Learning with m-Technologies to Improve Students Performance in South African Higher Learning
Refilwe Constance Mogase, Patricia Margaret Alexander
HEALTHINFO 2019, The Fourth International Conference on Informatics and Assistive Technologies for Health-Care, Medical Support and Wellbeing
HEALTHINFO 1: Health Informatics Systems
Session chair: Martin Zinner
Argumentation Schemes for Clinical Interventions. Towards an Evidence-Aggregation System for Medical Recommendations
Olivia Sanchez-Graillet, Philipp Cimiano
Predicting the Chances of Live Birth for Couples Undergoing In Vitro Treatments Using Decision Trees
Bruna Estácio da Veiga, Fernando Ferreira, José Luís Metello, José Manuel Fonseca
A Blockchain Architecture for the Italian EHR System
Fabrizio Marangio, Mario Ciampi, Mario Sicuranza, Giovanni Schmid, Angelo Esposito
HEALTHINFO 2: Wellbeing Informatics
Session chair: Fabrizio Marangio
Building a Patient-Centered Blockchain Ecosystem for Caregivers: Diabetes Type II Case Study
Shada Alsalamah, Ghada Alsuwailem, Fatima Alrajeh, Samar Aharbi, Salmah AlQahtani, Razan AlArifi, Shaden AlShargi, Shaikha AlOthman
User Privacy in Mobile Health Applications: Analysis of e-Pulse Application
Tolga Çakmak, Şahika Eroğlu
Motivation Enhancement in mHealth via Gamification
Felix Kettner, André Langer, Kim Schmidt, Martin Gaedke
HEALTHINFO 3: Health Informatics Technologies
Session chair: Jose Miguel Jimenez
Relationships between Quantitative and Subjective Evaluations of Assistive Effect on Standing Function of the Smart Suit
Hijiri Hiraishi, Takayuki Tanaka, Mami Sakata, Dai Kawahara, Keisuke Shima
Spatiotemporal Activities in Human Brain During Recognizing Ambiguous Figure
Takahiro Yamanoi, Tomoko Yonemura, Hisashi Toyoshima, Yahachiro Tsukamoto, Shin-ich Ohnishi
Development of a System for Detection and Monitoring of Heart Diseases based on ECG and Activity Recognition
Pinar Bisgin
3D Upper-Body Pose Estimation and Classification for Detecting Unhealthy Sitting Postures at the Workplace
Christopher Pramerdorfer, Martin Kampel, Johannes Heering
HEALTHINFO 4: Clinical Practice and Training
Session chair: Pinar Bisgin
Prometheus (pn-2003016) Digital Medical Device based Collaborative e-Training Integrated with AI and Big Data Analytics in Organ Transplantations
Constantinos S Mammas, Adamantia S Mamma
Prometheus I (pn 1008239) Digital Medical Device and AI Based
Constantinos S Mammas, Adamantia S Mamma
ICSEA 2019, The Fourteenth International Conference on Software Engineering Advances
ICSEA 1: Advances in Software Testing
Session chair: Lorena Parra
An Empirical Study of Mutation-Based Test Case Clustering Prioritization and Reduction Technique
Longbo Li, Yanhui Zhou, Yong Yu, Feiyan Zhao, Shenghua Wu, Zhe Yang
A Framework for Robust, Low-Overhead Binary Instrumentation
Amir Majlesi-Kupaei, Danny Kim, Kapil Anand, Aparna Kotha, Khaled Elwazeer, Rajeev Barua
Automatically Checking Conformance on Asynchronous Reactive Systems
Camila Sonoda Gomes, Adilson Luiz Bonifacio
An Empirical Evaluation of the Accuracy of NESMA Function Points Estimates
Luigi Lavazza, Geng Liu
ICSEA 2: Software Economics, Adoption, and Education
Session chair: Martin Zinner
Metaphor Models in Software Education: An Empirical Study
Evgeny Pyshkin
A Practical Approach to Teaching Requirements Engineering in Computing Programs
Anderson Guerra, Julio Furtado
Economic Impact of Cloud Computing in the Health System: A Systematic Mapping
Jonathan Santos, Felipe Ferraz
SIMON: Semantic Inference Model for Security in Cyber Physical Systems Using Ontologies
Rohith Yanambaka Venkata, Rohan Maheshwari, Krishna Kavi
ICSEA 3: Advanced Design Tools for Developing Software
Session chair: Luigi Lavazza
OpenCL-Generated Optimizing Compiler for FPGA Using ROSE Compiler Infrastructure
Yuichiro Aoki
From a Subset of LTL Formula to Büchi Automata
Bilal Kanso, Ali Kansou
Towards Component-Based Development of Textual Domain-Specific Languages
Andreas Wortmann
An Intermediate Model for the Code Generation from the Two-Hemisphere Model
Konstantins Gusarovs, Oksana Nikiforova
ICSEA 4: Software Security, Privacy, Safeness I
Session chair: Martin Zinner
Augmenting Fiat Currency with an Integrated Managed Cryptocurrency
Peter Mell
Blockchain Use Cases: A Systematic Study
Thiago Lopes Silva, Felipe Silva Ferraz, Francisco Icaro Ribeiro
Denoising Autoencoder with Dropout based Network Anomaly Detection
Safa Mohamed, Ridha Ejbali, Mourad Zaied
i* (iStar) Security Hierarchy for Cloud Computing
Fiza Saher Faizan, Seemab Latif, Rabia Latif
ICSEA 5: Software Security, Privacy, Safeness II
Session chair: Andreas Wortmann
Implementing a Protocol Native Managed Cryptocurrency
Peter Mell, Aurelien Delaitre, Frederic de Vaulx, Philippe Dessauw
A Joint Encryption-Compression Technique for Images Based on Beta Chaotic Maps and SPIHT Coding
Najet Elkhalil, Rim Zahmoul, Ridha Ejbali, Mourad Zaied
Requirements Traceability in Cyber Physical Systems Using Semantic Inference
Rohith Yanambaka Venkata, Rohan Maheshwari, Krishna Kavi
ICSEA 6: Business Technology
Session chair: Hussein Al-Hashimi
The Matching Lego(R)-Like Bricks Problem: Including a Use Case Study in the Manufacturing Industry
Martin Zinner, Kim Feldhoff, Rui Song, André Gellrich, Wolfgang E. Nagel
Business Intelligence Based Tool Development
Libni Neves, Eric Ferraz, Alipio Carvalho
Training Project Managers to Acquire GSD Soft Skills: A Serious Game
Rubén Márquez, Aurora Vizcaíno, Félix Oscar García
ICSEA 7: Agile and Lean Approaches in Software Engineering
Session chair: Aurora Vizcano
Antecedents to Achieve Kanban Optimum Benefits in Software Companies
Muhammad Ovais Ahmad, Anna Rohunen, Päivi Raulamo-Jurvanen
A Critical Review of the Use of Spikes in Agile Software Development
Hussein Al Hashimi, Andrew Gravell
Graph-Based Analysis of the Architectural Restructuring Impact on Energy Efficiency
Basma Khil, Adel Khalfallah, Samir Ben Ahmed
On the Realization of Meta-Circular Code Generation: The Case of the Normalized Systems Expanders
Herwig Mannaert, Koen De Cock, Peter Uhnak
ICSEA 8: Software Engineering Techniques, Metrics, and Formalisms
Session chair: Lorena Parra
An Enhanced Fault Prediction Model for Embedded Software based on Code Churn, Complexity Metrics, and Static Analysis Results
Safa Omri, Carsten Sinz, Pascal Montag
Incorporating Petri Nets into DEVS Formalism for Precise System Modeling
Radek Koci, Vladimir Janousek
ICSEA 9: Specialized Software Advanced Applications
Session chair: Radek Koci
Comparative Evaluation of Input Features Used for Deep Neural Networks to Recognize Semantic Indoor Scene from Time-Series Images Obtained Using Mobile Robot
Hirokazu Madokoro, Hanwool Woo, Kazuhito Sato
Re-Planning of Bus Timetable Based on Route Search Log to Get on Now
Toshihiko Sasama, Bhattacherjee Rupali, Takao Kawamura, Kazunori Sugahara
Statistical Processing of Delay Time of Public Secondary Traffic and its Application to the Operation Plan
Rupali Bhattacherjee, Toshihiko Sasama, Takao Kawamura, Kazunori Sugahara
Computer Analysis of World Chess Championship Players
Oscar Romero, Lorena Parra, Jose Fernando Cuenca, Jaime Lloret
ICSEA 10: Advances in Fundamentals for Software Development
Session chair: Pedro Luis Gonzalez
A Proposal of Descriptive Pattern for Maintainability Requirements
Yuki Sanomachi, Tsuyoshi Nakajima
A SysML-based Approach to Requirements Traceability Using BPMN and DMN
Corina Abdelahad, Daniel Riesco, Carlos Kavka
Alignment of Test Driven Development and Relative Correctness-based Development
Marwa Benabdelali, Lamia Labed Jilani
Modeling and Verification of Car Parking System
Hadiqa Alamdar Bukhari, Sidra Sultana
ICSNC 2019, The Fourteenth International Conference on Systems and Networks Communications
ICSNC 1: Sensor Networks
Session chair: Eugen Borcoci
From Modelling to Designing: Streaming Network for Multi Tenant Digital Twin Platforms
Christoph Schranz, Mathias Schmoigl, Felix Strohmeier
Real Time IOT for Green Corridor Health Monitoring System
Narendra Kumar G, Asha S R, Aditi Patil
Stabilizing Voronoi Diagrams for Sensor Networks
Jorge Cobb
ICSNC 2: Advanced Features
Session chair: Jorge Cobb
Delay Optimization for URLLC in Software Defined Networks: A Case Study on Platooning
Muge Erel-Ozcevik, Berk Canberk, Cagri Gungor, Yesim Bayramli
Genetic Algorithm for Time-Effective IoT Service Function Placement
Arvind Kalyan
Multiple Conditions-aware Dynamic Switch Migration in SDN Large Area Networks
Eugen Borcoci, Silviu - Gabriel Topoloi, Serban Georgica Obreja
ICSNC 3: Wireless Networks
Session chair: Vehbi Cagri Gungor
DCM+ for Enhancing Performance in Mobile and Wireless Networks
Rushdi Hamamreh, Derar Khader
Basic Concepts of Buried Wireless Sensor under Ballasted Layer
Nagateru Iwasawa, Satoko Ryuo, Koki Iwamoto, Nariya Iwaki, Akio Hada, Akiko Kono
Performance Measuring Test Results of 920MHz Band Wireless Sensor Network in Buried Condition
Nariya Iwaki, Nagateru Iwasawa, Satoko Ryuo
Genetic Algorithm For LoRa Transmission Parameter Selection
Aghiles Djoudi, Rafik Zitouni, Nawel Zangar, Laurent George
ICSNC 4 / TMSA: Trust Management Systems and Applications
Session chair: Lina Alfantoukh
Introduction / Editorial [PRESENTATION]
Lina Alfantoukh, Saeed Almarri
Rating Convergence Measurement in Trust-based Multi-Stakeholder Consensus Decision-Making
Lina Alfantoukh, Abdullah Alzeer
A Survey in Multi-stakeholder Decision-Making based on Trust and Risk
Lina Alfantoukh, Maha Aleid
Blockchain-based Decentralized KYC (Know-Your-Customer)
Syed Azhar Hussain, Dr. Zeeshan-ul-hassan Usmani
Open Discussion and Closing Remarks [DISCUSSION]
Lina Alfantoukh, Saeed Almarri
INNOV 2019, The Eighth International Conference on Communications, Computation, Networks and Technologies
INNOV 1 / RuSus: Innovative Technologies for Rural Areas, Agriculture Precision and Sustainable Environmental Development
Session chair: Martin Zinner
Introduction / Editorial [PRESENTATION]
Jaime Lloret, Manal Fawzy, Mostafa Ezziyyani, Pascal Lorenz
Internet of Underground Things ESP8266 WiFi Coverage Study
Laura García, Lorena Parra, Jose M. Jimenez, Jaime Lloret, Abdelhafid Abouaissa, Pascal Lorenz
Optimization of Heavy Metals Removal from Aqueous Solutions Using Novel Green Sorbents [PRESENTATION]
Manal Fawzy, Nadia Badr, Mohamed Gaber
Practical Study of the Temperature Effect in Soil Moisture Measurements
José Luis García-Navas, Mar Parra, Lorena Parra, Javier Rocher, Sandra Sendra, Jaime Lloret
Quantifying the Production of Fruit-Bearing Trees Using Image Processing Techniques
Laura García, Lorena Parra, Daniel A. Basterrechea, Jose M. Jimenez, Javier Rocher, Mar Parra, José Luis García-Navas, Sandra Sendra, Jaime Lloret, Pascal Lorenz, Jesus Tomás, Abdelhafid Abouaissa, Miguel Rodilla, Silvia Falco, María Teresa Sebastiá, Jesus Mengual, Juan Andrés González, Bernat Roig
Ceratophyllum Demersum L. as Phytoindicator and Potential Phytoremediator of Lead Under Hydroponic Conditions
Manal Fawzy, Ahmed El-Khatib, Nadia Badr, Amany Abo-El-Kasem2, Javier Rocher, Daniel Basterrechea
Open Discussion and Closing Remarks [DISCUSSION]
Jaime Lloret, Manal Fawzy, Mostafa Ezziyyani, Pascal Lorenz
INNOV 2: Communications, Computation, Networks and Technologies
Session chair: Pascal Lorenz
Optimized Load Balancing Mobile Network using a Generative Adversarial Network Based Network Simulator
Tin-Yu Wu, Yueh Wu, Fu Jie Tey, Bo-Hong Huang
A Rate-distortion Optimization Approach to Omnidirectional Video Coding for VR Systems
Yufeng Zhou, Hua Chen, Mei Yu, Gangyi Jiang
Broadband as a Public Good
Karikoga Gorejena, Olebogeng H. Nojila
INNOV 3: Communications
Session chair: Tin-Yu Wu
Optical Coding Label Reuse Scheme to Support More Routing Paths over Multi-Protocol Label Switching Networks
Chun-Chieh Liu, Chao-Chin Yang, Jen-Fa Huang, En-Sheng Cheng
A Weight of Alternatives for Partial Inner and Outer Dependence AHP using Fuzzy Set [PRESENTATION]
Shin-ichi Ohnishi, Takahiro Yamanoi
SIMUL 2019, The Eleventh International Conference on Advances in System Simulation
SIMUL 1: Simulation Models
Session chair: Patrick Biemelt
Construction Equipment Emission Modeling and Activity Analysis Using Deep Learning
Reza Akhavian
A Reactive “In silico” Simulation for Theoretical Learning Clinical Skills and Decision-Making
Alex Vicente-Villalba, Montserrat Antonin, Dolores Rexachs, Emilio Luque
Simulating Strain and Motivation in Human Work Performance: An Agent-Based Modeling Approach Using the Job Demands-Resources Model
Stephanie C. Rodermund, Bernhard Neuerburg, Fabian Lorig, Ingo J. Timm
On the Calibration, Verification and Validation of an Agent-Based Model of the HPC Input/Output System
Diego Encinas, Marcelo Naiouf, Armando De Giusti, Sandra Mendez, Dolores Rexachs, Emilio Luque
A Consideration of Added Value Which Influences Information Diffusion
Yuya Ota, Norihiko Shinomiya
SIMUL 2: Transport Simulation
Session chair: Stephanie C. Rodermund
Objective Evaluation of a Novel Filter-Based Motion Cueing Algorithm in Comparison to Optimization-Based Control in Interactive Driving Simulation
Patrick Biemelt, Sven Mertin, Nico Rüddenklau, Sandra Gausemeier, Ansgar Trächtler
Train Timetable Optimization for Parallel Single-track Sections During Track Closure
Akio Hada, Teodor Gradinariu
Cost Evaluation System for Plant Transportation Over Land
Inhak Lee, Sehyun Hwang, Hojoon Son, Soohong Lee
SOTICS 2019, The Ninth International Conference on Social Media Technologies, Communication, and Informatics
SOTICS 1: Mechanisms for Social Services
Session chair: Nitin Agarwal
Restrictions Towards the Adoption of Social Media Platforms by Civil Servants
Joshua Ebere Chukwuere, Sikedi Ramawela
Smart Contacts as APIs
Athanasios Priftis, Joel Israel, Jean-Philippe Trabichet
Text-based Causality Modeling with Emotional Information Embedded in Hierarchic Topic Structure
Takuro Ogawa, Ryosuke Saga
SOTICS 2: Social Media Use and Experiences
Session chair: Joshua Chukwuere
Identifying Obstacles in Data Sharing by Automatic Extraction of Problematic Points in Documents
Yan Wan, Yalu Wang, Guanhao Chen, Jinping Gao
Identifying Latent Toxic Features on YouTube Using Non-negative Matrix Factorization
Adewale Muyiwa Obadimu, Esther Mead, Nitin Agarwal
Automating Blog Crawling Using Pattern Recognition
Anal Kanti Roy, Nitin Agarwal
SOTICS 3: Social Evaluation and Metrics
Session chair: Yan Wan
The Impact of Text Information Readability of Listed Companies' Annual Reports on Investors' Perception and Decision-making Behavior
Jinping Gao, Qin Xiao, Yan Wan, Li Gao
Predicting Opinions Across Multiple Issues in Large Scale Cyber Argumentation Using Collaborative Filtering and Viewpoint Correlation
Md Mahfuzer Rahman, Joseph Sirrianni, Xiaoqing (Frank) Liu, Douglas Adams
VALID 2019, The Eleventh International Conference on Advances in System Testing and Validation Lifecycle
VALID 1 / FMSAV: Formal Methods for Software Analysis and Verification
Session chair: Marco Campion
Introduction / Editorial [PRESENTATION]
Samuele Buro, Marco Campion, Michele Pasqua
Towards an Operational Semantics for Solidity
Marco Crosara, Gabriele Centurino, Vincenzo Arceri
Learning Metamorphic Rules from Widening Control Flow Graphs
Marco Campion, Mila Dalla Preda, Roberto Giacobazzi
Chameleon: The Gist of Dynamic Programming Languages
Samuele Buro, Michele Pasqua, Isabella Mastroeni
A Taint Analyzer for COBOL Programs
Alberto Lovato, Roberto Giacobazzi, Isabella Mastroeni
Open Discussion and Closing Remarks [DISCUSSION]
Samuele Buro, Marco Campion, Michele Pasqua
VALID 2: Testing Techniques and Mechanisms
Session chair: Pascal Lorenz
Test Automation Architecture [PRESENTATION]
Jos van Rooyen
How to Overcome Test Smells in an Automation Environment
Mesut Durukal
Applying Passive Testing to an Industrial Internet of Things Plant
Marco Grochowski, Stefan Kowalewski, Melanie Buchsbaum, Christian Brecher
Low-Code Solution for IoT Testing
Hugo Cunha, João Pascoal Faria, Bruno Lima
VALID 3: Software Verification and Validation
Session chair: Mesut Durukal
Test Education for University and University of Applied Science, an Update after 4 Years [PRESENTATION]
Jos van Rooyen
How to Adapt Machine Learning into Software Testing
Mesut Durukal
Sandiff: Semantic File Comparator for Continuous Testing of Android Builds
Carlos Eduardo De Souza Aguiar, José Ivan Bezerra VIlarouca Filho, Agnaldo Oliveira Penha Junior, Rodrigo José Borba Fernandes, Cícero Augusto De Lara Pahins
Refinement Maps for Insulin Pump Control Software Safety Verification
Eman Al-Qtiemat, Sudarshan Srinivasan, Zeyad Al-Odat, Sana Shuja