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
42 Downloads (Pure)

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
15 Downloads (Pure)

Model-Based Testing of Reactive Systems: Advanced Lectures

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

Research output: Book/ReportBook editingAcademic

Open Access
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. 451 p. (Lecture Notes in Computer Science; vol. 2280)

Research output: Book/ReportBook editingAcademic

2001
39 Downloads (Pure)

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. 355 p. (Lecture notes in computer science; vol. 1601)

Research output: Book/ReportBook editingAcademic