| Certification of automated termination proofs E Contejean, P Courtieu, J Forest, O Pons, X Urbain Frontiers of Combining Systems: 6th International Symposium, FroCoS 2007 …, 2007 | 73 | 2007 |
| Certified impossibility results for byzantine-tolerant mobile robots C Auger, Z Bouzid, P Courtieu, S Tixeuil, X Urbain Stabilization, Safety, and Security of Distributed Systems: 15th …, 2013 | 60 | 2013 |
| Automated certified proofs with CiME3 E Contejean, P Courtieu, J Forest, O Pons, X Urbain 22nd International Conference on Rewriting Techniques and Applications (RTA'11), 2011 | 54 | 2011 |
| A3PAT, an approach for certified automated termination proofs E Contejean, A Paskevich, X Urbain, P Courtieu, O Pons, J Forest Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and …, 2010 | 50 | 2010 |
| Impossibility of gathering, a certification P Courtieu, L Rieg, S Tixeuil, X Urbain Information Processing Letters 115 (3), 447-452, 2015 | 49 | 2015 |
| Efficient reasoning about executable specifications in Coq G Barthe, P Courtieu Theorem Proving in Higher Order Logics: 15th International Conference …, 2002 | 39 | 2002 |
| Certified Universal Gathering in for Oblivious Mobile Robots P Courtieu, L Rieg, S Tixeuil, X Urbain Distributed Computing: 30th International Symposium, DISC 2016, Paris …, 2016 | 32 | 2016 |
| Tool-assisted specification and verification of the JavaCard platform G Barthe, P Courtieu, G Dufay, SM de Sousa AMAST 2422, 41-59, 2002 | 29 | 2002 |
| Normalized types P Courtieu Computer Science Logic: 15th International Workshop, CSL 2001 10th Annual …, 2001 | 23 | 2001 |
| Improved matrix interpretation P Courtieu, G Gbedo, O Pons SOFSEM 2010: Theory and Practice of Computer Science: 36th Conference on …, 2010 | 21 | 2010 |
| Company-Coq: Taking Proof General one step closer to a real IDE CF Pit-Claudel, P Courtieu, C Pit-Claudel | 20 | 2016 |
| Structural analysis of narratives with the Coq proof assistant AG Bosser, P Courtieu, J Forest, M Cavazza Interactive Theorem Proving: Second International Conference, ITP 2011, Berg …, 2011 | 20 | 2011 |
| Certifying a termination criterion based on graphs, without graphs P Courtieu, J Forest, X Urbain Theorem Proving in Higher Order Logics: 21st International Conference …, 2008 | 15 | 2008 |
| A certified universal gathering algorithm for oblivious mobile robots P Courtieu, L Rieg, S Tixeuil, X Urbain arXiv preprint arXiv:1506.01603, 2015 | 14 | 2015 |
| Formal methods for mobile robots: current results and open problems B Bérard, P Courtieu, L Millet, M Potop-Butucaru, L Rieg, N Sznajder, ... International Journal of Informatics Society 7 (3), 101-114, 2015 | 11 | 2015 |
| Hardening large-scale networks security through a meta-policy framework M Blanc, P Clemente, P Courtieu, S Franche, L Oudot, C Toinard, ... Wysocki, BJ et Wysocki, TA, éditeurs: Third Workshop on the Internet …, 2004 | 10 | 2004 |
| Maximal and compositional pattern-based loop invariants V Aponte, P Courtieu, Y Moy, M Sango FM 2012: Formal Methods: 18th International Symposium, Paris, France, August …, 2012 | 9 | 2012 |
| Brief Announcement Continuous vs. Discrete Asynchronous Moves: A Certified Approach for Mobile Robots T Balabonski, P Courtieu, R Pelle, L Rieg, S Tixeuil, X Urbain Stabilization, Safety, and Security of Distributed Systems: 20th …, 2018 | 7 | 2018 |
| Continuous vs. Discrete Asynchronous Moves: A Certified Approach for Mobile Robots T Balabonski, P Courtieu, R Pelle, L Rieg, S Tixeuil, X Urbain Networked Systems: 7th International Conference, NETYS 2019, Marrakech …, 2019 | 6 | 2019 |
| Certified gathering of oblivious mobile robots: Survey of recent results and open problems T Balabonski, P Courtieu, L Rieg, S Tixeuil, X Urbain Critical Systems: Formal Methods and Automated Verification: Joint 22nd …, 2017 | 6 | 2017 |
Xavier UrbainFull Professor of Computer Science, University Claude Bernard Lyon 1Verified email at liris.cnrs.fr
