18 citations · 48 across the 21 of their papers we have counts for
5 papers · 1 filter
Autonomous Systems -- An Architectural Characterization
Joseph Sifakis
The concept of autonomy is key to the IoT vision promising increasing integration of smart services and systems minimizing human intervention. This vision challenges our capability…
System Design in the Era of IoT --- Meeting the Autonomy Challenge
Joseph Sifakis
The advent of IoT is a great opportunity to reinvigorate Computing by focusing on autonomous system design. This certainly raises technology questions but, more importantly, it req…
DesignBIP: A Design Studio for Modeling and Generating Systems with BIP
Anastasia Mavridou, Joseph Sifakis, Janos Sztipanovits
The Behavior-Interaction-Priority (BIP) framework, rooted in rigorous semantics, allows the construction of systems that are correct-by-design. BIP has been effectively used for th…
Checking Deadlock-Freedom of Parametric Component-Based Systems
Marius Bozga, Radu Iosif, Joseph Sifakis
We propose an automated method for computing inductive invariants applied to check deadlock-freedom for parametric component-based systems. The method generalizes the approach for…
DReAM: Dynamic Reconfigurable Architecture Modeling (full paper)
Rocco De Nicola, Alessandro Maggi, Joseph Sifakis
Modern systems evolve in unpredictable environments and have to continuously adapt their behavior to changing conditions. The "DReAM" (Dynamic Reconfigurable Architecture Modeling)…