Pierre Corbineau

According to our database, Pierre Corbineau authored at least 13 papers between 2003 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Certification of an exact worst-case self-stabilization time.

Karine Altisen, Pierre Corbineau, Stéphane Devismes

Theor. Comput. Sci., 2023

Certified Round Complexity of Self-Stabilizing Algorithms.

Karine Altisen, Pierre Corbineau, Stéphane Devismes

Proceedings of the 37th International Symposium on Distributed Computing, 2023

2019

Squeezing Streams and Composition of Self-stabilizing Algorithms.

Karine Altisen, Pierre Corbineau, Stéphane Devismes

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2019

2017

A Framework for Certified Self-Stabilization.

Karine Altisen, Pierre Corbineau, Stéphane Devismes

Log. Methods Comput. Sci., 2017

2011

On the Generation of Positivstellensatz Witnesses in Degenerate Cases.

David Monniaux, Pierre Corbineau

Proceedings of the Interactive Theorem Proving - Second International Conference, 2011

Certified Security Proofs of Cryptographic Protocols in the Computational Model: An Application to Intrusion Resilience.

Pierre Corbineau, Mathilde Duclos, Yassine Lakhnech

Proceedings of the Certified Programs and Proofs - First International Conference, 2011

2008

A New Elimination Rule for the Calculus of Inductive Constructions.

Bruno Barras, Pierre Corbineau, Benjamin Grégoire, Hugo Herbelin, Jorge Luis Sacchini

Proceedings of the Types for Proofs and Programs, International Conference, 2008

A Real Semantic Web for Mathematics Deserves a Real Semantics.

Cezary Kaliszyk, Pierre Corbineau, Freek Wiedijk, James McKinna, Herman Geuvers

Proceedings of the 3rd Semantic Wiki Workshop (SemWiki 2008) at the 5th European Semantic Web Conference (ESWC 2008), 2008

2007

A Declarative Language for the Coq Proof Assistant.

Pierre Corbineau

Proceedings of the Types for Proofs and Programs, International Conference, 2007

Cooperative Repositories for Formal Proofs.

Pierre Corbineau, Cezary Kaliszyk

Proceedings of the Towards Mechanized Mathematical Assistants, 14th Symposium, 2007

2006

Deciding Equality in the Constructor Theory.

Pierre Corbineau

Proceedings of the Types for Proofs and Programs, International Workshop, 2006

2005

Reflecting Proofs in First-Order Logic with Equality.

Evelyne Contejean, Pierre Corbineau

Proceedings of the Automated Deduction, 2005

2003

First-Order Reasoning in the Calculus of Inductive Constructions.

Pierre Corbineau

Proceedings of the Types for Proofs and Programs, International Workshop, 2003