Seguir
Pierre Courtieu
Pierre Courtieu
Conservatoire des Arts et Métiers - Laboratory: CÉDRIC
Dirección de correo verificada de cnam.fr
Título
Citado por
Citado por
Año
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
732007
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
632013
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
572011
Impossibility of gathering, a certification
P Courtieu, L Rieg, S Tixeuil, X Urbain
Information Processing Letters 115 (3), 447-452, 2015
512015
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
492010
Efficient reasoning about executable specifications in Coq
G Barthe, P Courtieu
International Conference on Theorem Proving in Higher Order Logics, 31-46, 2002
402002
Certified universal gathering in for oblivious mobile robots
P Courtieu, L Rieg, S Tixeuil, X Urbain
International Symposium on Distributed Computing, 187-200, 2016
312016
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
302002
Normalized types
P Courtieu
International Workshop on Computer Science Logic, 554-569, 2001
242001
Improved matrix interpretation
P Courtieu, G Gbedo, O Pons
International Conference on Current Trends in Theory and Practice of …, 2010
232010
Company-Coq: Taking Proof General one step closer to a real IDE
CF Pit-Claudel, P Courtieu, C Pit-Claudel
202016
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
202011
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
152008
A certified universal gathering algorithm for oblivious mobile robots
P Courtieu, L Rieg, S Tixeuil, X Urbain
arXiv preprint arXiv:1506.01603, 2015
142015
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
122015
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
112004
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
82012
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
72019
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
72018
A novel approach for distributed updates of MAC policies using a meta-protection framework
M Blanc, P Courtieu, G Hains, L Oudot, C Toinard
Proceedings of the 15th IEEE International Symposium on Software Reliability …, 2004
72004
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20