| [1] | Anne-Gwenn Bosser, Pierre Courtieu, Julien Forest, and Marc Cavazza. Structural Analysis of Narratives with the Coq Proof Assistant. In ITP, pages 55-70, 2011. [ bib | .pdf ] |
| [2] | Evelyne Contejean, Pierre Courtieu, Julien Forest, Olivier Pons, and Xavier Urbain. Automated Certified Proofs with CiME3. In RTA, pages 21-30, 2011. [ bib | .pdf ] |
| [3] | Évelyne Contejean, Pierre Courtieu, and Olivier Pons et Xavier Urbain Julien Forest, Andrei Paskevich. A3PAT, an Approach for Certified Automated Termination Proofs. In In PEPM'10 Proceedings of the 2010 ACM SIGPLAN Symp. on Partial Evaluation and Program Manipulation, 2010. [ bib | .pdf ] |
| [4] | Pierre Courtieu, Gladys Gbedo, and Olivier Pons. Improved matrix interpretations. In Jan van Leeuwen et al., editor, In proc. SOFSEM2010, SOFSEM'10, International Conference on Current Trends in Theory and Practice of Computer Science, volume of LNCS. Springer, 2010. [ bib | .pdf ] |
| [5] | Pierre Courtieu, Julien Forest, and Xavier Urbain. Certifying a Termination Criterion Based on Graphs, Without Graphs. In César Muñoz and Otmane Ait Mohamed, editors, 21st International Conference on Theorem Proving in Higher Order Logics (TPHOLs'08), volume 5170 of Lecture Notes in Computer Science, pages 183-198, Montréal, Canada, August 2008. Springer-Verlag. [ bib | .pdf ] |
| [6] | Évelyne Contejean, Pierre Courtieu, Julien Forest, Olivier Pons, and Xavier Urbain. Certification of automated termination proofs. In Boris Konev and Frank Wolter, editors, 6th International Symposium on Frontiers of Combining Systems (FroCos 07), volume 4720 of Lecture Notes in Artificial Intelligence, pages 148-162, Liverpool,UK, September 2007. Springer-Verlag. [ bib | .pdf ] |
| [7] | M. Blanc, P. Clemente, P. Courtieu, S. Franche, L. Oudot, C. Toinard, and L. Vessiller. Amélioration de la sécurité des grands réseaux par une infrastructure de méta-politique. In CFIP 05, 2005. [ bib ] |
| [8] | Mathieu Blanc, Patrice Clemente, Pierre Courtieu, Stephane Franche, Laurent Oudot, Christian Toinard, and Lionel Vessiller. Hardening large-scale networks security through a meta-policy framework. In Third Workshop on the Internet, Telecommunications and Signal Processing (WITSP.04), Adelaide, Australia, dec 2004. [ bib | .pdf ] |
| [9] | Mathieu Blanc, Pierre Courtieu, Gaetan Hains, Laurent Oudot, and Christian Toinard. A novel approach for distributed updates of MAC policies using a meta-protection framework. In Supplementary Proceedings of the 15th IEEE International Symposium on Software Reliability Engineering (ISSRE 2004), Saint Malo, France, nov 2004. [ bib | .pdf ] |
| [10] | G. Barthe, P. Courtieu, G. Dufay, and S. Melo de Sousa. Jakarta: tool-assisted specification and verification of the JavaCard Platform. Journal of Automated Reasoning, Volume 35, Numbers 1-3:295-354, October 2005. [ bib | .pdf ] |
| [11] | G. Barthe and P. Courtieu. Efficient Reasoning about Executable Specifications in Coq. In C. Muñoz V. A Carreno and S. Tahar, editors, Proceedings of TPHOLs'02, volume 2410 of Lecture Notes in Computer Science, pages 31-46. springer, 2002. [ bib | .pdf ] |
| [12] | G. Barthe, G. Dufay, Simao de Sousa, and P. Courtieu. Tool-Assisted Specification and Verification of the JavaCard Platform. In Proceedings of AMAST'02, volume 2422 of Lecture Notes in Computer Science, pages 41-59. Springer-Verlag, 2002. [ bib | .ps.gz ] |
| [13] | Pierre Courtieu. Normalized types. In Proceedings of CSL2001, volume 2142 of Lecture Notes in Computer Science, 2001. [ bib | .ps.gz ] |
| [14] | Pierre Courtieu. Proving self-stabilization with a proof assistant. In Proceedings of IPDPS'2002, IEEE CS Press, 2002. contained in IPDPS collected proceedings CD-ROM, Abstract appears in IPDPS'02 Proc. : Abstracts, p.0209. [ bib | .ps.gz ] |
| [15] | Pierre Courtieu. Représentation de structures non libres en théorie des types. Thèse de doctorat, Université Paris-sud, Laboratoire de Recherche en informatique, décembre 2001. In french. [ bib | .ps.gz | .pdf ] |
This file was generated by bibtex2html 1.96.