Pierre Courtieu

31 papers A* 1A 2B 7C 4Journal 8Unranked 8
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
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 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
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
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 — 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
2017 B conf
Focused Certification of an Industrial Compilation and Static Verification Toolchain.
SEFM
Zhi Zhang, Robby, John Hatcliff, Yannick Moy, Pierre Courtieu
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
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
2013 C conf
Certified Impossibility Results for Byzantine-Tolerant Mobile Robots.
SSS
Cédric Auger, Zohir Bouzid, Pierre Courtieu, Sébastien Tixeuil, Xavier Urbain
2013 J jnl
Certified Impossibility Results for Byzantine-Tolerant Mobile Robots.
CoRR
Cédric Auger, Zohir Bouzid, Pierre Courtieu, Sébastien Tixeuil, Xavier Urbain
2013 — conf
Towards the formalization of SPARK 2014 semantics with explicit run-time checks using coq.
HILT
Pierre Courtieu, Maria-Virginia Aponte, Tristan Crolard, Zhi Zhang, Robby, Jason Belt, John Hatcliff, Jérôme Guitton, Trevor Jennings
2012 B conf
Maximal and Compositional Pattern-Based Loop Invariants.
FM
Maria-Virginia Aponte, Pierre Courtieu, Yannick Moy, Marc Sango
2012 B conf
Towards Provably Robust Watermarking.
ITP
David Baelde, Pierre Courtieu, David Gross-Amblard, Christine Paulin-Mohring
2011 — conf
Automated Certified Proofs with CiME3.
RTA
Evelyne Contejean, Pierre Courtieu, Julien Forest, Olivier Pons, Xavier Urbain
2011 B conf
Structural Analysis of Narratives with the Coq Proof Assistant.
ITP
Anne-Gwenn Bosser, Pierre Courtieu, Julien Forest, Marc Cavazza
2010 C conf
A3PAT, an approach for certified automated termination proofs.
PEPM
Evelyne Contejean, Andrey Paskevich, Xavier Urbain, Pierre Courtieu, Olivier Pons, Julien Forest
2010 B conf
Improved Matrix Interpretation.
SOFSEM
Pierre Courtieu, Gladys Gbedo, Olivier Pons
2008 — conf
Certifying a Termination Criterion Based on Graphs, without Graphs.
TPHOLs
Pierre Courtieu, Julien Forest, Xavier Urbain
2007 — conf
Certification of Automated Termination Proofs.
FroCoS
Evelyne Contejean, Pierre Courtieu, Julien Forest, Olivier Pons, Xavier Urbain
2005 J jnl
Tool-Assisted Specification and Verification of Typed Low-Level Languages.
J. Autom. Reason.
Gilles Barthe, Pierre Courtieu, Guillaume Dufay, Simão Melo de Sousa
2002 — conf
Efficient Reasoning about Executable Specifications in Coq.
TPHOLs
Gilles Barthe, Pierre Courtieu
2002 A conf
Proving Self-Stabilization with a Proof Assistant.
IPDPS
Pierre Courtieu
2002 — conf
Tool-Assisted Specification and Verification of the JavaCard Platform.
AMAST
Gilles Barthe, Pierre Courtieu, Guillaume Dufay, Simão Melo de Sousa
2001 B conf
Normalized Types.
CSL
Pierre Courtieu
2001 — —
Représentation d'algèbres non libres en théorie des types. (Representation of Non Free Algebras in Type Theory).
Pierre Courtieu