Pierre Courtieu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
14
Venues
10
Active years
2001–2026
Best venue rank
A*
Where they publish
Papers
14 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 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 | 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 | SSS | Computer Aided Formal Design of Swarm Robotics Algorithms. | Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sbastien Tixeuil, Xavier Urbain |
| 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 | SEFM | Focused Certification of an Industrial Compilation and Static Verification Toolchain. | Zhi Zhang, Robby, John Hatcliff, Yannick Moy, Pierre Courtieu |
| 2016 | PODC | Brief Announcement: Certified Universal Gathering in R | Pierre Courtieu, Lionel Rieg, Sbastien Tixeuil, Xavier Urbain |
| 2013 | SSS | Certified Impossibility Results for Byzantine-Tolerant Mobile Robots. | Cdric Auger, Zohir Bouzid, Pierre Courtieu, Sbastien Tixeuil, Xavier Urbain |
| 2012 | FM | Maximal and Compositional Pattern-Based Loop Invariants. | Maria-Virginia Aponte, Pierre Courtieu, Yannick Moy, Marc Sango |
| 2012 | ITP | Towards Provably Robust Watermarking. | David Baelde, Pierre Courtieu, David Gross-Amblard, Christine Paulin-Mohring |
| 2011 | ITP | Structural Analysis of Narratives with the Coq Proof Assistant. | Anne-Gwenn Bosser, Pierre Courtieu, Julien Forest, Marc Cavazza |
| 2010 | PEPM | A3PAT, an approach for certified automated termination proofs. | Evelyne Contejean, Andrey Paskevich, Xavier Urbain, Pierre Courtieu, Olivier Pons, Julien Forest |
| 2010 | SOFSEM | Improved Matrix Interpretation. | Pierre Courtieu, Gladys Gbedo, Olivier Pons |
| 2001 | CSL | Normalized Types. | Pierre Courtieu |