Pierre Corbineau

17 papers A 2B 2C 2Misc 1Journal 4Unranked 6
YearRankTypeTitle / Venue / Authors
2023 J jnl
Certification of an exact worst-case self-stabilization time.
Theor. Comput. Sci.
Karine Altisen, Pierre Corbineau, Stéphane Devismes
2023 A conf
Certified Round Complexity of Self-Stabilizing Algorithms.
DISC
Karine Altisen, Pierre Corbineau, Stéphane Devismes
2021 Misc conf
Certification of an Exact Worst-Case Self-Stabilization Time.
ICDCN
Karine Altisen, Pierre Corbineau, Stéphane Devismes
2019 C conf
Squeezing Streams and Composition of Self-stabilizing Algorithms.
FORTE
Karine Altisen, Pierre Corbineau, Stéphane Devismes
2017 J jnl
A Framework for Certified Self-Stabilization.
Log. Methods Comput. Sci.
Karine Altisen, Pierre Corbineau, Stéphane Devismes
2016 C conf
A Framework for Certified Self-Stabilization.
FORTE
Karine Altisen, Pierre Corbineau, Stéphane Devismes
2016 J jnl
A Framework for Certified Self-Stabilization.
CoRR
Karine Altisen, Pierre Corbineau, Stéphane Devismes
2011 B conf
Certified Security Proofs of Cryptographic Protocols in the Computational Model: An Application to Intrusion Resilience.
CPP
Pierre Corbineau, Mathilde Duclos, Yassine Lakhnech
2011 J jnl
On the Generation of Positivstellensatz Witnesses in Degenerate Cases
CoRR
David Monniaux, Pierre Corbineau
2011 B conf
On the Generation of Positivstellensatz Witnesses in Degenerate Cases.
ITP
David Monniaux, Pierre Corbineau
2008 — conf
A New Elimination Rule for the Calculus of Inductive Constructions.
TYPES
Bruno Barras, Pierre Corbineau, Benjamin Grégoire, Hugo Herbelin, Jorge luis Sacchini
2008 — conf
A Real Semantic Web for Mathematics Deserves a Real Semantics.
SemWiki
Cezary Kaliszyk, Pierre Corbineau, Freek Wiedijk, James McKinna, Herman Geuvers
2007 — conf
A Declarative Language for the Coq Proof Assistant.
TYPES
Pierre Corbineau
2007 — conf
Cooperative Repositories for Formal Proofs.
Calculemus/MKM
Pierre Corbineau, Cezary Kaliszyk
2006 — conf
Deciding Equality in the Constructor Theory.
TYPES
Pierre Corbineau
2005 A conf
Reflecting Proofs in First-Order Logic with Equality.
CADE
Evelyne Contejean, Pierre Corbineau
2003 — conf
First-Order Reasoning in the Calculus of Inductive Constructions.
TYPES
Pierre Corbineau