Lionel Rieg

Publication Activity (10 Years)

Years Active: 2008-2022
Publications (10 Years): 20

Top Venues

CoRR

SSS

PLDI

ICDCN

École normale supérieure de Lyon, France (PHD)

Education History

École normale supérieure de Lyon, France

PHD

Publications

Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain
Swarms of Mobile Robots: Towards Versatility with Safety. Leibniz Trans. Embed. Syst. 8 (2) (2022)
Xiaojie Guo, Lionel Rieg, Paolo Torrini
A generic approach for the certified schedulability analysis of software systems. RTCSA (2021)
Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain
Computer Aided Formal Design of Swarm Robotics Algorithms. CoRR (2021)
Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain
Computer Aided Formal Design of Swarm Robotics Algorithms. SSS (2021)
Mengqi Liu, Lionel Rieg, Zhong Shao, Ronghui Gu, David Costanzo, Jung-Eun Kim, Man-Ki Yoon
Virtual timeline: a formal abstraction for verifying preemptive schedulers with temporal isolation. Proc. ACM Program. Lang. 4 (POPL) (2020)
Thibaut Balabonski, Amélie Delga, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain
Synchronous Gathering without Multiplicity Detection: a Certified Algorithm. Theory Comput. Syst. 63 (2) (2019)
Xiaojie Guo, Maxime Lesourd, Mengqi Liu, Lionel Rieg, Zhong Shao
Integrating Formal Schedulability Analysis into a Verified OS Kernel. CAV (2) (2019)
Gérard Berry, Lionel Rieg
Towards Coq-verified Esterel Semantics and Compiling. CoRR (2019)
Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain
Continuous vs. Discrete Asynchronous Moves: A Certified Approach for Mobile Robots. NETYS (2019)
Pierre-Évariste Dagand, Lionel Rieg, Gabriel Scherer
Dependent Pearl: Normalization by realizability. CoRR (2019)
Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain
Brief Announcement Continuous vs. Discrete Asynchronous Moves: A Certified Approach for Mobile Robots. SSS (2018)
Thibaut Balabonski, Robin Pelle, Lionel Rieg, Sébastien Tixeuil
A Foundational Framework for Certified Impossibility Results with Mobile Robots on Graphs. ICDCN (2018)
Thibaut Balabonski, Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain
Certified Gathering of Oblivious Mobile Robots: Survey of Recent Results and Open Problems. FMICS-AVoCS (2017)
Timothy Bourke, Lélio Brun, Pierre-Évariste Dagand, Xavier Leroy, Marc Pouzet, Lionel Rieg
A formally verified compiler for Lustre. PLDI (2017)
Thibaut Balabonski, Amélie Delga, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain
Synchronous Gathering Without Multiplicity Detection: A Certified Algorithm. SSS (2016)
Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain
for Oblivious Mobile Robots. PODC (2016)
Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain
Certified Universal Gathering in \mathbb R ^2 for Oblivious Mobile Robots. DISC (2016)
Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain
Certified Universal Gathering in $R^2$ for Oblivious Mobile Robots. CoRR (2016)
Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain
A Certified Universal Gathering Algorithm for Oblivious Mobile Robots. CoRR (2015)
Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain
Impossibility of gathering, a certification. Inf. Process. Lett. 115 (3) (2015)
Pierre Courtieu, Lionel Rieg, Xavier Urbain, Sébastien Tixeuil
Impossibility of Gathering, a Certification. CoRR (2014)
Lionel Rieg
Extracting Herbrand trees from Coq CoRR (2013)
Lionel Rieg
Extracting Herbrand trees in classical realizability using forcing. CSL (2013)
Thomas Brihaye, Nicolas Markey, Mohamed Ghannem, Lionel Rieg
Good Friends are Hard to Find! TIME (2008)

Lionel Rieg.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Lionel Rieg