Nombre de documents

31

CV de Pierre Courtieu


Pré-publication, Document de travail1 document

  • David Baelde, Pierre Courtieu, David Gross-Amblard, Christine Paulin-Mohring. Towards Provably Robust Watermarking. 2012. <hal-00682398>

Communication dans un congrès21 documents

  • Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain. A Certified Universal Gathering Algorithm for Oblivious Mobile Robots. Distributed Computing (DISC), Sep 2016, Paris, France. <http://www.disc-conference.org/wp/disc2016/>. <hal-01349061>
  • Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain. Certified Universal Gathering in R2 for Oblivious Mobile Robots. ACM Conference on Principles of Distributed Computing (PODC), Jul 2016, Chicago, United States. <hal-01349084>
  • Anne-Gwenn Bosser, Maria-Virginia Aponte, Pierre Courtieu, Julien Forest. Une preuve est une histoire. Vingt-septièmes Journées Francophones des Langages Applicatifs (JFLA 2016), Jan 2016, Saint-Malo, France. 2016. <hal-01333581>
  • Cédric Auger, Zohir Bouzid, Pierre Courtieu, Sébastien Tixeuil, Xavier Urbain. Brief Announcement: Certified impossibility results for Byzantine-tolerant mobile robots. International Symposium on Distributed Computing (DISC2013), Oct 2013, Jerusalem, Israel. 8205, pp.2, 2013, LNCS. <hal-01126335>
  • Pierre Courtieu, Maria-Virginia Aponte, Tristan Crolard, Zhi Zhang, , et al.. Extended abstract: Towards the Formalization of SPARK 2014 Semantics with Explicit Run-time Checks Using Coq. High Integrity Language Technology - ACM SIGAda?s Annual International Conference, Nov 2013, X, Australia. pp.2, 2013, ACM Digital Library. <hal-01126336>
  • Cédric Auger, Zohir Bouzid, Pierre Courtieu, Sébastien Tixeuil, Xavier Urbain. Certified Impossibility Results for Byzantine-Tolerant Mobile Robots. International Symposium on Stabilization, Safety, and Security of Distributed Systems, Nov 2013, Osaka, Japan. Springer, 8255, pp.178-190, 2013, Lecture Notes in Computer Science. <10.1007/978-3-319-03089-0_13>. <hal-00930267>
  • Pierre Courtieu, Christine Paulin-Mohring, David Gross-Amblard, David Baelde. Toward provably robust watermarking. Interactive theorem proving (TPHOLs), Aug 2012, X, France. pp.0-0, 2012, LNCS. <hal-01126127>
  • Pierre Courtieu, Maria-Virginia Aponte, Yannick Moy, Marc Sango. Maximal and Compositional Pattern-Based Loop Invariants. Formal method 2012 (FME), Aug 2012, Paris, France. 7436, pp.37-51, 2012, LNCS. <hal-01126145>
  • Anne-Gwenn Bosser, Pierre Courtieu, Julien Forest, Marc Cavazza. Structural Analysis of Narratives with the Coq Proof Assistant.. Interactive theorem proving (TPHOLs), Aug 2011, Berg en Dal, Netherlands. 6898, pp.55--70, 2011, Lecture Notes in Computer Science. <hal-01125870>
  • Pierre Courtieu, David Baelde, Christine Paulin-Mohring, Xavier Urbain, David Gross-Amblard. Formal Proofs of Robustness for Watermarking Algorithms. TYPES WOKSHOP 2011, Sep 2011, X, France. <hal-01126043>
  • Evelyne Contejean, Pierre Courtieu, Julien Forest, Olivier Pons, Xavier Urbain. Automated Certified Proofs with CiME3. RTA - 22nd International Conference on Rewriting Techniques and Applications, 2011, Novi Sad, Serbia. 2011. <hal-00777669>
  • Pierre Courtieu, Gladys Gbedo, Olivier Pons. Improved Matrix Interpretation. SOFSEM'10, Int. Conf. on Current Trends in Theory and Practice of Computer Science,, Jan 2010, Spindleruv Mln, Czech Republic. 5901, pp.12, 2010, LNCS. <hal-01125706>
  • Evelyne Contejean, Pierre Courtieu, Julien Forest, Andrei Paskevich, Olivier Pons, et al.. A3PAT, an Approach for Certified Automated Termination Proofs. John Gallagher and Janis Voigtländer. 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Jan 2010, Madrid, Spain. ACM, pp.63-72, 2010, PEPM'10. <10.1145/1706356.1706370>. <inria-00535655>
  • Pierre Courtieu, Gladys Gbedo, Olivier Pons. Matrix interpretations revisited. Extended Abstracts of the 10th International Workshop on Termination, WST'09, Leipzig, Germany, Ju, Jan 2009, X, France. pp.4, 2009. <hal-01125629>
  • Pierre Courtieu, Julien Forest, Xavier Urbain. Certifying a Termination Criterion Based on Graphs, without Graphs. TPHOLs'08 Theorem Proving in Higher Order Logics, Montr?al, Canada, Jan 2008, Montreal, Canada. 5170, pp.183-198, 2008, Lecture Notes in Computer Science. <hal-01125530>
  • Evelyne Contejean, Pierre Courtieu, Julien Forest, Olivier Pons, Xavier Urbain. Certification of automated termination proofs. 6th Int. Symp. on Frontiers of Combining Systems, Liverpool, Royaume-Uni, Jan 2007, X, France. pp.148-162, 2007, LNAI 4720. <hal-01125312>
  • Mathieu Blanc, Pierre Courtieu, Gaétan Hains. Mandatory Access Control On Distributed Systems: A Metapolicy Framework. First Colloquium on Risk and Security of the Internet and Systems (CRiSIS 2005), Oct 2005, Bourges, France. Ecole Nationale Supérieure d'Ingénieurs de Bourges, pp.133-144, 2005, ISBN : 2-9525367-0-8. <hal-00083435>
  • Mathieu Blanc, Patrice Clemente, Pierre Courtieu, Stéphane Franche, Laurent Oudot, et al.. Amélioration de la sécurité des grands réseaux par une infrastructure de méta-politique. Richard Castanet. 11ème Colloque Francophone sur l'Ingénierie des Protocoles (CFIP'2005), Mar 2005, Bordeaux, France. Lavoisier, pp.517-530, 2005, ISBN: 2-7462-1151-3. <hal-00083402>
  • Anas Abou El Kalam, Jérémy Briffaut, Patrice Clemente, Pierre Courtieu, Fabrice Gadaud, et al.. Systèmes de confiance et détection d'intrusion répartis. Les Journées Informatique de la Région Centre, Jun 2005, Blois, France. 2005. <hal-00459971>
  • Mathieu Blanc, Pierre Courtieu, Gaetan Hains, Laurent Oudot, Christian Toinard. A novel approach for distributed updates of MAC policies using a meta-protection framework. Université de Rennes. 15th IEEE International Symposium on Software Reliability Engineering (ISSRE 2004), Nov 2004, Saint Malo, France. INRIA, Rennes, France, pp.29-30, 2004, ISBN: 2-7261-1278-1. <hal-00083215>
  • Mathieu Blanc, Patrice Clemente, Pierre Courtieu, Stéphane Franche, Laurent Oudot, et al.. Hardening large-scale networks security through a meta-policy framework. Beata J Wysocki & Tadeusz A Wysocki. 3rd Workshop on the Internet, Telecommunications and Signal Processing (WITSP'04), Dec 2004, Adelaïde, Australia. DSP for Communication Systems, pp.132-137, 2004, ISBN: 0-9756934-0-9. <hal-00083400>

Rapport7 documents

  • Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain. Certified Universal Gathering in $R^2$ for Oblivious Mobile Robots. [Research Report] UPMC; CNAM. 2016. <hal-01274295>
  • Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain. A Certified Universal Gathering Algorithm for Oblivious Mobile Robots. [Research Report] UPMC, Sorbonne Universites CNRS; CNAM, Paris; College de France; Université Paris Sud. 2015. <hal-01159890>
  • Pierre Courtieu, Lionel Rieg, Xavier Urbain, Sébastien Tixeuil. Impossibility of Gathering, a Certification. [Technical Report] CEDRIC-14-3016, CEDRIC laboratory, CNAM-Paris, France. 2014, pp.10. <hal-00995126>
  • Cédric Auger, Zohir Bouzid, Pierre Courtieu, Sébastien Tixeuil, Xavier Urbain. Certified Impossibility Results for Byzantine-Tolerant Mobile Robots. [Research Report] 1560, LRI - CNRS, University Paris-Sud. 2013. <hal-00834633>
  • Pierre Courtieu, Maria-Virginia Aponte, Marc Sango, Yannick Moy. Maximal and Compositional Pattern-BasedLoop Invariants - Definitions and Proofs. [Research Report] CEDRIC-12-2555, CEDRIC Lab/CNAM. 2012. <hal-01126139>
  • Anne-Gwenn Bosser, Marc Cavazza, Pierre Courtieu, Julien Forest. Structural Analysis of Narratives with the Coq Proof Assistant. [Research Report] CEDRIC-11-2061, CEDRIC Lab/CNAM. 2011. <hal-01125850>
  • Evelyne Contejean, Pierre Courtieu, Julien Forest, Olivier Pons, Xavier Urbain. Certification of automated termination proofs. [Research Report] CEDRIC-07-1185, CEDRIC Lab/CNAM. 2007. <hal-01125298>

Article dans une revue2 documents

  • Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain. Impossibility of gathering, a certification. Information Processing Letters, Elsevier, 2015, 115 (3), pp.447-452. <10.1016/j.ipl.2014.11.001>. <hal-01122869>
  • Béatrice Bérard, Pierre Courtieu, Laure Millet, Maria Potop-Butucaru, Lionel Rieg, et al.. [Invited Paper] Formal Methods for Mobile Robots: Current Results and Open Problems. International Journal of Informatics Society, Japan Informatics Society, 2015, 7 (3), pp.101-114. <http://www.infsoc.org/journal/vol07/IJIS_07_3_101-114.pdf>. <hal-01238784>