Jean-Francois Kempf

Publication Activity (10 Years)

Years Active: 2011-2014
Publications (10 Years): 0

Top Topics

Design Space Exploration

Stochastic Simulation

Uncertain Information

Optimal Scheduling

Top Venues

Grenoble Alpes University, France (PHD)

Education History

Grenoble Alpes University, France

PHD

Publications

Jean-Francois Kempf, Olivier Lebeltel, Oded Maler
Formal and Informal Methods for Multi-Core Design Space Exploration. QAPL (2014)
Jean-Francois Kempf, Marius Bozga, Oded Maler
As Soon as Probable: Optimal Scheduling under Stochastic Uncertainty. TACAS (2013)
Jean-Francois Kempf, Marius Bozga, Oded Maler
Performance Evaluation of Schedulers in a Probabilistic Setting. FORMATS (2011)