Pierre Courtieu

According to our database, Pierre Courtieu authored at least 27 papers between 2001 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2022

Swarms of Mobile Robots: Towards Versatility with Safety.

Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain

Leibniz Trans. Embed. Syst., 2022

2021

Computer Aided Formal Design of Swarm Robotics Algorithms.

Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2021

2019

Continuous vs. Discrete Asynchronous Moves: A Certified Approach for Mobile Robots.

Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain

Proceedings of the Networked Systems - 7th International Conference, 2019

2018

Brief Announcement Continuous vs. Discrete Asynchronous Moves: A Certified Approach for Mobile Robots.

Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2018

2017

Focused Certification of an Industrial Compilation and Static Verification Toolchain.

Zhi Zhang, Robby, John Hatcliff, Yannick Moy, Pierre Courtieu

Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017

Certified Gathering of Oblivious Mobile Robots: Survey of Recent Results and Open Problems.

Thibaut Balabonski, Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain

Proceedings of the Critical Systems: Formal Methods and Automated Verification - Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems - and, 2017

2016

Certified Universal Gathering in $R^2$ for Oblivious Mobile Robots.

Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain

CoRR, 2016

Certified Universal Gathering in \mathbb R ^2 for Oblivious Mobile Robots.

Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain

Proceedings of the Distributed Computing - 30th International Symposium, 2016

Brief Announcement: Certified Universal Gathering in R² for Oblivious Mobile Robots.

Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain

Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing, 2016

2015

Impossibility of gathering, a certification.

Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain

Inf. Process. Lett., 2015

A Certified Universal Gathering Algorithm for Oblivious Mobile Robots.

Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain

CoRR, 2015

2013

Certified Impossibility Results for Byzantine-Tolerant Mobile Robots.

Cédric Auger, Zohir Bouzid, Pierre Courtieu, Sébastien Tixeuil, Xavier Urbain

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2013

Towards the formalization of SPARK 2014 semantics with explicit run-time checks using coq.

Pierre Courtieu, Maria-Virginia Aponte, Tristan Crolard, Zhi Zhang, Robby, Jason Belt, John Hatcliff, Jérôme Guitton, Trevor Jennings

Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology, 2013

2012

Towards Provably Robust Watermarking.

David Baelde, Pierre Courtieu, David Gross-Amblard, Christine Paulin-Mohring

Proceedings of the Interactive Theorem Proving - Third International Conference, 2012

Maximal and Compositional Pattern-Based Loop Invariants.

Maria-Virginia Aponte, Pierre Courtieu, Yannick Moy, Marc Sango

Proceedings of the FM 2012: Formal Methods, 2012

2011

Automated Certified Proofs with CiME3.

Evelyne Contejean, Pierre Courtieu, Julien Forest, Olivier Pons, Xavier Urbain

Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, 2011

Structural Analysis of Narratives with the Coq Proof Assistant.

Anne-Gwenn Bosser, Pierre Courtieu, Julien Forest, Marc Cavazza

Proceedings of the Interactive Theorem Proving - Second International Conference, 2011

2010

Improved Matrix Interpretation.

Pierre Courtieu, Gladys Gbedo, Olivier Pons

Proceedings of the SOFSEM 2010: Theory and Practice of Computer Science, 2010

A3PAT, an approach for certified automated termination proofs.

Evelyne Contejean, Andrey Paskevich, Xavier Urbain, Pierre Courtieu, Olivier Pons, Julien Forest

Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2010

2008

Certifying a Termination Criterion Based on Graphs, without Graphs.

Pierre Courtieu, Julien Forest, Xavier Urbain

Proceedings of the Theorem Proving in Higher Order Logics, 21st International Conference, 2008

2007

Certification of Automated Termination Proofs.

Evelyne Contejean, Pierre Courtieu, Julien Forest, Olivier Pons, Xavier Urbain

Proceedings of the Frontiers of Combining Systems, 6th International Symposium, 2007

2005

Tool-Assisted Specification and Verification of Typed Low-Level Languages.

Gilles Barthe, Pierre Courtieu, Guillaume Dufay, Simão Melo de Sousa

J. Autom. Reason., 2005

2002

Efficient Reasoning about Executable Specifications in Coq.

Gilles Barthe, Pierre Courtieu

Proceedings of the Theorem Proving in Higher Order Logics, 15th International Conference, 2002

Proving Self-Stabilization with a Proof Assistant.

Pierre Courtieu

Proceedings of the 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 2002

Tool-Assisted Specification and Verification of the JavaCard Platform.

Gilles Barthe, Pierre Courtieu, Guillaume Dufay, Simão Melo de Sousa

Proceedings of the Algebraic Methodology and Software Technology, 2002

2001

Représentation d'algèbres non libres en théorie des types. (Representation of Non Free Algebras in Type Theory).

Pierre Courtieu

PhD thesis, 2001

Normalized Types.

Pierre Courtieu

Proceedings of the Computer Science Logic, 15th International Workshop, 2001