VLDB 2026 Research / reviewers in the wild / expert

David Mentré

dblp:62/5579 · DBLP profile ↗
← Back
6ranked-venue papers
0as first author
3since 2021 · last 2022
0000-0003-4315-0335ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 6 · 3 since 2021Theory of computation · 1
YearPublicationVenuePosition
2022 Repairing Real-Time Requirements
Reiya Noguchi, Ocan Sankur, Thierry Jéron, Nicolas Markey, David Mentré
 ATVA5
2022 Automated formal analysis of temporal properties of Ladder programs
Cláudio Belo Lourenço, Denis Cousineau 0002, Florian Faissole, Claude Marché, David Mentré, Hiroaki Inoue
 Int. J. Softw. Tools Technol. Transf.5
2021 Automated Verification of Temporal Properties of Ladder Programs
Cláudio Belo Lourenço, Denis Cousineau 0002, Florian Faissole, Claude Marché, David Mentré, Hiroaki Inoue
 FMICS5
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
 ISoLA (4)4
2017 Verifiable semantic difference languages
abstract
Program differences are usually represented as textual differences on source code with no regard to its syntax or its semantics. In this paper, we introduce semantic-aware difference languages. A difference denotes a relation between program reduction traces. A difference language for the toy imperative programming language Imp is given as an illustration.
Thibaut Girka, David Mentré, Yann Régis-Gianas
 PPDP2
2015 A Mechanically Checked Generation of Correlating Programs Directed by Structured Syntactic Differences
Thibaut Girka, David Mentré, Yann Régis-Gianas
 ATVA2