Formal Aspects of Component Software

Formal Models and Analysis for Self-Adaptive Cyber-Physical Systems.- From Formal Methods to Software Components: Back to the Future? .- From Devices to Data: Testing the IoT.- Core Model for Choreographic Programming.- Checking Business Process Evolution.- Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing.- Checking multi-view consistency of discrete systems with respect to periodic sampling abstractions.- Constrained Synthesis from Component Libraries.- MARTE/pCCSL: Modeling and Refining Stochastic Behaviors of CPSs with Probabilistic Logical Clocks.- A Formal and Run-time Framework for the Adaptation of Local Behaviours to Match a Global Property.- Formal Analysis of Predictable Data Flow in Fault-Tolerant Multicore Systems.- Reasoning about Connectors in Coq.- (Context-Sensitivity in) Reo, Revisited.- Validated Test Models for Software Product Lines: Featured Finite State Machines.- Tool Support for Fuzz Testing of Component-Based System Adaptation Policies.- Coordinated Actors for Reliable Self-Adaptive Systems.- Architecture-based design: a satellite on-board software case study.