From Data to Models and Back
10th International Symposium, DataMod 2021, Virtual Event, December 6-7, 2021, Revised Selected Papers
Published on 15. October 2022
Book
Paperback/Softback
X, 193 pages
978-3-031-16010-3 (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
Target group
Professional and scholarly
Illustrations
6 s/w Abbildungen, 44 farbige Abbildungen
X, 193 p. 50 illus., 44 illus. in color.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 12 mm
Weight
318 gr
ISBN-13
978-3-031-16010-3 (9783031160103)
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
E-Book
10/2022
Springer
€58.84
Available for download
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.