David Mentré

According to our database, David Mentré authored at least 15 papers between 2000 and 2022.

Collaborative distances:

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

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

Repairing Real-Time Requirements.

Reiya Noguchi, Ocan Sankur, Thierry Jéron, Nicolas Markey, David Mentré

Proceedings of the Automated Technology for Verification and Analysis, 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

2020

Incremental Methods for Checking Real-Time Consistency.

Thierry Jéron, Nicolas Markey, David Mentré, Reiya Noguchi, Ocan Sankur

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2020

Computing Maximally-Permissive Strategies in Acyclic Timed Automata.

Emily Clement, Thierry Jéron, Nicolas Markey, David Mentré

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2020

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

Automatic Vulnerability Identification and Security Installation with Type Checking for Source Code.

Shun Hinatsu, Koichi Shimizu, Takeshi Ueda, Benoît Boyer, David Mentré

Proceedings of the Advances in Networked-based Information Systems, 2019

2018

Test Case Generation with PathCrawler/LTest: How to Automate an Industrial Testing Process.

Sébastien Bardin, Nikolai Kosmatov, Bruno Marre, David Mentré, Nicky Williams

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018

2017

Verifiable semantic difference languages.

Thibaut Girka, David Mentré, Yann Régis-Gianas

Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09, 2017

2016

SysML2B: Automatic Tool for B Project Graphical Architecture Design Using SysML.

David Mentré

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016

2015

A Mechanically Checked Generation of Correlating Programs Directed by Structured Syntactic Differences.

Thibaut Girka, David Mentré, Yann Régis-Gianas

Proceedings of the Automated Technology for Verification and Analysis, 2015

2014

The BWare Project: Building a Proof Platform for the Automated Verification of B Proof Obligations.

David Delahaye, Catherine Dubois, Claude Marché, David Mentré

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2014

2012

Discharging Proof Obligations from Atelier B Using Multiple Automated Provers.

David Mentré, Claude Marché, Jean-Christophe Filliâtre, Masashi Asuka

Proceedings of the Abstract State Machines, Alloy, B, VDM, and Z, 2012

2000

Formalization and Verification of Coherence Protocols with the Gamma Framework.

David Mentré, Daniel Le Métayer, Thierry Priol

Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, 2000