Jean-Francois Kempf

According to our database, Jean-Francois Kempf authored at least 4 papers between 2011 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

Formal and Informal Methods for Multi-Core Design Space Exploration.

Jean-Francois Kempf, Olivier Lebeltel, Oded Maler

Proceedings of the Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems, 2014

2013

As Soon as Probable: Optimal Scheduling under Stochastic Uncertainty.

Jean-Francois Kempf, Marius Bozga, Oded Maler

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

2012

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

PhD thesis, 2012

2011

Performance Evaluation of Schedulers in a Probabilistic Setting.

Jean-Francois Kempf, Marius Bozga, Oded Maler

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2011