From Data to Models and Back. 10th International Symposium, DataMod 2021 Virtual Event, December 6–7, 2021 Revised Selected Papers

Preface
Organization
Contents
Invited Talks
MultiVeStA: Statistical Analysis of Economic Agent-Based Models by Statistical Model Checking
	1 Extended Abstract
	References
Ten Years of DataMod: The Synergy of Data-Driven and Model-Based Approaches
	1 Introduction
	2 Building up an Interdisciplinary Community and Elaborating on Its Scope: MoKMaSD 2012–2015
	3 Exploring Synergetic Approaches and Encouraging Interdisciplinary Collaboration: DataMod 2016–2020
	4 Looking Around and Planning for the Future: DataMod Beyond 2021
		4.1 Comparing the Approaches
		4.2 Current Research on Synergetic Approaches
	5 Conclusion and Future Initiatives
	References
Model Verification
Analysis and Verification of Robustness Properties in Becker-Döring Model
	1 Introduction
	2 Background
		2.1 Chemical Reaction
		2.2 The Becker-Döring equations
	3 Verification of Robustness Properties in Becker-Döring model
		3.1 Application of Deficiency Theorems
		3.2 Application of -robustness and -robustness
		3.3 Analysis of the Steady State
	4 Conclusion and Future Work
	References
A Secure User-Centred Healthcare System: Design and Verification
	1 Introduction
	2 Background
	3 Serums System Design
	4 Serums System Modelling and Verification
		4.1 Verification: Model Checking vs. Statistical Model Checking
	5 Adding Security Requirements
	6 Conclusion
	References
Model-Based Security Assessment on the Design of a Patient-Centric Data Sharing Platform
	1 Introduction
	2 Background and Related Work
	3 Assessment of Attack Scenarios
		3.1 Serums System Design Overview
		3.2 Serum Security Assessment Using ADtrees
	4 UML-Based Mal-Activity Diagrams
		4.1 Mal-Activity Modelling Process
	5 Conclusion
	References
Towards Model Checking Video Streams Using VoxLogicA on GPUs
	1 Introduction
	2 Background: Spatial Model Checking on GPU
	3 Experimental Setup
	4 Results
	5 Conclusions
	References
Data Mining and Processing Related Approaches
Privacy Risk and Data Utility Assessment on Network Data
	1 Introduction
	2 Related Work
	3 Data Definitions
	4 Privacy Risk Assessment Framework
	5 Privacy Attack on Social Networks
		5.1 Neighborhood Attack
		5.2 Label Pair Attack
		5.3 Neighborhood and Label Pair Attack
		5.4 Friendship Degree Attack
		5.5 Mutual Friend Attack
		5.6 Neighborhood Pair Attack
	6 Experimental Dataset
	7 Privacy Risk Assessment Results
	8 Analysis on Network Degradation
	9 Conclusions and Future Works
	References
Detecting Anxiety Trends Using Wearable Sensor Data in Real-World Situations
	1 Introduction
	2 Related Work
	3 Methods
		3.1 Extraction of HRV Features
		3.2 Data Labeling
		3.3 Classifier Training and Validation
		3.4 Classifier Testing
	4 Results
	5 Discussion
	References
Other Approaches
Combining Quantitative Data with Logic-Based Specifications for Parameter Inference
	1 Introduction
	2 Related Work
	3 Background
		3.1 Parametric Continuous Time Markov Chains
		3.2 Statistical Model Checking
		3.3 Approximate Parameter Inference
	4 Inference
		4.1 Quantitative Data
		4.2 Expected Satisfaction Probability
	5 Results
		5.1 Rumour Spread Model
		5.2 Client Server Model
	6 Conclusions
	References
A Refinement Based Algorithm for Learning Program Input Grammars
	1 Introduction
	2 Preliminaries
	3 Seed Grammar Extraction
	4 Grammar Refinement Algorithm
	5 Running Time Analysis
	6 Experiments and Evaluation
	7 Conclusion
	References
Spatio-temporal Model Checking for 3D Individual-Based Biofilm Simulations
	1 Introduction
	2 Methods
		2.1 Individual-based Model
		2.2 Signal Spatio-Temporal Logic
		2.3 Software
	3 Results
		3.1 Biofilm Surface Morphology
		3.2 Biofilm Deformation and Detachment
		3.3 Performance
	4 Conclusion
	References
A Web-Based Tool for Collaborative Modelling and Analysis in Human-Computer Interaction and Cognitive Science
	1 Introduction
	2 The Modelling Approach
		2.1 Cognitive Model
		2.2 System Model and Interaction
	3 The Linguistic Approach
		3.1 Basic Entities
		3.2 Structured Entities
		3.3 Semantic and Dynamic Entities
	4 Tool and Web Portal
		4.1 Java-based Simulation Engine
		4.2 Database, Web Portal and Project Management
	5 Conclusion and Future Work
	References
Author Index