| 2009 |
|---|
| 3 | EE | Mark Kattenbelt,
Marta Z. Kwiatkowska,
Gethin Norman,
David Parker:
Abstraction Refinement for Probabilistic Software.
VMCAI 2009: 182-197 |
| 2008 |
|---|
| 2 | EE | Mark Kattenbelt,
Marta Z. Kwiatkowska,
Gethin Norman,
David Parker:
Game-Based Probabilistic Predicate Abstraction in PRISM.
Electr. Notes Theor. Comput. Sci. 220(3): 5-21 (2008) |
| 2007 |
|---|
| 1 | EE | Lucia Cloth,
Pepijn Crouzen,
Matthias Fruth,
Tingting Han,
David N. Jansen,
Mark Kattenbelt,
Gerard J. M. Smit,
Lijun Zhang:
07101 Working Group Report -- Performance Measures Other Than Time.
Quantitative Aspects of Embedded Systems 2007 |
