E-grāmata: Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III

Rigorous Engineering of Collective Adaptive Systems - Introduction to
the 2nd Track Edition.- DReAM: Dynamic Reconfigurable Architecture Modeling.-
Dynamic Logic for Ensembles.- Modelling the Transition to Distributed
Ledgers.- Collective Adaptive Socio-Technical System for Remote- and
Self-Supervised Exercise in the Treatment of Intermittent Claudication.-
Engineering Collectives of Self-driving Vehicles: the SOTA Approach.-
Synthesizing Capabilities for Collective Adaptive Systems from
Self-Descriptive Hardware Devices Bridging the Reality Gap.- The Meaning of
Adaptation: Mastering the Unforeseen?.- Mutation-based Test Suite Evolution
For Self-Organizing Systems.- Adapting Quality Assurance to Adaptive Systems:
The Scenario Coevolution Paradigm.- Designing Systems with Detection and
Reconfiguration Capabilities: A Formal Approach.- Dynamic Security
Specification through Autonomic Component Ensembles.- Differential
Equivalence yields Network Centrality.- Measuring and Evaluating the
Performance of Self-Organization Mechanisms within Collective Adaptive
Systems.- Engineering Sustainable and Adaptive Systems in Dynamic
Environments.- The Sharer's Dilemma in Collective Adaptive Systems of
Self-Interested Agents.- Coordination model with reinforcement learning for
ensuring reliable on-demand services in collective adaptive systems.-
Data-driven modelling and simulation of urban transportation systems using
Carma.- GoAt: Attribute-based Interaction in Google Go.- Four Exercises in
Programming Dynamic Reconfigurable Systems: Methodology and Solution in
DR-BIP.- ISoLA 2018 - Verification and Validation of Distributed Systems:
Track Introduction.- ByMC: Byzantine Model Checker.- Static code verification
through process models.- Effective Test Suite Design for Detecting
Concurrency Control Faults in Distributed Transaction Systems.- Towards
automated testing of the Internet of Things: Results obtained with the TESTAR
tool.- Quantitative Safety Analysis of a Coordinated Emergency Brake Protocol
for Vehicle Platoons.- Cyber-Physical Systems Engineering: An Introduction.-
Intelligent Adaption Process in Cyber-Physical Production Systems (CPPS).-
Model-Based Systems Engineering for Systems Simulation.- Scenario-based
validation of automated driving systems.- Engineering of Cyber-Physical
Systems in the automotive context: case study of a range prediction
assistant.- Testing Avionics Software: Is FMI up to the Task?.- Lessons
Learned Using FMI Co-Simulation for Model-based Design of Cyber Physical
Systems.- Co-simulation: the Past, Future, and Open Challenges.