Sara Himmiche

Publication Activity (10 Years)

Years Active: 2017-2021
Publications (10 Years): 2

Top Topics

Linear Time Temporal Logic

Scheduling Jobs

Top Venues

Publications

Alexis Aubry, Pascale Marangé, David Lemoine, Sara Himmiche, Sylvie Norre
Hybridization of Mixed-Integer Linear Program and Discrete Event Systems for Robust Scheduling on Parallel Machines. APMS (1) (2021)
Sara Himmiche, Alexis Aubry, Pascale Marangé, Marie Duflot-Kremer, Jean-François Pétin
Using Statistical-Model-Checking-Based Simulation for Evaluating the Robustness of a Production Schedule. SOHOMA (2017)