Denis Cousineau

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 6

Top Topics

Automated Reasoning

Automated Verification

Abductive Inference

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Valentin Blot, Denis Cousineau, Enzo Crance, Louise Dubois de Prisque, Chantal Keller, Assia Mahboubi, Pierre Vial
Compositional Pre-processing for Automated Reasoning in Dependent Type Theory. CPP (2023)
Valentin Blot, Denis Cousineau, Enzo Crance, Louise Dubois de Prisque, Chantal Keller, Assia Mahboubi, Pierre Vial
Modular pre-processing for automated reasoning in dependent type theory. CoRR (2022)
Cláudio Belo Lourenço, Denis Cousineau, Florian Faissole, Claude Marché, David Mentré, Hiroaki Inoue
Automated formal analysis of temporal properties of Ladder programs. Int. J. Softw. Tools Technol. Transf. 24 (6) (2022)
Cláudio Belo Lourenço, Denis Cousineau, Florian Faissole, Claude Marché, David Mentré, Hiroaki Inoue
Automated Verification of Temporal Properties of Ladder Programs. FMICS (2021)
Denis Cousineau, David Mentré, Hiroaki Inoue
Automated Deductive Verification for Ladder Programming. F-IDE@FM (2019)
Eric Lavillonnière, David Mentré, Denis Cousineau
Fast, Automatic, and Nearly Complete Structural Unit-Test Generation Combining Genetic Algorithms and Formal Methods. TAP@FM (2019)