001450736 000__ 06328cam\a2200661\i\4500
001450736 001__ 1450736
001450736 003__ OCoLC
001450736 005__ 20230310004541.0
001450736 006__ m\\\\\o\\d\\\\\\\\
001450736 007__ cr\cn\nnnunnun
001450736 008__ 221028s2022\\\\sz\a\\\\o\\\\\101\0\eng\d
001450736 019__ $$a1348478828$$a1348483213
001450736 020__ $$a9783031197598$$q(electronic bk.)
001450736 020__ $$a3031197593$$q(electronic bk.)
001450736 020__ $$z9783031197581
001450736 020__ $$z3031197585
001450736 0247_ $$a10.1007/978-3-031-19759-8$$2doi
001450736 035__ $$aSP(OCoLC)1349119307
001450736 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dYDX$$dEBLCP$$dOCLCF$$dOCLCQ
001450736 049__ $$aISEA
001450736 050_4 $$aQA76.9.F67$$bI83 2022
001450736 08204 $$a005.1$$223/eng/20221028
001450736 1112_ $$aISoLA (Symposium)$$n(11th :$$d2022 :$$cRhodes, Greece)
001450736 24510 $$aLeveraging applications of formal methods, verification and validation : adaptation and learning :$$b11th international symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, proceedings.$$nPart III /$$cTiziana Margaria, Bernhard Steffen (eds.).
001450736 24630 $$aISoLA 2022
001450736 264_1 $$aCham :$$bSpringer,$$c[2022]
001450736 264_4 $$c©2022
001450736 300__ $$a1 online resource (xiii, 474 pages) :$$billustrations (some color).
001450736 336__ $$atext$$btxt$$2rdacontent
001450736 337__ $$acomputer$$bc$$2rdamedia
001450736 338__ $$aonline resource$$bcr$$2rdacarrier
001450736 4901_ $$aLecture notes in computer science,$$x1611-3349 ;$$v13703
001450736 500__ $$aInternational conference proceedings.
001450736 500__ $$aIncludes author index.
001450736 5050_ $$aIntro -- Introduction -- Organization -- Contents - Part III -- Rigorous Engineering of Collective Adaptive Systems -- Rigorous Engineering of Collective Adaptive Systems Introduction to the 4th Track Edition -- 1 Collective Adaptive Systems -- 2 Track Overview -- 3 Track Contributions -- 3.1 Design and Validation of Autonomous Systems -- 3.2 Computing with Bio-inspired Communication -- 3.3 New System Models and Tools for Ensembles -- 3.4 Large Ensembles and Collective Dynamics -- 3.5 Panel: On the Borderline Between Collective Stupidity and Collective Intelligence
001450736 5058_ $$a3.6 Machine Learning for Collective Adaptive Systems -- 3.7 Programming and Analysing Ensembles -- 3.8 Tools for Formal Analysis and Design -- References -- Correct by Design Coordination of Autonomous Driving Systems -- 1 Introduction -- 2 Map Representation -- 3 The ADS Dynamic Model -- 3.1 General ADS Architecture -- 3.2 Assume-Guarantee for Safe Control Policies -- 4 Speed Policies Abiding by the Vehicle Contract -- 5 Free Space Policies Implied by Traffic Rules -- 5.1 Writing Specifications of Traffic Rules -- 5.2 Deriving Free Space Rules from Traffic Rules
001450736 5058_ $$a5.3 Correctness with Respect to the Free Space Contract -- 6 Discussion -- References -- Neural Predictive Monitoring for Collective Adaptive Systems -- 1 Introduction -- 2 Bike Sharing System -- 2.1 Model of the System -- 2.2 Dynamics of the System -- 3 Neural Predictive Monitoring for CAS -- 3.1 Deterministic Dynamics -- 3.2 Stochastic Dynamics -- 3.3 Predictive Monitoring for BSS -- 4 Uncertainty Quantification and Statistical Guarantees -- 4.1 Conformal Predictions for Multi-output and Multi-class Classification -- 4.2 Uncertainty-Based Rejection Rule -- 5 Experiments -- 5.1 Results
001450736 5058_ $$a5.2 Discussion -- 6 Conclusions -- References -- An Extension of HybridSynchAADL and Its Application to Collaborating Autonomous UAVs -- 1 Introduction -- 2 Preliminaries -- 3 Overview of HybridSynchAADL -- 3.1 The HybridSynchAADL Modeling Language -- 3.2 Symbolic Semantics of HybridSynchAADL -- 4 An Extension of HybridSynchAADL -- 5 Extending the Semantics of HybridSynchAADL -- 5.1 Representation of the Additional Features -- 5.2 Semantic of Composite Data Types -- 5.3 Semantics of Subprogram Calls -- 6 Case Study: A Packet Delivery System -- 6.1 System Description
001450736 5058_ $$a6.2 The HybridSynchAADL Model -- 6.3 Formal Analysis -- 7 Related Work -- 8 Concluding Remarks -- References -- Discrete Models of Continuous Behavior of Collective Adaptive Systems -- 1 Introduction -- 2 Running Example: Ants on a Bar -- 2.1 The Behavior of Ants on a Bar -- 2.2 Events of the Ants' System -- 3 Conventional Models of the Ants' Behavior -- 3.1 The Continuous Model of a Run of the Ants System -- 3.2 The Grid Model -- 3.3 The Numbering Model -- 3.4 The Lockstep Model -- 3.5 The Uniqueness Problem -- 3.6 Weak Orderings of Events -- 4 The Causal Model of the Ants' Runs
001450736 506__ $$aAccess limited to authorized users.
001450736 520__ $$aThis four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022. The contributions in the four-volume set are organized according to the following topical sections: specify this - bridging gaps between program specification paradigms; x-by-construction meets runtime verification; verification and validation of concurrent and distributed heterogeneous systems; programming - what is next: the role of documentation; automated software re-engineering; DIME day; rigorous engineering of collective adaptive systems; formal methods meet machine learning; digital twin engineering; digital thread in smart manufacturing; formal methods for distributed computing in future railway systems; industrial day.
001450736 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed October 28, 2022).
001450736 650_0 $$aFormal methods (Computer science)$$vCongresses.
001450736 650_0 $$aComputer software$$xVerification$$vCongresses.
001450736 650_0 $$aSoftware engineering$$vCongresses.
001450736 655_7 $$aConference papers and proceedings.$$2fast$$0(OCoLC)fst01423772
001450736 655_7 $$aConference papers and proceedings.$$2lcgft
001450736 655_0 $$aElectronic books.
001450736 7001_ $$aMargaria-Steffen, Tiziana,$$d1964-$$eeditor.
001450736 7001_ $$aSteffen, Bernhard,$$eeditor.
001450736 77608 $$iPrint version: $$z3031197585$$z9783031197581$$w(OCoLC)1346213048
001450736 830_0 $$aLecture notes in computer science ;$$v13703.$$x1611-3349
001450736 852__ $$bebk
001450736 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-031-19759-8$$zOnline Access$$91397441.1
001450736 909CO $$ooai:library.usi.edu:1450736$$pGLOBAL_SET
001450736 980__ $$aBIB
001450736 980__ $$aEBOOK
001450736 982__ $$aEbook
001450736 983__ $$aOnline
001450736 994__ $$a92$$bISE