Computing systems are becoming more and more dynamically reconfigurable or adaptive,
to be flexible wrt their environment and to automate their administration. Autonomic …

An architectural approach to self-adaptive systems involves runtime change of system
configuration (ie, the system's components, their bindings and operational parameters) and …

The pervasiveness and growing complexity of software systems are challenging software
engineering to design systems that can adapt their behavior to withstand unpredictable …

Reactive synthesis is an automated procedure to obtain a correct-by-construction reactive
system from its temporal logic specification. Two of the main challenges in bringing reactive …

We introduce Spectra, a new specification language for reactive systems, specifically
tailored for the context of reactive synthesis. The meaning of Spectra is defined by a …

Planning domains represent what an agent assumes or believes about the environment it
acts in. In the presence of nondeterminism, additional temporal assumptions, such as …

In synthesis, assumptions are constraints on the environment that rule out certain
environment behaviors. A key observation here is that even if we consider systems with LTL …

Unrealizability is a major challenge for GR (1), an expressive assume-guarantee fragment of
LTL that enables efficient synthesis. Some works attempt to help engineers deal with …

The increased interest in reactive synthesis over the last decade has led to many improved
solutions but also to many new questions. In this paper, we discuss the question of how to …

Writing efficient synchronization for multithreaded programs is notoriously hard. The
resulting code often contains subtle concurrency bugs. Even worse, many bug fixes …