EEMCS

Han, Tingting and Katoen, J.P. and Damman, B. (2009) Counterexample Generation in Probabilistic Model Checking. IEEE Transactions on Software Engineering, 35 (2). pp. 241-257. ISSN 0098-5589 *** ISI Impact 2,216 ***

Damman, B. and Han, Tingting and Katoen, J.P. (2008) Regular Expressions for PCTL Counterexamples. In: Proceedings of the 5th International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 14-17 Sept 2008, Saint Malo, France. pp. 179-188. IEEE Computer Society. ISBN 978-0-7695-3360-5