I. Gerostathopoulos

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

We propose a comprehensive and flexible architecture for real-time traffic control based on Big Data analytics. Expand

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

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

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

This paper reports on the results of the Second International Workshop on Software Engineering for Smart Cyber--Physical Systems (SEsCPS). Expand

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

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

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

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