• Publications
  • Influence
DEECO: an ensemble-based component system
TLDR
The recent increase in the ubiquity and connectivity of computing devices allows forming large-scale distributed systems that respond to and influence activities in their environment via dynamic component ensembles controlling data exchange. Expand
  • 95
  • 8
  • PDF
Big data analytics architecture for real-time traffic control
TLDR
We propose a comprehensive and flexible architecture for real-time traffic control based on Big Data analytics. Expand
  • 60
  • 4
  • PDF
Software Engineering Meets Control Theory
TLDR
This paper discusses a control design process for software systems which enables automatic analysis and synthesis of a controller that is guaranteed to have the desired properties and behavior. Expand
  • 79
  • 2
  • PDF
Control Strategies for Self-Adaptive Software Systems
TLDR
The pervasiveness and growing complexity of software systems are challenging software engineering to design systems that can adapt their behavior to withstand unpredictable, uncertain, and continuously changing execution environments. Expand
  • 34
  • 2
  • PDF
Software Engineering for Smart Cyber-Physical Systems -- Towards a Research Agenda: Report on the First International Workshop on Software Engineering for Smart CPS
TLDR
This paper reports on the results of the First International Workshop on Software Engineering of Smart Cyber-Physical Systems (SEsCPS 2015), where participants discussed characteristics, challenges and opportunities of SE for smart CPS, with the aim to outline an agenda for future research in this important area. Expand
  • 31
  • 2
  • PDF
Software Engineering for Smart Cyber-Physical Systems: Challenges and Promising Solutions
TLDR
This paper reports on the results of the Second International Workshop on Software Engineering for Smart Cyber--Physical Systems (SEsCPS). Expand
  • 34
  • 2
  • PDF
Adaptive Exchange of Distributed Partial Models@run.time for Highly Dynamic Systems
TLDR
We propose a role-based adaptive knowledge exchange technique working on partial runtime models, i.e., Models reflecting only part of the state of the CPS. Expand
  • 10
  • 2
  • PDF
A Life Cycle for the Development of Autonomic Systems: The E-mobility Showcase
TLDR
We have presented the EDLC framework for development of self-aware autonomic adaptive systems applied to the eMobility case study, a driving case-study in the ASCENS FP7 project. Expand
  • 29
  • 1
  • PDF
An Architecture Framework for Experimentations with Self-Adaptive Cyber-physical Systems
TLDR
We take an architecture-based approach to this problem and advocate the use of component-based abstractions and related machinery to engineer self-adaptive CPS. Expand
  • 27
  • 1
  • PDF
Self-Adaptation Based on Big Data Analytics: A Model Problem and Tool
TLDR
We present a novel approach where the system model consists only of the essential input and output parameters is used to guide self-adaptation in large-scale software-intensive distributed systems. Expand
  • 22
  • 1