Fabien Gaucher

Automatic State Reaching for Debugging Reactive Programs

Bertrand Jeannet, Florence Maraninchi, Erwan Jahier, 2003 .

Debugging Embedded Systems Requirements with STIMULUS: an Automotive Case-Study

Bertrand Jeannet, Bertrand Jeannet, Fabien Gaucher, 2016 .

State Machines in Modelica

Hilding Elmqvist, Fabien Gaucher, Francois Dupont, 2012 .