From Data to Models and Back 10th International Symposium, DataMod 2021, Virtual Event, December 6-7, 2021, Revised Selected Papers / [electronic resource] :
edited by Juliana Bowles, Giovanna Broccia, Roberto Pellungrini.
- 1st ed. 2022.
- X, 193 p. 50 illus., 44 illus. in color. online resource.
- Lecture Notes in Computer Science, 13268 1611-3349 ; .
- Lecture Notes in Computer Science, 13268 .
Invited Talks -- MultiVeStA: Statistical Analysis of Economic Agent-Based Models by Statistical Model Checking -- 10 Years of DataMod: the Synergy of Data-driven and Model-based Approaches -- Model Verification -- Analysis and verification of robustness properties in Becker-Dӧring model -- A Secure User-Centred Healthcare System: Design and Verification -- 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 specifications 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.
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 verification; data mining and processing related approaches; and other approaches.
9783031160110
10.1007/978-3-031-16011-0 doi
Software engineering.
Computer engineering.
Computer networks .
Artificial intelligence.
Computer science.
Software Engineering.
Computer Engineering and Networks.
Artificial Intelligence.
Theory of Computation.
Computer Engineering and Networks.
QA76.758
005.1
Invited Talks -- MultiVeStA: Statistical Analysis of Economic Agent-Based Models by Statistical Model Checking -- 10 Years of DataMod: the Synergy of Data-driven and Model-based Approaches -- Model Verification -- Analysis and verification of robustness properties in Becker-Dӧring model -- A Secure User-Centred Healthcare System: Design and Verification -- 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 specifications 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.
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 verification; data mining and processing related approaches; and other approaches.
9783031160110
10.1007/978-3-031-16011-0 doi
Software engineering.
Computer engineering.
Computer networks .
Artificial intelligence.
Computer science.
Software Engineering.
Computer Engineering and Networks.
Artificial Intelligence.
Theory of Computation.
Computer Engineering and Networks.
QA76.758
005.1