Temporal logics are commonly used for reasoning about concurrent systems. Model
checkers and other finite-state verification techniques allow for automated checking of …

SYNTHESIS is a tool for automatically assembling correct and distributed component-based
systems. In our context, a system is correct when it is deadlock-free and performs only …

Abstract Ubiquitous and Pervasive Computing, and the Internet of Things, promote dynamic
interaction among heterogeneous systems. To achieve this vision, interoperability among …

One of the main problems in component assembly is how to establish properties on the
assembly code by only assuming a limited knowledge of the single component properties …

Software in the near ubiquitous future (Softure) will need to cope with variability, as software
systems get deployed on an increasingly large diversity of computing platforms and …

Temporal logics are commonly used for reasoning about concurrent systems. Model
checkers and other finite-state verification techniques allow for automated checking of …

Software adaptation aims at generating software pieces called adaptors to compensate
interface and behavioural mismatch between components or services. This is crucial to …

Building a distributed system from third-party components introduces a set of problems,
mainly related to compatibility and communication. Our existing approach to solve such …

Software components are specified, designed and implemented with the intention to be
reused, and they are assembled in various contexts in order to produce a multitude of …

The heterogeneity characterizing the systems populating the Ubiquitous Computing
environment prevents their seamless interoperability. Heterogeneous protocols may be …