Research Output 1992 2018


Principles of Model Checking

Baier, C. & Katoen, J. P. May 2008 New York: MIT Press. 965 p.

Research output: ScientificBook


Model-Based Testing of Reactive Systems, Advanced Lectures

Broy, M. (ed.), Jonsson, B., Katoen, J. P. (ed.), Leucker, M. & Pretschner, A. 2005 Berlin: Springer Verlag. (Lecture Notes in Computer Science; vol. 3472)

Research output: ScientificBook


Validation of Stochastic Systems

Baier, C. (ed.), Haverkort, B. R. H. M. (ed.), Katoen, J. P. (ed.), Hermanns, H. (ed.) & Siegle, M. 2004 Berlin, Germany: Springer Verlag. 467 p. (Lecture Notes in Computer Science; vol. 2925)

Research output: ScientificBook


Tools and Algerithms for the Construction and Analysis of Systems

Katoen, J. P. & Stevens, P. 2002 Grenoble, France: Springer Verlag. 451 p. (Lecture Notes in Computer Science; no. 2280)

Research output: ScientificBook