Pierre Corbineau

Identifiants chercheurs

IdHAL :

pierre-corbineau

ORCID :

0000-0001-9267-7593

Publications

Article dans une revue (1)

Certification of an exact worst-case self-stabilization time Karine Altisen,Pierre Corbineau,Stéphane Devismes Theoretical Computer Science, 2022, 941, pp.262-277. ⟨10.1016/j.tcs.2022.11.019⟩ Article dans une revue hal-03862272v1

Communication dans un congrès (13)

Proxy-based small inversions: a case study in MetaCoq programming Pierre Corbineau,Basile Gros,Jean-François Monin 36es Journées Francophones des Langages Applicatifs (JFLA 2025), Jan 2025, Roiffé, France Communication dans un congrès hal-04859450v1
Certified Programming with Dependent Types Made Simple with Proxy-based Small Inversions Pierre Corbineau,Basile Gros,Jean-François Monin The Rocqshop 2025, Pierre Boutry; Loïc Pujet, Sep 2025, Reykjavik, Iceland Communication dans un congrès hal-05481472v1
Proofs-as-programs for programmers Pierre Corbineau,Jean-François Monin ThEdu 24 - 13th International Workshop on Theorem proving components for Educational software, Julien Narboux; Walter Neuper; Pedro Quaresma, Jul 2024, Nancy, France Communication dans un congrès hal-04993483v1
Certified Round Complexity of Self-Stabilizing Algorithms Karine Altisen,Pierre Corbineau,Stéphane Devismes 37th International Symposium on Distributed Computing, Oct 2023, L'Aquila, Italy. pp.1-22, ⟨10.4230/LIPIcs.DISC.2023.2⟩ Communication dans un congrès hal-04230513v1
Complexité certifiée d'algorithmes autostabilisants en rondes Karine Altisen,Pierre Corbineau,Stéphane Devismes 25èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel 2023), May 2023, Cargese, France Communication dans un congrès hal-04081085v1
Certification of an Exact Worst-Case Self-Stabilization Time Karine Altisen,Pierre Corbineau,Stéphane Devismes ICDCN '21: International Conference on Distributed Computing and Networking 2021, Jan 2021, Nara Japan, France. pp.46-55, ⟨10.1145/3427796.3427832⟩ Communication dans un congrès hal-03547154v1
A Decision Procedure for Equivalence Relations Sébastien Michelland,Pierre Corbineau,Lionel Rieg,Karine Altisen Coq Workshop 2020, Jul 2020, Aubervilliers, France Communication dans un congrès hal-04880486v1
Squeezing Streams and Composition of Self-stabilizing Algorithms Karine Altisen,Pierre Corbineau,Stéphane Devismes 39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2019, Copenhagen, Denmark. pp.21-38, ⟨10.1007/978-3-030-21759-4_2⟩ Communication dans un congrès hal-02313746v1
Composition certifiée d'algorithmes autostabilisants silencieux Karine Altisen,Pierre Corbineau 19èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel 2017), May 2017, Quiberon, France Communication dans un congrès hal-01516801v1
A Framework for Certified Self-Stabilization Karine Altisen,Pierre Corbineau,Stéphane Devismes 36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.36-51, ⟨10.1007/978-3-319-39570-8_3⟩ Communication dans un congrès hal-01432926v1
On the Generation of Positivstellensatz Witnesses in Degenerate Cases David Monniaux,Pierre Corbineau Interactive Theorem Proving, Aug 2011, Nijmegen, Netherlands. pp.249-264, ⟨10.1007/978-3-642-22863-6_19⟩ Communication dans un congrès hal-00594761v1
A New Elimination Rule for the Calculus of Inductive Constructions Bruno Barras,Pierre Corbineau,Benjamin Grégoire,Hugo Herbelin,Jorge Luis Sacchini Types for Proofs and Programs, Mar 2008, Torino, Italy. pp.32-48, ⟨10.1007/978-3-642-02444-3_3⟩ Communication dans un congrès inria-00524938v1
Reflecting Proofs in First-Order Logic with Equality Évelyne Contejean,Pierre Corbineau 20th International Conference on Automated Deduction (CADE-20), 2005, Tallinn, Estonia. pp.7--22, ⟨10.1007/11532231_2⟩ Communication dans un congrès istex hal-00946061v1

Pré-publication, Document de travail (1)

Proxy-based small inversions and their automation Pierre Corbineau,Basile Gros,Jean-François Monin 2026 Pré-publication, Document de travail hal-05469909v1