Research papers
Software Verification
How Testing Helps to Diagnose Proof Failures.
Guillaume Petiot, Nikolai Kosmatov, Bernard Botella, Alain Giorgetti and Jacques Julliand
Static and Dynamic Verification of Relational Properties on Self-Composed C Code.
Lionel Blatter, Nikolai Kosmatov, Pascale Le Gall, Virgile Prevosto and Guillaume Petiot
Your Proof Fails? Testing Helps to Find the Reason.
Guillaume Petiot, Nikolai Kosmatov, Bernard Botella, Alain Giorgetti and Jacques Julliand
PhD Thesis: Contribution à la vérification de programmes C par combinaison de tests et de preuves.
Guillaume Petiot
Sequential Generation of Structured Arrays and Its Deductive Verification.
Richard Genestier, Alain Giorgetti and Guillaume Petiot
Instrumentation of Annotated C Programs for Test Generation.
Guillaume Petiot, Bernard Botella, Jacques Julliand, Nikolai Kosmatov and Julien Signoles
How Test Generation Helps Software Specification and Deductive Verification in Frama-C.
Guillaume Petiot, Nikolai Kosmatov, Alain Giorgetti and Jacques Julliand
An Optimized Memory Monitoring for Runtime Assertion Checking of C Programs.
Nikolai Kosmatov, Guillaume Petiot and Julien Signoles
Fault Injection Simulation
FISSC: a Fault Injection and Simulation Secure Collection.
Louis Dureuil, Guillaume Petiot, Marie-Laure Potet, Thanh-Ha Le, Aude Crohen and Philippe de Choudens
Parallel Programming
Functional Parallel Programming with Revised Bulk Synchronous Parallel ML.
Wadoud Bousdira, Frederic Gava, Louis Gesbert, Frederic Loulergue and Guillaume Petiot