Denis Cousineau

According to our database, Denis Cousineau authored at least 11 papers between 2007 and 2023.

Collaborative distances:

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

2023

Compositional Pre-processing for Automated Reasoning in Dependent Type Theory.

Valentin Blot, Denis Cousineau, Enzo Crance, Louise Dubois de Prisque, Chantal Keller, Assia Mahboubi, Pierre Vial

Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2023

2022

Automated formal analysis of temporal properties of Ladder programs.

Cláudio Belo Lourenço, Denis Cousineau, Florian Faissole, Claude Marché, David Mentré, Hiroaki Inoue

Int. J. Softw. Tools Technol. Transf., 2022

Modular pre-processing for automated reasoning in dependent type theory.

Valentin Blot, Denis Cousineau, Enzo Crance, Louise Dubois de Prisque, Chantal Keller, Assia Mahboubi, Pierre Vial

CoRR, 2022

2021

Automated Verification of Temporal Properties of Ladder Programs.

Cláudio Belo Lourenço, Denis Cousineau, Florian Faissole, Claude Marché, David Mentré, Hiroaki Inoue

Proceedings of the Formal Methods for Industrial Critical Systems, 2021

2019

Automated Deductive Verification for Ladder Programming.

Denis Cousineau, David Mentré, Hiroaki Inoue

Proceedings of the Proceedings Fifth Workshop on Formal Integrated Development Environment, 2019

Fast, Automatic, and Nearly Complete Structural Unit-Test Generation Combining Genetic Algorithms and Formal Methods.

Eric Lavillonnière, David Mentré, Denis Cousineau

Proceedings of the Tests and Proofs - 13th International Conference, 2019

2012

On completeness of reducibility candidates as a semantics of strong normalization

Denis Cousineau

Log. Methods Comput. Sci., 2012

A Semantic Proof that Reducibility Candidates entail Cut Elimination.

Denis Cousineau, Olivier Hermant

Proceedings of the 23rd International Conference on Rewriting Techniques and Applications (RTA'12) , 2012

TLA + Proofs.

Denis Cousineau, Damien Doligez, Leslie Lamport, Stephan Merz, Daniel Ricketts, Hernán Vanzetto

Proceedings of the FM 2012: Formal Methods, 2012

2009

Modèles et normalisation des preuves. (Models and proof normalization).

Denis Cousineau

PhD thesis, 2009

2007

Embedding Pure Type Systems in the Lambda-Pi-Calculus Modulo.

Denis Cousineau, Gilles Dowek

Proceedings of the Typed Lambda Calculi and Applications, 8th International Conference, 2007