Journées FCH 8 juin 2017

Présentations de la journée FCH du 8 juin 2017 (Description et programme)

• Présentation d'introduction

• Présentation de Alexis Aubry et Pascale Marangé : Ordonnancement d'ateliers flexibles de production avec des automates temporises

• Présentation de Marie Duflot-Kremer : Model-Checking statistique pour l'ordonnancement

• Présentation de Laurent Houssin : The time varying cyclic scheduling problem

• Présentation de Dave Parker : Scheduling and Strategy Synthesis for Probabilistic Real-Time Systems with PRISM

• Présentation de Didier Lime : Model-checking Real-time Systems with Romeo