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: ScientificBook editing

Formal methods
Terminology
Computer science
Dynamical systems
Semantics
2005

Model-Based Testing of Reactive Systems, Advanced Lectures

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

Research output: ScientificBook editing

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: ScientificBook editing

First International
conference
system

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: ScientificBook 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: ScientificBook editing

2001
Formal methods
1999
Formal methods