From Data to Models and Back
10th International Symposium, DataMod 2021, Virtual Event, December 6-7, 2021, Revised Selected Papers
Published on 14. October 2022
X, 193 pages
978-3-031-16011-0 (ISBN)
Description
This book constitutes the refereed proceedings of the 10th International Symposium "From Data Models and Back", DataMod 2021, which was held virtually during December 6-7, 2021, as a satellite event of SEFM 2021.
The 9 full papers and 1 short paper included in this book were carefully reviewed and selected from 12 submissions. They were organized in topical sections as follows: Model veri?cation; data mining and processing related approaches; and other approaches.
The 9 full papers and 1 short paper included in this book were carefully reviewed and selected from 12 submissions. They were organized in topical sections as follows: Model veri?cation; data mining and processing related approaches; and other approaches.
More details
Series
Edition
1st ed. 2022
Language
English
Place of publication
Cham
Switzerland
Publishing group
Springer International Publishing
Product notice
Reflowable
Illustrations
X, 193 p. 50 illus., 44 illus. in color.
File size
17,37 MB
ISBN-13
978-3-031-16011-0 (9783031160110)
DOI
10.1007/978-3-031-16011-0
Schweitzer Classification
Other editions
Additional editions
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
Book
10/2022
Springer
€58.84
Shipment within 15-20 days
Content
Invited Talks
.- MultiVeStA: Statistical Analysis of Economic Agent-Based Models byStatistical Model Checking.- 10 Years of DataMod: the Synergy of Data-driven and Model-basedApproaches.-
Model Veri?cation
.- Analysis and veri?cation of robustness properties in Becker-D?ring model.- A Secure User-Centred Healthcare System: Design and Veri?cation.- Model-based Security Assessment on the Design of a Patient-centric 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 Situations.-
Other Approaches
.- Combining quantitative data with logic-based speci?cations 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.
