Florent Ouchet

According to our database, Florent Ouchet authored at least 6 papers between 2007 and 2014.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2014

Big brother logic: reasoning about agents equipped with surveillance cameras in the plane (demonstration).

Tristan Charrier, Florent Ouchet, François Schwarzentruber

Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014

2011

C-elements for Hardened Self-timed Circuits.

Florent Ouchet, Katell Morin-Allory, Laurent Fesquet

Proceedings of the Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation, 2011

Formal Verification of C-element Circuits.

Chao Yan, Florent Ouchet, Laurent Fesquet, Katell Morin-Allory

Proceedings of the 17th IEEE International Symposium on Asynchronous Circuits and Systems, 2011

2010

Delay Insensitivity Does Not Mean Slope Insensitivity!

Florent Ouchet, Katell Morin-Allory, Laurent Fesquet

Proceedings of the 16th IEEE International Symposium on Asynchronous Circuits and Systems, 2010

2009

High-level symbolic simulation for automatic model extraction.

Florent Ouchet, Dominique Borrione, Katell Morin-Allory, Laurence Pierre

Proceedings of the 2009 IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems, 2009

2007

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

Proceedings of the International Symposium on Circuits and Systems (ISCAS 2007), 2007