Joost-Pieter Katoen

• CONCUR 2011 – Concurrency Theory
• Formal Methods for Real-Time and Probabilistic Systems
• ModelEd, TestEd, TrustEd
• Validation of stochastic systems
• Dependable Software Engineering. Theories, Tools, and Applications
• Formal Methods
• Foundations of Probabilistic Programming
• Lectures on Formal Methods and Performance Analysis
• Model-Based Testing of Reactive Systems
• Tools and Algorithms for the Construction and Analysis of Systems