Linked e-resources
Details
Table of Contents
Invited Talks
MultiVeStA: Statistical Analysis of Economic Agent-Based Models by Statistical Model Checking
10 Years of DataMod: the Synergy of Data-driven and Model-based Approaches
Model Verication
Analysis and verication of robustness properties in Becker-Dring model
A Secure User-Centred Healthcare System: Design and Verication
Model-based Security Assessment on the Design of a Patient-centric Data Sharing Platform
Model Checking Video Streams using VoxLogicA on GPU
Data Mining and Processing Related Approaches
Privacy Risk and Data Utility Assessment on Network Data
Detecting Anxiety Trends Using Wearable Sensor Data in Real-world Situations
Other Approaches
Combining quantitative data with logic-based specications for parameter inference
Learning Program Input Grammars with Help from Abstract Syntax Trees
Spatio-temporal model checking for 3D individual-based biofilm simulations
A Web-based Tool for Collaborative Modelling and Analysis in Human-Computer Interaction and Cognitive Science.
MultiVeStA: Statistical Analysis of Economic Agent-Based Models by Statistical Model Checking
10 Years of DataMod: the Synergy of Data-driven and Model-based Approaches
Model Verication
Analysis and verication of robustness properties in Becker-Dring model
A Secure User-Centred Healthcare System: Design and Verication
Model-based Security Assessment on the Design of a Patient-centric Data Sharing Platform
Model Checking Video Streams using VoxLogicA on GPU
Data Mining and Processing Related Approaches
Privacy Risk and Data Utility Assessment on Network Data
Detecting Anxiety Trends Using Wearable Sensor Data in Real-world Situations
Other Approaches
Combining quantitative data with logic-based specications for parameter inference
Learning Program Input Grammars with Help from Abstract Syntax Trees
Spatio-temporal model checking for 3D individual-based biofilm simulations
A Web-based Tool for Collaborative Modelling and Analysis in Human-Computer Interaction and Cognitive Science.