David Mentré

Publication Activity (10 Years)

Years Active: 2000-2024
Publications (10 Years): 14

Top Topics

Formal Analysis

Temporal Properties

Top Venues

Publications

Ocan Sankur, Thierry Jéron, Nicolas Markey, David Mentré, Reiya Noguchi
Online Test Synthesis From Requirements: Enhancing Reinforcement Learning with Game Theory. CoRR (2024)
Reiya Noguchi, Ocan Sankur, Thierry Jéron, Nicolas Markey, David Mentré
Repairing Real-Time Requirements. ATVA (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)
Thierry Jéron, Nicolas Markey, David Mentré, Reiya Noguchi, Ocan Sankur
Incremental Methods for Checking Real-Time Consistency. FORMATS (2020)
Emily Clement, Thierry Jéron, Nicolas Markey, David Mentré
Computing maximally-permissive strategies in acyclic timed automata. CoRR (2020)
Thierry Jéron, Nicolas Markey, David Mentré, Reiya Noguchi, Ocan Sankur
Incremental methods for checking real-time consistency. CoRR (2020)
Emily Clement, Thierry Jéron, Nicolas Markey, David Mentré
Computing Maximally-Permissive Strategies in Acyclic Timed Automata. FORMATS (2020)
Denis Cousineau, David Mentré, Hiroaki Inoue
Automated Deductive Verification for Ladder Programming. F-IDE@FM (2019)
Shun Hinatsu, Koichi Shimizu, Takeshi Ueda, Benoît Boyer, David Mentré
Automatic Vulnerability Identification and Security Installation with Type Checking for Source Code. NBiS (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)
Sébastien Bardin, Nikolai Kosmatov, Bruno Marre, David Mentré, Nicky Williams
Test Case Generation with PathCrawler/LTest: How to Automate an Industrial Testing Process. ISoLA (4) (2018)
Thibaut Girka, David Mentré, Yann Régis-Gianas
Verifiable semantic difference languages. PPDP (2017)
David Mentré
SysML2B: Automatic Tool for B Project Graphical Architecture Design Using SysML. ABZ (2016)
Thibaut Girka, David Mentré, Yann Régis-Gianas
A Mechanically Checked Generation of Correlating Programs Directed by Structured Syntactic Differences. ATVA (2015)
David Delahaye, Catherine Dubois, Claude Marché, David Mentré
The BWare Project: Building a Proof Platform for the Automated Verification of B Proof Obligations. ABZ (2014)
David Mentré, Claude Marché, Jean-Christophe Filliâtre, Masashi Asuka
Discharging Proof Obligations from Atelier B Using Multiple Automated Provers. ABZ (2012)
David Mentré, Daniel Le Métayer, Thierry Priol
Formalization and Verification of Coherence Protocols with the Gamma Framework. PDSE (2000)