19 citations · 59 across the 20 of their papers we have counts for
3 papers · 1 filter
Proceedings 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis
Laurent Fribourg, Matthias Heizmann
The proceedings consist of a keynote paper by Alberto followed by 6 invited papers written by Lorenzo Clemente (U. Warsaw), Alain Finkel (U. Paris-Saclay), John Gallagher (Roskilde…
Verification of an industrial asynchronous leader election algorithm using abstractions and parametric model checking
Étienne André, Laurent Fribourg, Jean-Marc Mota +1
The election of a leader in a network is a challenging task, especially when the processes are asynchronous, i.e., execute an algorithm with time-varying periods. Thales developed…
Synthesis of Switching Rules for Ensuring Reachability Properties of Sampled Linear Systems
Laurent Fribourg, Bertrand Revol, Romain Soulat
We consider here systems with piecewise linear dynamics that are periodically sampled with a given period τ . At each sampling time, the mode of the system, i.e., the parameters of…