Performance Evaluation of Schedulers in a Probabilistic Setting

Jean-Francois Kempf, Marius Bozga, Oded Maler. Performance Evaluation of Schedulers in a Probabilistic Setting. In Uli Fahrenberg, Stavros Tripakis, editors, Formal Modeling and Analysis of Timed Systems - 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings. Volume 6919 of Lecture Notes in Computer Science, pages 1-17, Springer, 2011. [doi]

Authors

Jean-Francois Kempf

This author has not been identified. Look up 'Jean-Francois Kempf' in Google

Marius Bozga

This author has not been identified. Look up 'Marius Bozga' in Google

Oded Maler

This author has not been identified. Look up 'Oded Maler' in Google