Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Rigorous Engineering of Collective Adaptive Systems Introduction to the 2nd Track Edition
3. Altmetric Badge
   Chapter 2 DReAM: Dynamic Reconfigurable Architecture Modeling
4. Altmetric Badge
   Chapter 3 Dynamic Logic for Ensembles
5. Altmetric Badge
   Chapter 4 Modelling the Transition to Distributed Ledgers
6. Altmetric Badge
   Chapter 5 A Collective Adaptive Socio-Technical System for Remote- and Self-supervised Exercise in the Treatment of Intermittent Claudication
7. Altmetric Badge
   Chapter 6 Engineering Collectives of Self-driving Vehicles: The SOTA Approach
8. Altmetric Badge
   Chapter 7 Synthesizing Capabilities for Collective Adaptive Systems from Self-descriptive Hardware Devices Bridging the Reality Gap
9. Altmetric Badge
   Chapter 8 The Meaning of Adaptation: Mastering the Unforeseen?
10. Altmetric Badge
    Chapter 9 Mutation-Based Test Suite Evolution for Self-Organizing Systems
11. Altmetric Badge
    Chapter 10 Adapting Quality Assurance to Adaptive Systems: The Scenario Coevolution Paradigm
12. Altmetric Badge
    Chapter 11 Designing Systems with Detection and Reconfiguration Capabilities: A Formal Approach
13. Altmetric Badge
    Chapter 12 Dynamic Security Specification Through Autonomic Component Ensembles
14. Altmetric Badge
    Chapter 13 Differential Equivalence Yields Network Centrality
15. Altmetric Badge
    Chapter 14 Measuring and Evaluating the Performance of Self-Organization Mechanisms Within Collective Adaptive Systems
16. Altmetric Badge
    Chapter 15 Engineering Sustainable and Adaptive Systems in Dynamic and Unpredictable Environments
17. Altmetric Badge
    Chapter 16 The Sharer’s Dilemma in Collective Adaptive Systems of Self-interested Agents
18. Altmetric Badge
    Chapter 17 Coordination Model with Reinforcement Learning for Ensuring Reliable On-Demand Services in Collective Adaptive Systems
19. Altmetric Badge
    Chapter 18 Data-Driven Modelling and Simulation of Urban Transportation Systems Using C arma
20. Altmetric Badge
    Chapter 19 $$\mathcal {G}o\mathcal {A}t$$ G o A t : Attribute-Based Interaction in Google Go
21. Altmetric Badge
    Chapter 20 Four Exercises in Programming Dynamic Reconfigurable Systems: Methodology and Solution in DR-BIP
22. Altmetric Badge
    Chapter 21 ISoLA 2018 - Verification and Validation of Distributed Systems: Track Introduction
23. Altmetric Badge
    Chapter 22 ByMC: Byzantine Model Checker
24. Altmetric Badge
    Chapter 23 Static Code Verification Through Process Models
25. Altmetric Badge
    Chapter 24 Effective Test Suite Design for Detecting Concurrency Control Faults in Distributed Transaction Systems
26. Altmetric Badge
    Chapter 25 Towards Automated Testing of the Internet of Things: Results Obtained with the TESTAR Tool
27. Altmetric Badge
    Chapter 26 Quantitative Safety Analysis of a Coordinated Emergency Brake Protocol for Vehicle Platoons
28. Altmetric Badge
    Chapter 27 Cyber-Physical Systems Engineering: An Introduction
29. Altmetric Badge
    Chapter 28 Intelligent Adaption Process in Cyber-Physical Production Systems
30. Altmetric Badge
    Chapter 29 Model-Based Systems Engineering for Systems Simulation
31. Altmetric Badge
    Chapter 30 Scenario-Based Validation of Automated Driving Systems
32. Altmetric Badge
    Chapter 31 Engineering of Cyber-Physical Systems in the Automotive Context: Case Study of a Range Prediction Assistant
33. Altmetric Badge
    Chapter 32 Testing Avionics Software: Is FMI up to the Task?
34. Altmetric Badge
    Chapter 33 Lessons Learned Using FMI Co-simulation for Model-Based Design of Cyber Physical Systems
35. Altmetric Badge
    Chapter 34 Co-simulation: The Past, Future, and Open Challenges