LEADER 03952nam 22007455 450 001 9910616208803321 005 20251225212327.0 010 $a9783031160110 010 $a3031160118 024 7 $a10.1007/978-3-031-16011-0 035 $a(CKB)4920000002044212 035 $a(MiAaPQ)EBC7113442 035 $a(Au-PeEL)EBL7113442 035 $a(PPN)26585539X 035 $a(BIP)86004490 035 $a(BIP)85277969 035 $a(DE-He213)978-3-031-16011-0 035 $a(EXLCZ)994920000002044212 100 $a20221014d2022 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aFrom Data to Models and Back $e10th International Symposium, DataMod 2021, Virtual Event, December 6?7, 2021, Revised Selected Papers /$fedited by Juliana Bowles, Giovanna Broccia, Roberto Pellungrini 205 $a1st ed. 2022. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2022. 215 $a1 online resource (199 pages) 225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v13268 311 08$a9783031160103 311 08$a303116010X 327 $aInvited 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 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. 330 $aThis 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. 410 0$aLecture Notes in Computer Science,$x1611-3349 ;$v13268 606 $aSoftware engineering 606 $aComputer engineering 606 $aComputer networks 606 $aArtificial intelligence 606 $aComputer science 606 $aSoftware Engineering 606 $aComputer Engineering and Networks 606 $aArtificial Intelligence 606 $aTheory of Computation 606 $aComputer Engineering and Networks 615 0$aSoftware engineering. 615 0$aComputer engineering. 615 0$aComputer networks. 615 0$aArtificial intelligence. 615 0$aComputer science. 615 14$aSoftware Engineering. 615 24$aComputer Engineering and Networks. 615 24$aArtificial Intelligence. 615 24$aTheory of Computation. 615 24$aComputer Engineering and Networks. 676 $a006.312 700 $aBowles$b Juliana$01261671 702 $aBroccia$b Giovanna 702 $aPellungrini$b Roberto 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910616208803321 996 $aFrom data to models and back$93041574 997 $aUNINA