Lionel Rieg

Identifiants chercheurs

IdHAL :

lionel-rieg

ORCID :

0009-0001-5751-3806

IdRef :

179263757

Publications

Communication dans un congrès (22)

Collaborative Action on Timing InterferenCes: Summary and Perspectives at Mid-term Claire Maiza,Lionel Rieg,Jean-Luc Béchennec,Mihail Asavoae,Dominique Blouinet al. Embedded Real-Time Systems (ERTS) 2026, Feb 2026, Toulouse, France. ⟨10.82331/ERTS.2026.27⟩ Communication dans un congrès hal-05465745v1
Comment se rassembler (avec certitude) quand on est confus et désorienté François Bonnet,Quentin Bramas,Pierre Courtieu,Xavier Défago,Lionel Rieget al. ALGOTEL 2025 – 27èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2025, Saint Valery-sur-Somme, France Communication dans un congrès hal-05002153v1
Rendez-vous au Point-Dont-On-Ne-Doit-Pas-Calculer-Les-Coordonnées Maria-Virginia Aponte,Mathis Bouverot-Dupuis,Quentin Bramas,Pierre Courtieu,Lionel Rieget al. ALGOTEL 2025 – 27èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2025, Saint Valery-sur-Somme, France Communication dans un congrès hal-05002157v1
Deterministic Color-optimal Self-stabilizing Semi-synchronous Gathering: a Certified Algorithm François Bonnet,Quentin Bramas,Pierre Courtieu,Xavier Défago,Lionel Rieget al. SIROCCO 2025, Jun 2025, Delphi, Greece. pp.127-143, ⟨10.1007/978-3-031-91736-3_8⟩ Communication dans un congrès hal-04988128v1
Comment s'assurer de garder le contact (et nos distances) Thibaut Balabonski,Pierre Courtieu,Robin Pelle,Lionel Rieg,Sébastien Tixeuilet al. ALGOTEL 2021 - 23èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, 2021, La Rochelle, France Communication dans un congrès hal-03219933v1
Computer Aided Formal Design of Swarm Robotics Algorithms Thibaut Balabonski,Pierre Courtieu,Robin Pelle,Lionel Rieg,Sébastien Tixeuilet al. Stabilization, Safety, and Security of Distributed Systems. SSS 2021, Nov 2021, Online, Sweden. pp.469-473, ⟨10.1007/978-3-030-91081-5_31⟩ Communication dans un congrès hal-03425768v1
A generic approach for the certified schedulability analysis of software systems Xiaojie Guo,Lionel Rieg,Paolo Torrini RTCSA 2021 - 27th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, Aug 2021, Houston (online), United States. pp.1-10, ⟨10.1109/RTCSA52859.2021.00018⟩ Communication dans un congrès hal-03540548v1
A Decision Procedure for Equivalence Relations Sébastien Michelland,Pierre Corbineau,Lionel Rieg,Karine Altisen Coq Workshop 2020, Jul 2020, Aubervilliers, France Communication dans un congrès hal-04880486v1
Du discrètement continu au continûment discret Thibaut Balabonski,Pierre Courtieu,Robin Pelle,Lionel Rieg,Sébastien Tixeuilet al. ALGOTEL 2020 – 22èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Sep 2020, Lyon, France Communication dans un congrès hal-02871295v1
Integrating Formal Schedulability Analysis into a Verified OS Kernel Xiaojie Guo,Maxime Lesourd,Mengqi Liu,Lionel Rieg,Zhong Shao Computer Aided Verification, Jul 2019, New York, United States. pp.496-514, ⟨10.1007/978-3-030-25543-5_28⟩ Communication dans un congrès hal-02289494v1
Manuel de savoir-prouver à l’usage des roboteux et des distributeux Thibaut Balabonski,Pierre Courtieu,Robin Pelle,Lionel Rieg,Sébastien Tixeuilet al. ALGOTEL 2019 - 21èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2019, Saint Laurent de la Cabrerisse, France. pp.1-4 Communication dans un congrès hal-02115611v1
Continuous vs. Discrete Asynchronous Moves: A Certified Approach for Mobile Robots Thibaut Balabonski,Pierre Courtieu,Robin Pelle,Lionel Rieg,Sébastien Tixeuilet al. 7th International Conference on NETworked sYStems (NETYS 2019), Jun 2019, Marrakech, Morocco. pp.93-09, ⟨10.1007/978-3-030-31277-0_7⟩ Communication dans un congrès hal-02115599v1
A Foundational Framework for Certified Impossibility Results with Mobile Robots on Graphs Thibaut Balabonski,Robin Pelle,Lionel Rieg,Sébastien Tixeuil ICDCN 2018 - 19th International Conference on Distributed Computing and Networking, Jan 2018, Varanasi, India. pp.1-10, ⟨10.1145/3154273.3154321⟩ Communication dans un congrès hal-01753439v1
Brief Announcement Continuous vs. Discrete Asynchronous Moves: A Certified Approach for Mobile Robots Thibaut Balabonski,Pierre Courtieu,Robin Pelle,Lionel Rieg,Sébastien Tixeuilet al. Stabilization, Safety, and Security of Distributed Systems. SSS 2018., Xavier Defago, Toshimitsu Masuzawa, Koichi Wada, Nov 2018, Tokyo, Japan. pp.404-408, ⟨10.1007/978-3-030-03232-6_29⟩ Communication dans un congrès hal-01937420v1
Certified Gathering of Oblivious Mobile Robots: survey of recent results and open problems Thibaut Balabonski,Pierre Courtieu,Lionel Rieg,Sébastien Tixeuil,Xavier Urbain Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems (FMICS/AVOCS), Sep 2017, Turin, Italy. pp.165-181, ⟨10.1007/978-3-319-67113-0_11⟩ Communication dans un congrès hal-01549942v1
Vérification de la génération modulaire du code impératif pour Lustre Timothy Bourke,Pierre-Evariste Dagand,Marc Pouzet,Lionel Rieg JFLA 2017 - Vingt-huitième Journées Francophones des Langages Applicatifs, Jan 2017, Gourette, France Communication dans un congrès hal-01403830v1
A Formally Verified Compiler for Lustre Timothy Bourke,Lélio Brun,Pierre-Evariste Dagand,Xavier Leroy,Marc Pouzetet al. PLDI 2017 - 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, ACM, Jun 2017, Barcelone, Spain Communication dans un congrès hal-01512286v1
Brief announcement: Certified Universal Gathering in R2 for Oblivious Mobile Robots Pierre Courtieu,Lionel Rieg,Sébastien Tixeuil,Xavier Urbain ACM Conference on Principles of Distributed Computing (PODC), ACM, Jul 2016, Chicago, United States. pp.439-441, ⟨10.1145/2933057.2933070⟩ Communication dans un congrès hal-01349084v1
Certified Universal Gathering in $R^2$ for Oblivious Mobile Robots Pierre Courtieu,Lionel Rieg,Sébastien Tixeuil,Xavier Urbain Distributed Computing (DISC), Sep 2016, Paris, France. pp.187-200, ⟨10.1007/978-3-662-53426-7_14⟩ Communication dans un congrès hal-01349061v1
Synchronous Gathering Without Multiplicity Detection: A Certified Algorithm Thibaut Balabonski,Amélie Delga,Lionel Rieg,Sébastien Tixeuil,Xavier Urbain International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2016), Nov 2016, Lyon, France. pp.7-19, ⟨10.1007/978-3-319-49259-9_2⟩ Communication dans un congrès hal-01491813v1
Extracting Herbrand trees in classical realizability using forcing Lionel Rieg Computer Science Logic 2013, Simona Ronchi Della Rocca, Sep 2013, Turin, Italy. pp.15, ⟨10.4230/LIPIcs.CSL.2013.i⟩ Communication dans un congrès ensl-00814278v2
Good friends are hard to find! Thomas Brihaye,Mohamed Ghannem,Nicolas Markey,Lionel Rieg Proceedings of the 15th International Symposium on Temporal Representation and Reasoning (TIME'08), 2008, Montréal, Canada. pp.32-40, ⟨10.1109/TIME.2008.10⟩ Communication dans un congrès hal-01194596v1

Logiciel (1)

Pactole Pierre Courtieu,Lionel Rieg,Xavier Urbain 2025, ⟨swh:1:dir:a86d84342d1775e79d4a46b5fe33b8f8d6c71764;origin=https://gitlab.liris.cnrs.fr/pactole/coq-pactole.git;visit=swh:1:snp:5a04a907671ae44c0908243d3721f6d462601663;anchor=swh:1:rev:318196bf809c62c086976d766332f0a376caa68c⟩ Logiciel hal-04911413v1

Rapport (6)

Deliverable D2.1: Study of Timing Anomalies Documented in the Literature Florian Brandner,Mihail Asăvoae,Jean-Luc Bechennec,Thomas Carle,Hugues Casséet al. VERIMAG UMR 5104, Université Grenoble Alpes, France. 2025, pp.1-32 Rapport (rapport de recherche) hal-05109685v1
Continuous vs. Discrete Asynchronous Moves: a Certified Approach for Mobile Robots Thibaut Balabonski,Pierre Courtieu,Robin Pelle,Lionel Rieg,Sébastien Tixeuilet al. [Research Report] Sorbonne Université, CNRS, Laboratoire d’Informatique de Paris 6, LIP6, F-75005 Paris, France. 2018, pp.1-12 Rapport (rapport de recherche) hal-01762962v1
Certified Universal Gathering in $R^2$ for Oblivious Mobile Robots Pierre Courtieu,Lionel Rieg,Sébastien Tixeuil,Xavier Urbain [Research Report] UPMC; CNAM. 2016 Rapport (rapport de recherche) hal-01274295v1
A Certified Universal Gathering Algorithm for Oblivious Mobile Robots Pierre Courtieu,Lionel Rieg,Sébastien Tixeuil,Xavier Urbain [Research Report] UPMC, Sorbonne Universites CNRS; CNAM, Paris; College de France; Université Paris Sud. 2015 Rapport (rapport de recherche) hal-01159890v1
Impossibility of Gathering, a Certification Pierre Courtieu,Lionel Rieg,Xavier Urbain,Sébastien Tixeuil [Technical Report] CEDRIC-14-3016, CEDRIC laboratory, CNAM-Paris, France. 2014, pp.10 Rapport (rapport technique) hal-00995126v1
Extracting Herbrand trees from Coq Lionel Rieg 2011 Rapport ensl-00814115v1

Article dans une revue (6)

Towards a Coq-verified Chain of Esterel Semantics Lionel Rieg,Gérard Berry Leibniz Transactions on Embedded Systems, 2025, 10 (1), ⟨10.4230/LITES.10.1.2⟩ Article dans une revue hal-05288996v1
Swarms of Mobile Robots: Towards Versatility with Safety Pierre Courtieu,Lionel Rieg,Sébastien Tixeuil,Xavier Urbain Leibniz Transactions on Embedded Systems, 2022, Distributed Hybrid Systems, 8 (2), pp.02:1-02:36. ⟨10.4230/LITES.8.2.2⟩ Article dans une revue hal-03901898v1
Virtual timeline: a formal abstraction for verifying preemptive schedulers with temporal isolation Mengqi Liu,Lionel Rieg,Zhong Shao,Ronghui Gu,David Costanzoet al. Proceedings of the ACM on Programming Languages, 2020, 4 (POPL), pp.1-31. ⟨10.1145/3371088⟩ Article dans une revue hal-02875542v1
Synchronous Gathering without Multiplicity Detection: a Certified Algorithm Thibaut Balabonski,Amélie Delga,Lionel Rieg,Sébastien Tixeuil,Xavier Urbain Theory of Computing Systems, 2019, 63 (2), pp.200-218. ⟨10.1007/s00224-017-9828-z⟩ Article dans une revue hal-01894618v1
Impossibility of gathering, a certification Pierre Courtieu,Lionel Rieg,Sébastien Tixeuil,Xavier Urbain Information Processing Letters, 2015, 115 (3), pp.447-452. ⟨10.1016/j.ipl.2014.11.001⟩ Article dans une revue hal-01122869v1
[Invited Paper] Formal Methods for Mobile Robots: Current Results and Open Problems Béatrice Bérard,Pierre Courtieu,Laure Millet,Maria Potop-Butucaru,Lionel Rieget al. International Journal of Informatics Society, 2015, 7 (3), pp.101-114 Article dans une revue hal-01238784v1

Pré-publication, Document de travail (1)

Computer Aided Formal Design of Swarm Robotics Algorithms Thibaut Balabonski,Pierre Courtieu,Robin Pelle,Lionel Rieg,Sébastien Tixeuilet al. 2021 Pré-publication, Document de travail hal-03111541v1

Thèse (1)

On Forcing and Classical Realizability Lionel Rieg Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2014. English. ⟨NNT : 2014ENSL0915⟩ Thèse tel-01061442v1