default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDataMod 2021: Virtual Event
- Juliana Bowles
, Giovanna Broccia, Roberto Pellungrini:
From Data to Models and Back - 10th International Symposium, DataMod 2021, Virtual Event, December 6-7, 2021, Revised Selected Papers. Lecture Notes in Computer Science 13268, Springer 2022, ISBN 978-3-031-16010-3
Invited Talks
- Andrea Vandin, Daniele Giachini, Francesco Lamperti, Francesca Chiaromonte:
MultiVeStA: Statistical Analysis of Economic Agent-Based Models by Statistical Model Checking. 3-6 - Antonio Cerone:
Ten Years of DataMod: The Synergy of Data-Driven and Model-Based Approaches. 7-24
Model Verification
- Lucia Nasti, Roberta Gori, Paolo Milazzo:
Analysis and Verification of Robustness Properties in Becker-Döring Model. 27-43 - Eduard Baranov, Juliana Bowles, Thomas Given-Wilson, Axel Legay, Thais Webber:
A Secure User-Centred Healthcare System: Design and Verification. 44-60 - Matthew Banton, Thais Webber, Agastya Silvina, Juliana Bowles:
Model-Based Security Assessment on the Design of a Patient-Centric Data Sharing Platform. 61-77 - Laura Bussi, Vincenzo Ciancia, Fabio Gadducci, Diego Latella, Mieke Massink:
Towards Model Checking Video Streams Using VoxLogicA on GPUs. 78-90
Data Mining and Processing Related Approaches
- Roberto Pellungrini:
Privacy Risk and Data Utility Assessment on Network Data. 93-106 - Marissa Gray, Shweta Majumder, Kate Nelson, Reshma Munbodh:
Detecting Anxiety Trends Using Wearable Sensor Data in Real-World Situations. 107-117
Other Approaches
- Paul Piho, Jane Hillston:
Combining Quantitative Data with Logic-Based Specifications for Parameter Inference. 121-137 - Hannes Sochor, Flavio Ferrarotti:
A Refinement Based Algorithm for Learning Program Input Grammars. 138-156 - Bowen Li, Pahala Gedara Jayathilake, Yuqing Xia, Thomas P. Curtis, Paolo Zuliani:
Spatio-temporal Model Checking for 3D Individual-Based Biofilm Simulations. 157-174 - Antonio Cerone, Anel Mengdigali, Nuray Nabiyeva, Temirlan Nurbay:
A Web-Based Tool for Collaborative Modelling and Analysis in Human-Computer Interaction and Cognitive Science. 175-192
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-04-11 18:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
