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 editingAcademic

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 editingAcademic

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 editingAcademic

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 editingAcademic

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 editingAcademic

2001

Lectures on Formal Methods and Performance Analysis: First EEF/Euro Summer School on Trends in Computer Science Bergen Dal, The Netherlands, July 3–7, 2000 Revised Lectures

Brinksma, H. (ed.), Hermanns, H. (ed.) & Katoen, J. P. (ed.), Aug 2001, Berlin: Springer. 430 p. (Lecture Notes in Computer Science; vol. 2090)

Research output: Book/ReportBook editingAcademic

File
1999

Formal Methods for Real-Time and Probabilistic Systems: 5th International AMAST Workshop, ARTS’99 Bamberg, Germany, May 26–28, 1999 Proceedings

Katoen, J. P. (ed.), 1999, Berlijn: Springer Verlag. 355 p. (Lecture notes in computer science; vol. 1601)

Research output: Book/ReportBook editingAcademic