From Data to Models and Back

​Invited Talks.- MultiVeStA: Statistical Analysis of Economic Agent-Based Models by<div>Statistical Model Checking.- 10 Years of DataMod: the Synergy of Data-driven and Model-based</div><div>Approaches.- Model Verification.- Analysis and verification of robustness properties in Becker-Dӧring&nbsp;model.- A Secure User-Centred Healthcare System: Design and Verification.- Model-based Security Assessment on the Design of a Patient-centric&nbsp;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&nbsp;Situations.- Other Approaches.- Combining quantitative data with logic-based specifications 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.</div>