Laurent Fribourg

Identifiers

• name variant Laurent Fribourg 0.60 · backfill

Papers (4)

1. Parametric schedulability analysis of a launcher flight control system under reactivity constraints cs.SE · 2019 · author #3
2. Verification of an industrial asynchronous leader election algorithm using abstractions and parametric model checking cs.LO · 2018 · author #2
3. Toward Parametric Timed Interfaces for Real-Time Components cs.OS · 2014 · author #4
4. Parametric Schedulability Analysis of Fixed Priority Real-Time Distributed Systems cs.DC · 2013 · author #5

Mentions

• 1404.0088 #4 · backfill · confidence 0.70 Laurent Fribourg
• 1302.1306 #5 · backfill · confidence 0.70 Laurent Fribourg

Frequent Coauthors

• \'Etienne Andr\'e 4 shared papers
• Giuseppe Lipari 2 shared papers
• Romain Soulat 2 shared papers
• Youcheng Sun 2 shared papers
• David Lesens 1 shared papers
• Emmanuel Coquard 1 shared papers
• Jawher Jerray 1 shared papers
• Jean-Marc Mota 1 shared papers