Key establishment in sensor networks is a challenging problem because asymmetric key
cryptosystems are unsuitable for use in resource constrained sensor nodes, and also …

With the exponential growth of communication and information technologies, adaptation has
gained a significant attention as it becomes a key feature of service-based systems, allowing …

Self-adaptive systems tend to be reactive and myopic, adapting in response to changes
without anticipating what the subsequent adaptation needs will be. Adapting reactively can …

Architecting software systems according to the service-oriented paradigm and designing
runtime self-adaptable systems are two relevant research areas in today's software …

CONTEXT: Service Oriented Architectures (SOA) have emerged as a new paradigm to
develop interoperable and highly dynamic applications. OBJECTIVE: This paper aims to …

This article addresses the need of applying testing activities with the purpose of checking the
consistency and the correctness of distributed and dynamically adaptable systems whose …

Cyber-physical systems (CPSs) are seen as one of the tangible results of the convergence
of advanced information technology, nanotechnology, biotechnology, cognitive science, and …

In this dissertation we report on our main research contributions dealing with Model-Based
Testing of Dynamic and Distributed Real-Time Systems, performed during the last ten years …

Adaptable and distributed component-based systems need to be checked and validated in
order to ensure their correctness and trustworthiness when structural dynamic changes …

Abstract Service Level Agreements (SLAs), ie, contractually binding agreements between
service providers and clients, are gaining momentum as the main discriminating factor …