Thomas Fayolle

Modelling a Hemodialysis Machine Using Algebraic State-Transition Diagrams and B-like Methods

Marc Frappier, Régine Laleau, Frédéric Gervais, 2016, ABZ.

Generic Support for Precomputation-Based Global Routing Constraints in Local Search Optimization

Christophe Ponsard, Thomas Fayolle, Renaud De Landtsheer, 2021 .

Formal refinement of extended state machines

Marc Frappier, Régine Laleau, Frédéric Gervais, 2016, Refine@FM.

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

Thomas Fayolle, Thomas Fayolle, 2017 .

A Data-thrifty Approach to Routing Optimization

Thomas Fayolle, Renaud De Landtsheer, Gustavo Ospina, 2021, ICORES.

A Very Large Scale Neighborhood Approach to Pickup and Delivery Problems with Time Windows

Thomas Fayolle, Renaud De Landtsheer, Gustavo Ospina, 2021, ICORES.