8 citations · 14 across the 5 of their papers we have counts for
5 papers
An Efficient Black-Box Support of Advanced Coverage Criteria for Klee
Nicolas Berthier, Steven De Oliveira, Nikolai Kosmatov +2
Dynamic symbolic execution (DSE) is a powerful test generation approach based on an exploration of the path space of the program under test. Well-adapted for path coverage, this ap…
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…
Correct-by-design Control Synthesis for Multilevel Converters using State Space Decomposition
Gilles Feld, Laurent Fribourg, Denis Labrousse +2
High-power converters based on elementary switching cells are more and more used in the industry of power electronics owing to various advantages such as lower voltage stress and r…
Parametric Schedulability Analysis of Fixed Priority Real-Time Distributed Systems
Youcheng Sun, Romain Soulat, Giuseppe Lipari +2
Parametric analysis is a powerful tool for designing modern embedded systems, because it permits to explore the space of design parameters, and to check the robustness of the syste…
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…