Fabien Gaucher

According to our database, Fabien Gaucher authored at least 2 papers between 2000 and 2003.

Collaborative distances:

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

2003

Automatic State Reaching for Debugging Reactive Programs.

Fabien Gaucher, Erwan Jahier, Bertrand Jeannet, Florence Maraninchi

Proceedings of the Fifth International Workshop on Automated Debugging, 2003

2000

Step-wise + Algorithmic debugging for Reactive Programs: Ludic, a debugger for Lustre.

Florence Maraninchi, Fabien Gaucher

Proceedings of the Fourth International Workshop on Automated Debugging, 2000