GuillaumePetiot
I'm passionate about building things that work well. I've spent years diving into formal methods and verification at CEA, Systerel, and Tarides. Lately, I've been exploring business and accounting while building accessibility solutions.
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 CodeLionel Blatter, Nikolai Kosmatov, Pascale Le Gall, Virgile Prevosto, Guillaume Petiot
- How Testing Helps to Diagnose Proof FailuresGuillaume Petiot, Nikolai Kosmatov, Bernard Botella, Alain Giorgetti, Jacques Julliand
- FISSC - A Fault Injection and Simulation Secure CollectionLouis Dureuil, Guillaume Petiot, Marie-Laure Potet, Thanh-Ha Le, Aude Crohen, Philippe de Choudens
- Your Proof Fails? Testing Helps to Find the ReasonGuillaume Petiot, Nikolai Kosmatov, Bernard Botella, Alain Giorgetti, Jacques Julliand
- Contribution to C Program Verification by Combining Tests and ProofsGuillaume Petiot
- Sequential Generation of Structured Arrays and Its Deductive VerificationRichard Genestier, Alain Giorgetti, Guillaume Petiot
- Instrumentation of Annotated C Programs for Test GenerationGuillaume Petiot, Bernard Botella, Jacques Julliand, Nikolai Kosmatov, Julien Signoles
- How Test Generation Helps Software Specification and Deductive Verification in Frama-CGuillaume Petiot, Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand
- An Optimized Memory Monitoring for Runtime Assertion Checking of C ProgramsNikolai Kosmatov, Guillaume Petiot, Julien Signoles
- Functional Parallel Programming with Revised Bulk Synchronous Parallel MLWadoud Bousdira, Frederic Gava, Louis Gesbert, Frederic Loulergue, Guillaume Petiot
Talks
Conference presentations and speaking engagements
Want to collaborate or chat? Get in touch