Pierre Courtieu

Publication Activity (10 Years)

Years Active: 2001-2022
Publications (10 Years): 10

Top Venues

CoRR

SSS

HILT

ITP

University of Paris-Sud, Orsay, France (PHD)

Education History

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

Pierre Courtieu.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Pierre Courtieu