In this position paper we present a conceptual vision of adaptation, a key feature of
autonomic systems. We put some stress on the role of control data and argue how some of …

Human fallibility, unpredictable operating environments, and the heterogeneity of hardware
devices are driving the need for software to be able to adapt as seen in the Internet of Things …

We explore the complexity of reachability and run-time refinement under safety and liveness
constraints in event-based process models. Our study is framed in the DCR^ ⋆⋆ process …

Cyber-Physical Systems (CPSs) must often self-adapt to respond to changes in their
operating environment. However, using formal verification techniques to provide assurances …

We study modularity, run-time adaptation and refinement under safety and liveness
constraints in event-based process models with dynamic sub-process instantiation. The …

We present a comprehensive model of structured communications in which self-adaptation
and security concerns are jointly addressed. More specifically, we propose a model of …

We propose DeltaCCS, a delta-oriented extension to Milner's process calculus CCS to
formalize behavioral variability in software product line specifications in a modular way. In …

This paper aims at incorporating the notion of self-adaptiveness in the context of multiparty
sessions, by focusing on the issue of ensuring correctness for dynamic adaptations. A formal …

To model the notion of self-adaptiveness for multiparty sessions, we propose a formal
framework, where participants can access and modify the global state, in such a way that the …

Abstract Concepts for enriching formal languages with variability capabilities aim at
comprehensive specifications and efficient development of families of similar software …