Research output per year
Research output per year
Search results
-
2023
Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings
Chechik, M. (Editor), Katoen, J.-P. (Editor) & Leucker, M. (Editor), 1 Mar 2023, 1 ed. Cham: Springer. 259 p. (Lecture Notes in Computer Science; vol. 14000)Research output: Book/Report › Book editing › Academic
-
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/Report › Book editing › Academic
Open AccessFile307 Downloads (Pure) -
2005
Model-Based Testing of Reactive Systems: Advanced Lectures
Broy, M. (Editor), Jonsson, B., Katoen, J.-P. (Editor), Leucker, M. & Pretschner, A., 2005, Berlin, Heidelberg: Springer. 616 p. (Lecture Notes in Computer Science; vol. 3472)Research output: Book/Report › Book editing › Academic
Open AccessFile159 Downloads (Pure) -
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. 360 p.Research output: Book/Report › Book editing › Academic
-
Validation of Stochastic Systems: A Guide to Current Research
Baier, C. (Editor), Haverkort, B. R. (Editor), Hermanns, H. (Editor), Katoen, R. (Editor) & Siegle, M. (Editor), 2004, Berlin: Springer. 467 p. (Lecture Notes in Computer Science; vol. 2925)Research output: Book/Report › Book editing › Academic
Open AccessFile73 Downloads (Pure) -
2002
Tools and Algorithms for the Construction and Analysis of Systems
Katoen, J. P. (Editor) & Stevens, P. (Editor), 2002, Berlin: Springer. 451 p. (Lecture Notes in Computer Science; vol. 2280)Research output: Book/Report › Book editing › Academic
-
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. (Editor), Hermanns, H. (Editor) & Katoen, J. P. (Editor), Aug 2001, Berlin: Springer. 430 p. (Lecture Notes in Computer Science; vol. 2090)Research output: Book/Report › Book editing › Academic
File171 Downloads (Pure) -
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. (Editor), 1999, Berlijn: Springer. 355 p. (Lecture notes in computer science; vol. 1601)Research output: Book/Report › Book editing › Academic