DataMod

Keyphrases

Publications

volume 13268, 2022

From Data to Models and Back - 10th International Symposium, DataMod 2021, Virtual Event, December 6-7, 2021, Revised Selected Papers DataMod 13268 (2022)

2021

Paul Piho, Jane Hillston
Combining Quantitative Data with Logic-Based Specifications for Parameter Inference. DataMod (2021)
Matthew Banton, Thais Webber, Agastya Silvina, Juliana Bowles
Model-Based Security Assessment on the Design of a Patient-Centric Data Sharing Platform. DataMod (2021)
Bowen Li, Pahala Gedara Jayathilake, Yuqing Xia, Thomas P. Curtis, Paolo Zuliani
Spatio-temporal Model Checking for 3D Individual-Based Biofilm Simulations. DataMod (2021)
Marissa Gray, Shweta Majumder, Kate Nelson, Reshma Munbodh
Detecting Anxiety Trends Using Wearable Sensor Data in Real-World Situations. DataMod (2021)
Lucia Nasti, Roberta Gori, Paolo Milazzo
Analysis and Verification of Robustness Properties in Becker-Döring Model. DataMod (2021)
Antonio Cerone
Ten Years of DataMod: The Synergy of Data-Driven and Model-Based Approaches. DataMod (2021)
Eduard Baranov, Juliana Bowles, Thomas Given-Wilson, Axel Legay, Thais Webber
A Secure User-Centred Healthcare System: Design and Verification. DataMod (2021)
Antonio Cerone, Anel Mengdigali, Nuray Nabiyeva, Temirlan Nurbay
A Web-Based Tool for Collaborative Modelling and Analysis in Human-Computer Interaction and Cognitive Science. DataMod (2021)
Andrea Vandin, Daniele Giachini, Francesco Lamperti, Francesca Chiaromonte
MultiVeStA: Statistical Analysis of Economic Agent-Based Models by Statistical Model Checking. DataMod (2021)
Hannes Sochor, Flavio Ferrarotti
A Refinement Based Algorithm for Learning Program Input Grammars. DataMod (2021)
Laura Bussi, Vincenzo Ciancia, Fabio Gadducci, Diego Latella, Mieke Massink
Towards Model Checking Video Streams Using VoxLogicA on GPUs. DataMod (2021)
Roberto Pellungrini
Privacy Risk and Data Utility Assessment on Network Data. DataMod (2021)