Denis Cousineau

13 papers B 2C 1Journal 5Unranked 4
YearRankTypeTitle / Venue / Authors
2023 B conf
Compositional Pre-processing for Automated Reasoning in Dependent Type Theory.
CPP
Valentin Blot, Denis Cousineau, Enzo Crance, Louise Dubois de Prisque, Chantal Keller, Assia Mahboubi, Pierre Vial
2023 J jnl
Embedding Pure Type Systems in the lambda-Pi-calculus modulo.
CoRR
Denis Cousineau, Gilles Dowek
2022 J jnl
Automated formal analysis of temporal properties of Ladder programs.
Int. J. Softw. Tools Technol. Transf.
Cláudio Belo Lourenço, Denis Cousineau, Florian Faissole, Claude Marché, David Mentré, Hiroaki Inoue
2022 J jnl
Modular pre-processing for automated reasoning in dependent type theory.
CoRR
Valentin Blot, Denis Cousineau, Enzo Crance, Louise Dubois de Prisque, Chantal Keller, Assia Mahboubi, Pierre Vial
2021 C conf
Automated Verification of Temporal Properties of Ladder Programs.
FMICS
Cláudio Belo Lourenço, Denis Cousineau, Florian Faissole, Claude Marché, David Mentré, Hiroaki Inoue
2019 — conf
Automated Deductive Verification for Ladder Programming.
F-IDE@FM
Denis Cousineau, David Mentré, Hiroaki Inoue
2019 — conf
Fast, Automatic, and Nearly Complete Structural Unit-Test Generation Combining Genetic Algorithms and Formal Methods.
TAP@FM
Eric Lavillonnière, David Mentré, Denis Cousineau
2012 — conf
A Semantic Proof that Reducibility Candidates entail Cut Elimination.
RTA
Denis Cousineau, Olivier Hermant
2012 J jnl
On completeness of reducibility candidates as a semantics of strong normalization
Log. Methods Comput. Sci.
Denis Cousineau
2012 B conf
TLA + Proofs.
FM
Denis Cousineau, Damien Doligez, Leslie Lamport, Stephan Merz, Daniel Ricketts, Hernán Vanzetto
2012 J jnl
TLA+ Proofs
CoRR
Denis Cousineau, Damien Doligez, Leslie Lamport, Stephan Merz, Daniel Ricketts, Hernán Vanzetto
2009 — —
Modèles et normalisation des preuves. (Models and proof normalization).
Denis Cousineau
2007 — conf
Embedding Pure Type Systems in the Lambda-Pi-Calculus Modulo.
TLCA
Denis Cousineau, Gilles Dowek