Thomas Fayolle

According to our database, Thomas Fayolle authored at least 5 papers between 2015 and 2021.

Collaborative distances:

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

2021

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

Renaud De Landtsheer, Thomas Fayolle, Fabian Germeau, Gustavo Ospina

Proceedings of the 10th International Conference on Operations Research and Enterprise Systems, 2021

A Data-thrifty Approach to Routing Optimization.

Thomas Fayolle, Renaud De Landtsheer, Gustavo Ospina, Fabian Germeau

Proceedings of the 10th International Conference on Operations Research and Enterprise Systems, 2021

2017

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

Thomas Fayolle

PhD thesis, 2017

2016

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

Thomas Fayolle, Marc Frappier, Frédéric Gervais, Régine Laleau

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016

2015

Formal refinement of extended state machines.

Thomas Fayolle, Marc Frappier, Régine Laleau, Frédéric Gervais

Proceedings of the Proceedings 17th International Workshop on Refinement, 2015