Research articles and conferences
Software verification
- Software: Frama-C plugins
- How Testing Helps to Diagnose Proof Failures.
- Static and Dynamic Verification of Relational Properties on Self-Composed C Code.
- Your Proof Fails? Testing Helps to Find the Reason.
- PhD Thesis: Contribution à la vérification de programmes C par combinaison de tests et de preuves.
- Sequential Generation of Structured Arrays and Its Deductive Verification.
- Instrumentation of Annotated C Programs for Test Generation.
- How Test Generation Helps Software Specification and Deductive Verification in Frama-C.
- An Optimized Memory Monitoring for Runtime Assertion Checking of C Programs.
Fault Injection Simulation
- FISSC: a Fault Injection and Simulation Secure Collection.
Parallel Programming with OCaml (BSML)
- Functional Parallel Programming with Revised Bulk Synchronous Parallel ML.