David Mentré

According to our database1, David Mentré authored at least 12 papers between 2000 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Incremental Methods for Checking Real-Time Consistency.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2020

Computing Maximally-Permissive Strategies in Acyclic Timed Automata.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2020

2019
Automated Deductive Verification for Ladder Programming.
Proceedings of the Proceedings Fifth Workshop on Formal Integrated Development Environment, 2019

Fast, Automatic, and Nearly Complete Structural Unit-Test Generation Combining Genetic Algorithms and Formal Methods.
Proceedings of the Tests and Proofs - 13th International Conference, 2019

Automatic Vulnerability Identification and Security Installation with Type Checking for Source Code.
Proceedings of the Advances in Networked-based Information Systems, 2019

2018
Test Case Generation with PathCrawler/LTest: How to Automate an Industrial Testing Process.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018

2017
Verifiable semantic difference languages.
Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09, 2017

2016
SysML2B: Automatic Tool for B Project Graphical Architecture Design Using SysML.
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016

2015
A Mechanically Checked Generation of Correlating Programs Directed by Structured Syntactic Differences.
Proceedings of the Automated Technology for Verification and Analysis, 2015

2014
The BWare Project: Building a Proof Platform for the Automated Verification of B Proof Obligations.
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2014

2012
Discharging Proof Obligations from Atelier B Using Multiple Automated Provers.
Proceedings of the Abstract State Machines, Alloy, B, VDM, and Z, 2012

2000
Formalization and Verification of Coherence Protocols with the Gamma Framework.
Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, 2000


  Loading...