Research Papers
Formal Methods
- 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
- Contribution to C Program Verification by Combining Tests and Proofs
- 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
Security
- FISSC: a Fault Injection and Simulation Secure Collection
Parallel Programming
- Functional Parallel Programming with Revised Bulk Synchronous Parallel ML