Get started
Author

David Mentré

Observed names: David, Mentré, Mentre, David, Mentré, David
ORCID: 0000-0003-4315-0335
Observed ORCID: 0000-0003-4315-0335
OpenAlex ID: A5038706453
Discharging Proof Obligations from Atelier B Using Multiple Automated Provers
2012 · David Mentré, Claude Marché, et al. · Lecture notes in computer science · 44
Aligning SysML with the B method to provide V&V for systems engineering
2012 · Erwan Bousse, David Mentré, et al. · Workshop on Model-Driven Engineering, Verification and Validation (MoDeVVa) · 26
PDF
The BWare Project: Building a Proof Platform for the Automated Verification of B Proof Obligations
2014 · David Delahaye, Catherine Dubois, et al. · Lecture notes in computer science · 25
Test Case Generation with PathCrawler/LTest: How to Automate an Industrial Testing Process
2018 · Sébastien Bardin, Nikolai Kosmatov, et al. · Lecture notes in computer science · 15
Automated Verification of Temporal Properties of Ladder Programs
2021 · Cláudio Belo Lourenço, Denis Cousineau, et al. · Lecture notes in computer science · 10
Automated formal analysis of temporal properties of Ladder programs
2022 · Cláudio Belo Lourenço, Denis Cousineau, et al. · International Journal on Software Tools for Technology Transfer · 9
Verifiable semantic difference languages
2017 · Thibaut Girka, David Mentré, et al. · International Symposium on Principles and Practice of Declarative Programming (PPDP) · 6
Fast, Automatic, and Nearly Complete Structural Unit-Test Generation Combining Genetic Algorithms and Formal Methods
2019 · Eric Lavillonnière, David Mentré, et al. · Lecture notes in computer science · 5
A Mechanically Checked Generation of Correlating Programs Directed by Structured Syntactic Differences
2015 · Thibaut Girka, David Mentré, et al. · Lecture notes in computer science · 5
Computing Maximally-Permissive Strategies in Acyclic Timed Automata
2020 · Emily Clement, Thierry Jéron, et al. · Lecture notes in computer science · 4
PDF
SysML2B: Automatic Tool for B Project Graphical Architecture Design Using SysML
2016 · David Mentré · Lecture notes in computer science · 4
Towards Designing SVM Coherence Protocols Using High-level Specifications and Aspect-oriented Translations
1999 · Mentre, David, Le Metayer, Daniel, et al. · 4
Repairing Real-Time Requirements
2022 · Reiya Noguchi, Ocan Sankur, et al. · Lecture notes in computer science · 3
ADHOCFS: A Serverless File System for Mobile Users
2002 · David Mentré, Malika Boulkenafed, et al. · HAL · 3
Incremental Methods for Checking Real-Time Consistency
2020 · Thierry Jéron, Nicolas Markey, et al. · Lecture notes in computer science · 2
PDF
Formal Analysis of Ladder Programs using Deductive Verification
2021 · Lourenço, Cláudio, Cousineau, Denis, et al. · HAL · 1
Automatic Vulnerability Identification and Security Installation with Type Checking for Source Code
2019 · Shun Hinatsu, Koichi Shimizu, et al. · Advances in intelligent systems and computing · 1
ReqKit: A Real-Time Requirement Analysis Tool Kit
2026 · Sankur, Ocan, Noguchi, Reiya, et al. · HAL
Artifact for "Requirement-Based Testing: Enhancing Reinforcement Learning with Game Theory"
2026 · Sankur, Ocan, Jéron, Thierry, et al. · Zenodo (CERN European Organization for Nuclear Research)
Requirement-Based Testing: Enhancing Reinforcement Learning with Game Theory
2024 · Sankur, Ocan, Jeron, Thierry, et al. · arXiv (Cornell University)
PDF
A Methodological Guide for the Validation of Logic Modelling of Ladder Instructions
2024 · Cousineau, Denis, Inoue, Hiroaki, et al. · HAL
PDF
Ten Years of Industrial Experiments with Frama-C at Mitsubishi Electric R&D Centre Europe
2024 · Éric Lavillonnière, David Mentré, et al. · Computer science foundations and applied logic
Oracle-based Differential Operational Semantics (long version)
2016 · Girka, Thibaut, Mentré, David, et al. · HAL
Le projet BWare : une plate-forme pour la vérification automatique d'obligations de preuve B
2014 · Delahaye, David, Marché, Claude, et al. · HAL
Discharging Proof Obligations from Atelier B using Multiple Automated Provers
2012 · David Mentré, Claude Marché, et al.
Works count: 32
Citation count: 167
H-index: 6
I10-index: 5
Year
Topic
Type