Guillaume Petiot
I'm the type who sold pain au chocolat at school. Went deep into rigorous software engineering — CEA, Systerel, Tarides — chasing formal methods and proof. Aimed for Silicon Valley scale, but life redirected me. Now I'm learning the business rules while studying accounting and building accessibility software. I want things that actually work. For real people. Period.
Want to collaborate or chat? Get in touch
Research Publications
Peer-reviewed papers across formal methods, security, and parallel programming
- Static and Dynamic Verification of Relational Properties on Self-Composed C Code Lionel Blatter, Nikolai Kosmatov, Pascale Le Gall, Virgile Prevosto, Guillaume Petiot
- How Testing Helps to Diagnose Proof Failures Guillaume Petiot, Nikolai Kosmatov, Bernard Botella, Alain Giorgetti, Jacques Julliand
- FISSC - A Fault Injection and Simulation Secure Collection Louis Dureuil, Guillaume Petiot, Marie-Laure Potet, Thanh-Ha Le, Aude Crohen, Philippe de Choudens
- Your Proof Fails? Testing Helps to Find the Reason Guillaume Petiot, Nikolai Kosmatov, Bernard Botella, Alain Giorgetti, Jacques Julliand
- Contribution to C Program Verification by Combining Tests and Proofs Guillaume Petiot
- Sequential Generation of Structured Arrays and Its Deductive Verification Richard Genestier, Alain Giorgetti, Guillaume Petiot
- Instrumentation of Annotated C Programs for Test Generation Guillaume Petiot, Bernard Botella, Jacques Julliand, Nikolai Kosmatov, Julien Signoles
- How Test Generation Helps Software Specification and Deductive Verification in Frama-C Guillaume Petiot, Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand
- An Optimized Memory Monitoring for Runtime Assertion Checking of C Programs Nikolai Kosmatov, Guillaume Petiot, Julien Signoles
- Functional Parallel Programming with Revised Bulk Synchronous Parallel ML Wadoud Bousdira, Frederic Gava, Louis Gesbert, Frederic Loulergue, Guillaume Petiot
Talks
Conference presentations and speaking engagements
Want to collaborate or chat? Get in touch