| 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 | 74 | 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 | 65 | 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 …, 2011 | 55 | 2011 |
| Impossibility of gathering, a certification P Courtieu, L Rieg, S Tixeuil, X Urbain Information Processing Letters 115 (3), 447-452, 2015 | 51 | 2015 |
| A3PAT, an approach for certified automated termination proofs É Contejean, A Paskevich, X Urbain, P Courtieu, O Pons, J Forest Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and …, 2010 | 48 | 2010 |
| Efficient reasoning about executable specifications in Coq G Barthe, P Courtieu International Conference on Theorem Proving in Higher Order Logics, 31-46, 2002 | 41 | 2002 |
| Certified universal gathering in for oblivious mobile robots P Courtieu, L Rieg, S Tixeuil, X Urbain International Symposium on Distributed Computing, 187-200, 2016 | 31 | 2016 |
| Tool-assisted specification and verification of the JavaCard platform G Barthe, P Courtieu, G Dufay, SM de Sousa Algebraic Methodology and Software Technology: 9th International Conference …, 2002 | 30 | 2002 |
| Normalized types P Courtieu International Workshop on Computer Science Logic, 554-569, 2001 | 24 | 2001 |
| Improved matrix interpretation P Courtieu, G Gbedo, O Pons International Conference on Current Trends in Theory and Practice of …, 2010 | 22 | 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 |
| A certified universal gathering algorithm for oblivious mobile robots P Courtieu, L Rieg, S Tixeuil, X Urbain arXiv preprint arXiv:1506.01603, 2015 | 15 | 2015 |
| Certifying a termination criterion based on graphs, without graphs P Courtieu, J Forest, X Urbain International Conference on Theorem Proving in Higher Order Logics, 183-198, 2008 | 15 | 2008 |
| Formal methods for mobile robots: current results and open problems B Bérard, P Courtieu, L Millet, M Potop-Butucaru, L Rieg, N Sznajder, ... Int. J. Inform. Soc 7 (3), 101-114, 2015 | 12 | 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 | 11 | 2004 |
| 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 | 9 | 2019 |
| Focused certification of an industrial compilation and static verification toolchain Z Zhang, Robby, J Hatcliff, Y Moy, P Courtieu Software Engineering and Formal Methods: 15th International Conference, SEFM …, 2017 | 8 | 2017 |
| 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 | 8 | 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 |
Xavier UrbainFull Professor of Computer Science, University Claude Bernard Lyon 1Verified email at liris.cnrs.fr
