2010
| Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Holger Hermanns, and Joost-Pieter Katoen. Performability Assessment by Model Checking of Markov Reward Models. Formal Methods in Systems Design, , 2010. |
2005
|
| Lucia Cloth, Joost-Pieter Katoen, Maneesh Khattri, and Reza Pulungan. Model checking Markov reward models with impulse rewards. In Proceedings of the 2005 International Conference on Dependable Systems and Networks (DSN 2005), pages 722–731. IEEE Computer Society, 2005. |
2002
|
| Boudewijn R. Haverkort, Lucia Cloth, Holger Hermanns, Joost-Pieter Katoen, and Christel Baier. Model checking performability properties. In Dependable Systems and Networks (DSN). pages 103–113. IEEE CS Press, 2002. |
2001
|
| Lucia Cloth, Henrik Bohnenkamp, and Boudewijn R. Haverkort. Using Max-Plus Algebra for the Evaluation of Stochastic Process Algebra Prefixes. In Luca de Alfaro, and Stephen Gilmore, editors, Process Algebra and Probabilistic Methods (PAPM-ProbmiV 2001), Volume 2165 of Lecture Notes in Computer Science. Springer Verlag, 2001. |
