Using Statistical-Model-Checking-Based Simulation for Evaluating the Robustness of a Production Schedule. - Sara Himmiche; Alexis Aubry; Pascale Marangé; Marie Duflot; Jean-François Pétin (SOHOMA, 2017)

Ordonnancement sous perturbations: cadre d'étude et approche d'évaluation de la robustesse par automates stochastiques. (Scheduling under perturbations: Study framework and robustness evaluation approach based on stochastic automata). - Sara Himmiche (2020)

Hybridization of Mixed-Integer Linear Program and Discrete Event Systems for Robust Scheduling on Parallel Machines. - Alexis Aubry; Pascale Marangé; David Lemoine; Sara Himmiche; Sylvie Norre (APMS (1), 2021)

Towards a Process-Based Industry 5.0 Maturity Model: A Feasibility Study in Supply Chain. - Sara Himmiche; Jean-Luc Maire; Jose-Fernando Jimenez; Magali Pralus; Laurent Tabourot (IN4PL (1), 2024)