Abstract is missing.
- MultiVeStA: Statistical Analysis of Economic Agent-Based Models by Statistical Model CheckingAndrea Vandin, Daniele Giachini, Francesco Lamperti, Francesca Chiaromonte. 3-6 [doi]
- Ten Years of DataMod: The Synergy of Data-Driven and Model-Based ApproachesAntonio Cerone. 7-24 [doi]
- Analysis and Verification of Robustness Properties in Becker-Döring ModelLucia Nasti, Roberta Gori, Paolo Milazzo. 27-43 [doi]
- A Secure User-Centred Healthcare System: Design and VerificationEduard Baranov, Juliana Bowles, Thomas Given-Wilson, Axel Legay, Thais Webber. 44-60 [doi]
- Model-Based Security Assessment on the Design of a Patient-Centric Data Sharing PlatformMatthew Banton, Thais Webber, Agastya Silvina, Juliana Bowles. 61-77 [doi]
- Towards Model Checking Video Streams Using VoxLogicA on GPUsLaura Bussi, Vincenzo Ciancia, Fabio Gadducci, Diego Latella, Mieke Massink. 78-90 [doi]
- Privacy Risk and Data Utility Assessment on Network DataRoberto Pellungrini. 93-106 [doi]
- Detecting Anxiety Trends Using Wearable Sensor Data in Real-World SituationsMarissa Gray, Shweta Majumder, Kate Nelson, Reshma Munbodh. 107-117 [doi]
- Combining Quantitative Data with Logic-Based Specifications for Parameter InferencePaul Piho, Jane Hillston. 121-137 [doi]
- A Refinement Based Algorithm for Learning Program Input GrammarsHannes Sochor, Flavio Ferrarotti. 138-156 [doi]
- Spatio-temporal Model Checking for 3D Individual-Based Biofilm SimulationsBowen Li, Pahala Gedara Jayathilake, Yuqing Xia, Thomas P. Curtis, Paolo Zuliani. 157-174 [doi]
- A Web-Based Tool for Collaborative Modelling and Analysis in Human-Computer Interaction and Cognitive ScienceAntonio Cerone, Anel Mengdigali, Nuray Nabiyeva, Temirlan Nurbay. 175-192 [doi]