The Fourth International Conference on Informatics and Assistive Technologies for Health-Care, Medical Support and Wellbeing

HEALTHINFO 2019

November 24, 2019 to November 28, 2019 - Valencia, Spain

Deadlines

Submission

Aug 14, 2019

Notification

Sep 16, 2019

Registration

Sep 30, 2019

Camera ready

Oct 09, 2019

Publication

Published by IARIA XPS Press

Archived in the free access ThinkMind Digital Library

Prints available at Curran Associates, Inc.

Authors of selected papers will be invited to submit extended versions to a IARIA Journal

Indexing Procedure

Affiliated Journals

HEALTHINFO 2019 - The Fourth International Conference on Informatics and Assistive Technologies for Health-Care, Medical Support and Wellbeing

November 24, 2019 - November 28, 2019

HEALTHINFO 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: Felix Kettner

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: Marie Sjolinder

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: Jos van Rooyen

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: Rajeev Barua

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, Athar Mohsin Zaidi

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: Peter Mell

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: Lorena Parra

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: Jaime Lloret Mauri

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
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: Eman Al-Qtiemat

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