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

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