8 citations · 12 across the 2 of their papers we have counts for
2 papers
cs.LO2018★ 8 cited
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…
cs.DC2013★ 4 cited
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…