David Mentré

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