Lionel Rieg

28 papers A* 2A 1B 4C 4Misc 1Journal 12Unranked 3
YearRankTypeTitle / Venue / Authors
2025 B conf
Deterministic Color-Optimal Self-stabilizing Semi-synchronous Gathering: A Certified Algorithm.
SIROCCO
François Bonnet, Quentin Bramas, Pierre Courtieu, Xavier Défago, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain
2025 B conf
Revisiting Timing Anomalies in Predictable In-Order Pipelines.
ECRTS
Lilia Rouizi, Mihail Asavoae, Benjamin Binder, Lionel Rieg, Florian Brandner
2025 J jnl
Towards a Coq-verified Chain of Esterel Semantics.
Leibniz Trans. Embed. Syst.
Lionel Rieg, Gérard Berry
2022 J jnl
Swarms of Mobile Robots: Towards Versatility with Safety.
Leibniz Trans. Embed. Syst.
Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain
2021 B conf
A generic approach for the certified schedulability analysis of software systems.
RTCSA
Xiaojie Guo, Lionel Rieg, Paolo Torrini
2021 C conf
Computer Aided Formal Design of Swarm Robotics Algorithms.
SSS
Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain
2021 J jnl
Computer Aided Formal Design of Swarm Robotics Algorithms.
CoRR
Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain
2020 J jnl
Virtual timeline: a formal abstraction for verifying preemptive schedulers with temporal isolation.
Proc. ACM Program. Lang.
Mengqi Liu, Lionel Rieg, Zhong Shao, Ronghui Gu, David Costanzo, Jung-Eun Kim, Man-Ki Yoon
2019 — conf
Continuous vs. Discrete Asynchronous Moves: A Certified Approach for Mobile Robots.
NETYS
Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain
2019 J jnl
Dependent Pearl: Normalization by realizability.
CoRR
Pierre-Évariste Dagand, Lionel Rieg, Gabriel Scherer
2019 — conf
Integrating Formal Schedulability Analysis into a Verified OS Kernel.
CAV (2)
Xiaojie Guo, Maxime Lesourd, Mengqi Liu, Lionel Rieg, Zhong Shao
2019 J jnl
Synchronous Gathering without Multiplicity Detection: a Certified Algorithm.
Theory Comput. Syst.
Thibaut Balabonski, Amélie Delga, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain
2019 J jnl
Towards Coq-verified Esterel Semantics and Compiling.
CoRR
Gérard Berry, Lionel Rieg
2018 Misc conf
A Foundational Framework for Certified Impossibility Results with Mobile Robots on Graphs.
ICDCN
Thibaut Balabonski, Robin Pelle, Lionel Rieg, Sébastien Tixeuil
2018 C conf
Brief Announcement Continuous vs. Discrete Asynchronous Moves: A Certified Approach for Mobile Robots.
SSS
Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain
2017 A* conf
A formally verified compiler for Lustre.
PLDI
Timothy Bourke, Lélio Brun, Pierre-Évariste Dagand, Xavier Leroy, Marc Pouzet, Lionel Rieg
2017 — conf
Certified Gathering of Oblivious Mobile Robots: Survey of Recent Results and Open Problems.
FMICS-AVoCS
Thibaut Balabonski, Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain
2016 A* conf
Brief Announcement: Certified Universal Gathering in R
PODC
Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain
2016 J jnl
Certified Universal Gathering in $R^2$ for Oblivious Mobile Robots.
CoRR
Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain
2016 A conf
Certified Universal Gathering in \mathbb R ^2 for Oblivious Mobile Robots.
DISC
Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain
2016 C conf
Synchronous Gathering Without Multiplicity Detection: A Certified Algorithm.
SSS
Thibaut Balabonski, Amélie Delga, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain
2015 J jnl
A Certified Universal Gathering Algorithm for Oblivious Mobile Robots.
CoRR
Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain
2015 J jnl
Impossibility of gathering, a certification.
Inf. Process. Lett.
Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain
2014 J jnl
Impossibility of Gathering, a Certification.
CoRR
Pierre Courtieu, Lionel Rieg, Xavier Urbain, Sébastien Tixeuil
2014 — —
On Forcing and Classical Realizability. (Forcing et réalisabilité classique).
Lionel Rieg
2013 J jnl
Extracting Herbrand trees from Coq
CoRR
Lionel Rieg
2013 B conf
Extracting Herbrand trees in classical realizability using forcing.
CSL
Lionel Rieg
2008 C conf
Good Friends are Hard to Find!
TIME
Thomas Brihaye, Nicolas Markey, Mohamed Ghannem, Lionel Rieg