Performance Evaluation of Schedulers in a Probabilistic Setting. - Jean-Francois Kempf; Marius Bozga; Oded Maler (FORMATS, 2011)

On computer-aided design-space exploration for multi-cores. (Exploration de l'espace de design assistée par ordinateur pour les systèmes multi-coeurs). - Jean-Francois Kempf (2012)

As Soon as Probable: Optimal Scheduling under Stochastic Uncertainty. - Jean-Francois Kempf; Marius Bozga; Oded Maler (TACAS, 2013)

Formal and Informal Methods for Multi-Core Design Space Exploration. - Jean-Francois Kempf; Olivier Lebeltel; Oded Maler (QAPL, 2014)