Romain Soulat

Identifiers

• name variant Romain Soulat 0.60 · backfill

Papers (2)

1. Verification of an industrial asynchronous leader election algorithm using abstractions and parametric model checking cs.LO · 2018 · author #4
2. Parametric Schedulability Analysis of Fixed Priority Real-Time Distributed Systems cs.DC · 2013 · author #2

Mentions

• 1302.1306 #2 · backfill · confidence 0.70 Romain Soulat

Frequent Coauthors

• \'Etienne Andr\'e 2 shared papers
• Laurent Fribourg 2 shared papers
• Giuseppe Lipari 1 shared papers
• Jean-Marc Mota 1 shared papers
• Youcheng Sun 1 shared papers