Joost-Pieter Katoen profile picture

Joost-Pieter Katoen

CONCUR 2011 – Concurrency Theory
Formal Methods for Real-Time and Probabilistic Systems
Dependable Software Engineering. Theories, Tools, and Applications 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings
ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
ModelEd, TestEd, TrustEd
Foundations of Probabilistic Programming
Tools and Algorithms for the Construction and Analysis of Systems 8th International Conference, TACAS 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002. Proceedings
Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings
Lectures on Formal Methods and Performance Analysis First EEF/Euro Summer School on Trends in Computer Science Berg en Dal, The Netherlands, July 3-7, 2000. Revised Lectures
Model-Based Testing of Reactive Systems Advanced Lectures
Validation of Stochastic Systems A Guide to Current Research
Principles of Model Checking
Formal Methods
Foundations of Probabilistic Programming