Synthesis of Finite State Machines with Magnetic Domain Wall Logic. - Jacques-Olivier Klein; Eric Belhaire; Claude Chappert; Florent Ouchet; Russell Cowburn; Dan Read; Dorothee Petit (ISCAS, 2007)

High-level symbolic simulation for automatic model extraction. - Florent Ouchet; Dominique Borrione; Katell Morin-Allory; Laurence Pierre (DDECS, 2009)

Delay Insensitivity Does Not Mean Slope Insensitivity! - Florent Ouchet; Katell Morin-Allory; Laurent Fesquet (ASYNC, 2010)

Formal Verification of C-element Circuits. - Chao Yan 001; Florent Ouchet; Laurent Fesquet; Katell Morin-Allory (ASYNC, 2011)

C-elements for Hardened Self-timed Circuits. - Florent Ouchet; Katell Morin-Allory; Laurent Fesquet (PATMOS, 2011)

Big brother logic: reasoning about agents equipped with surveillance cameras in the plane (demonstration). - Tristan Charrier; Florent Ouchet; François Schwarzentruber (AAMAS, 2014)