Formal refinement of extended state machines. - Thomas Fayolle; Marc Frappier; Régine Laleau; Frédéric Gervais (Refine@FM, 2015)

Modelling a Hemodialysis Machine Using Algebraic State-Transition Diagrams and B-like Methods. - Thomas Fayolle; Marc Frappier; Frédéric Gervais; Régine Laleau (ABZ, 2016)

Combinaison de méthodes formelles pour la spécification de systèmes industriels. (Coupling of formal methods for industriel systems specification). - Thomas Fayolle (2017)

A Data-thrifty Approach to Routing Optimization. - Thomas Fayolle; Renaud De Landtsheer; Gustavo Ospina; Fabian Germeau (ICORES, 2021)

A Very Large Scale Neighborhood Approach to Pickup and Delivery Problems with Time Windows. - Renaud De Landtsheer; Thomas Fayolle; Fabian Germeau; Gustavo Ospina (ICORES, 2021)