Lionel Rieg
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
15
Venues
12
Active years
2008–2026
Best venue rank
A*
Where they publish
Papers
15 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | RTAS | A POP | Lilia Rouizi, Mihail Asavoae, Benjamin Binder, Engin Ermis, Lionel Rieg, Florian Brandner |
| 2026 | SIROCCO | Formal Certification of async Protocols: The Case of Gathering in $\mathbb {R} ^2$ Using Weber Points. | Maria-Virginia Aponte, Mathis Bouverot-Dupuis, Quentin Bramas, Pierre Courtieu, Lionel Rieg, Xavier Urbain |
| 2025 | ECRTS | Revisiting Timing Anomalies in Predictable In-Order Pipelines. | Lilia Rouizi, Mihail Asavoae, Benjamin Binder, Lionel Rieg, Florian Brandner |
| 2025 | SIROCCO | Deterministic Color-Optimal Self-stabilizing Semi-synchronous Gathering: A Certified Algorithm. | Franois Bonnet, Quentin Bramas, Pierre Courtieu, Xavier Dfago, Lionel Rieg, Sbastien Tixeuil, Xavier Urbain |
| 2021 | RTCSA | A generic approach for the certified schedulability analysis of software systems. | Xiaojie Guo, Lionel Rieg, Paolo Torrini |
| 2021 | SSS | Computer Aided Formal Design of Swarm Robotics Algorithms. | Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sbastien Tixeuil, Xavier Urbain |
| 2019 | CAV | Integrating Formal Schedulability Analysis into a Verified OS Kernel. | Xiaojie Guo, Maxime Lesourd, Mengqi Liu, Lionel Rieg, Zhong Shao |
| 2018 | ICDCN | A Foundational Framework for Certified Impossibility Results with Mobile Robots on Graphs. | Thibaut Balabonski, Robin Pelle, Lionel Rieg, Sbastien Tixeuil |
| 2018 | SSS | Brief Announcement Continuous vs. Discrete Asynchronous Moves: A Certified Approach for Mobile Robots. | Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sbastien Tixeuil, Xavier Urbain |
| 2017 | FMICS | Certified Gathering of Oblivious Mobile Robots: Survey of Recent Results and Open Problems. | Thibaut Balabonski, Pierre Courtieu, Lionel Rieg, Sbastien Tixeuil, Xavier Urbain |
| 2017 | PLDI | A formally verified compiler for Lustre. | Timothy Bourke, Llio Brun, Pierre-variste Dagand, Xavier Leroy, Marc Pouzet, Lionel Rieg |
| 2016 | PODC | Brief Announcement: Certified Universal Gathering in R | Pierre Courtieu, Lionel Rieg, Sbastien Tixeuil, Xavier Urbain |
| 2016 | SSS | Synchronous Gathering Without Multiplicity Detection: A Certified Algorithm. | Thibaut Balabonski, Amlie Delga, Lionel Rieg, Sbastien Tixeuil, Xavier Urbain |
| 2013 | CSL | Extracting Herbrand trees in classical realizability using forcing. | Lionel Rieg |
| 2008 | TIME | Good Friends are Hard to Find! | Thomas Brihaye, Nicolas Markey, Mohamed Ghannem, Lionel Rieg |