18 citations · 48 across the 21 of their papers we have counts for
4 papers · 1 filter
Autonomics: In Search of a Foundation for Next Generation Autonomous Systems
David Harel, Assaf Marron, Joseph Sifakis
The potential benefits of autonomous systems have been driving intensive development of such systems, and of supporting tools and methodologies. However, there are still major issu…
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…
Local Reasoning about Parametric and Reconfigurable Component-based Systems
Marius Bozga, Radu Iosif, Joseph Sifakis
We introduce a logical framework for the specification and verification of component-based systems, in which finitely many component instances are active, but the bound on their nu…
Structural Invariants for Parametric Verification of Systems with Almost Linear Architectures
Marius Bozga, Radu Iosif, Joseph Sifakis
We consider concurrent systems consisting of a finite but unknown number of components, that are replicated instances of a given set of finite state automata. The components commun…