BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Kempf:Jean=Francois

Contributed to:

QAPL 20142014
TACAS 20132013

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.