Jean-Francois Kempf

On computer-aided design-space exploration for multi-cores

Jean-Francois Kempf, J. Kempf, 2012 .

Formal and Informal Methods for Multi-Core Design Space Exploration

Oded Maler, Jean-Francois Kempf, Olivier Lebeltel, 2014, QAPL.

As Soon as Probable: Optimal Scheduling under Stochastic Uncertainty

Oded Maler, Marius Bozga, Jean-Francois Kempf, 2013, TACAS.

Performance Evaluation of Schedulers in a Probabilistic Setting

Oded Maler, Marius Bozga, Jean-Francois Kempf, 2011, FORMATS.

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 .