Travelled to:1 × France
1 × Italy
Collaborated with:O.Maler O.Lebeltel M.Bozga
Talks about:uncertainti (1) stochast (1) schedul (1) probabl (1) method (1) inform (1) formal (1) explor (1) design (1) under (1)
Person: Jean-Francois Kempf
DBLP: Kempf:Jean=Francois
Contributed to:
2014
2013Wrote 2 papers:
- QAPL-2014-KempfLM #design #formal method #manycore
- Formal and Informal Methods for Multi-Core Design Space Exploration (JFK, OL, OM), pp. 78–92.
- TACAS-2013-KempfBM #nondeterminism #probability #scheduling
- As Soon as Probable: Optimal Scheduling under Stochastic Uncertainty (JFK, MB, OM), pp. 385–400.