David Mentr
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2015–2022
Best venue rank
B
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | ATVA | Repairing Real-Time Requirements. | Reiya Noguchi, Ocan Sankur, Thierry Jron, Nicolas Markey, David Mentr |
| 2021 | FMICS | Automated Verification of Temporal Properties of Ladder Programs. | Cludio Belo Loureno, Denis Cousineau, Florian Faissole, Claude March, David Mentr, Hiroaki Inoue |
| 2019 | TAP | Fast, Automatic, and Nearly Complete Structural Unit-Test Generation Combining Genetic Algorithms and Formal Methods. | Eric Lavillonnire, David Mentr, Denis Cousineau |
| 2018 | ISoLA | Test Case Generation with PathCrawler/LTest: How to Automate an Industrial Testing Process. | Sbastien Bardin, Nikolai Kosmatov, Bruno Marre, David Mentr, Nicky Williams |
| 2017 | PPDP | Verifiable semantic difference languages. | Thibaut Girka, David Mentr, Yann Rgis-Gianas |
| 2015 | ATVA | A Mechanically Checked Generation of Correlating Programs Directed by Structured Syntactic Differences. | Thibaut Girka, David Mentr, Yann Rgis-Gianas |