8 citations · 8 across the 7 of their papers we have counts for
4 papers · 1 filter
On an Invariance Problem for Parameterized Concurrent Systems
Marius Bozga, Lucas Bueri, Radu Iosif
We consider concurrent systems consisting of replicated finite-state processes that synchronize via joint interactions in a network with user-defined topology. The system is specif…
Decision Problems in a Logic for Reasoning about Reconfigurable Distributed Systems
Marius Bozga, Lucas Bueri, Radu Iosif
We consider a logic used to describe sets of configurations of distributed systems, whose network topologies can be changed at runtime, by reconfiguration programs. The logic uses…
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…
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…