No photo of Joost P. Katoen

Joost P. Katoen

prof.dr.ir.

1992 …2018
If you made any changes in Pure these will be visible here soon.

Research Output 1992 2018

Filter
Book editing
2017

ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday

Katoen, J-P., Langerak, R. & Rensink, A. 2017 Springer. 390 p. (Lecture Notes in Computer Science; vol. 10500)

Research output: Book/ReportBook editing

Open Access
File
Birthday
Formal Methods
Festschrift
Mathematics
Language Modeling
2005

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: Book/ReportBook editing

File
2004

QEST 2004: First International Conference on the Quantitative Evaluation of Systems: Proceedings

Haverkort, B. R. H. M., Franceschinis, G., Katoen, J. P. & Woodside, M. 2004 Los Alamitos, CA, USA: IEEE Computer Society. 360 p.

Research output: Book/ReportBook editing

Validation of stochastic systems

Baier, C., Haverkort, B. R. H. M., Hermanns, H., Katoen, J. P. & Siegle, M. 2004 Berlin: Springer. 467 p. (Lecture notes in computer science; no. 2925)

Research output: Book/ReportBook editing

2002

Tools and Algorithms for the Construction and Analysis of Systems

Katoen, J. P. (ed.) & Stevens, P. (ed.) 2002 Berlin: Springer Verlag. 451 p. (Lecture Notes in Computer Science; vol. 2280)

Research output: Book/ReportBook editing

2001
File
1999