Pierre Corbineau
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2005–2021
Best venue rank
C
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | ICDCN | Certification of an Exact Worst-Case Self-Stabilization Time. | Karine Altisen, Pierre Corbineau, Stphane Devismes |
| 2019 | FORTE | Squeezing Streams and Composition of Self-stabilizing Algorithms. | Karine Altisen, Pierre Corbineau, Stphane Devismes |
| 2016 | FORTE | A Framework for Certified Self-Stabilization. | Karine Altisen, Pierre Corbineau, Stphane Devismes |
| 2011 | CPP | Certified Security Proofs of Cryptographic Protocols in the Computational Model: An Application to Intrusion Resilience. | Pierre Corbineau, Mathilde Duclos, Yassine Lakhnech |
| 2011 | ITP | On the Generation of Positivstellensatz Witnesses in Degenerate Cases. | David Monniaux, Pierre Corbineau |
| 2005 | CADE | Reflecting Proofs in First-Order Logic with Equality. | Evelyne Contejean, Pierre Corbineau |