DataMod - researchr conference series publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 13 from 13

2022

From Data to Models and Back - 10th International Symposium, DataMod 2021, Virtual Event, December 6-7, 2021, Revised Selected PapersJuliana Bowles, Giovanna Broccia, Roberto Pellungrini, editors, Volume 13268 of Lecture Notes in Computer Science, Springer, 2022. [doi]

2021

Model-Based Security Assessment on the Design of a Patient-Centric Data Sharing PlatformMatthew Banton, Thais Webber, Agastya Silvina, Juliana Bowles. datamod 2022: 61-77 [doi]

A Secure User-Centred Healthcare System: Design and VerificationEduard Baranov, Juliana Bowles, Thomas Given-Wilson, Axel Legay, Thais Webber. datamod 2022: 44-60 [doi]

Towards Model Checking Video Streams Using VoxLogicA on GPUsLaura Bussi, Vincenzo Ciancia, Fabio Gadducci, Diego Latella, Mieke Massink. datamod 2022: 78-90 [doi]

Ten Years of DataMod: The Synergy of Data-Driven and Model-Based ApproachesAntonio Cerone. datamod 2022: 7-24 [doi]

A Web-Based Tool for Collaborative Modelling and Analysis in Human-Computer Interaction and Cognitive ScienceAntonio Cerone, Anel Mengdigali, Nuray Nabiyeva, Temirlan Nurbay. datamod 2022: 175-192 [doi]

Detecting Anxiety Trends Using Wearable Sensor Data in Real-World SituationsMarissa Gray, Shweta Majumder, Kate Nelson, Reshma Munbodh. datamod 2022: 107-117 [doi]

Spatio-temporal Model Checking for 3D Individual-Based Biofilm SimulationsBowen Li, Pahala Gedara Jayathilake, Yuqing Xia, Thomas P. Curtis, Paolo Zuliani. datamod 2022: 157-174 [doi]

Analysis and Verification of Robustness Properties in Becker-Döring ModelLucia Nasti, Roberta Gori, Paolo Milazzo. datamod 2022: 27-43 [doi]

Privacy Risk and Data Utility Assessment on Network DataRoberto Pellungrini. datamod 2022: 93-106 [doi]

Combining Quantitative Data with Logic-Based Specifications for Parameter InferencePaul Piho, Jane Hillston. datamod 2022: 121-137 [doi]

A Refinement Based Algorithm for Learning Program Input GrammarsHannes Sochor, Flavio Ferrarotti. datamod 2022: 138-156 [doi]

MultiVeStA: Statistical Analysis of Economic Agent-Based Models by Statistical Model CheckingAndrea Vandin, Daniele Giachini, Francesco Lamperti, Francesca Chiaromonte. datamod 2022: 3-6 [doi]

Sign in or sign up to see more results.

runs on WebDSL