J
Joost-Pieter Katoen
10 works on record
Works

CONCUR 2011 – Concurrency Theory

Formal Methods for Real-Time and Probabilistic Systems

Validation of stochastic systems

ModelEd, TestEd, TrustEd

Foundations of Probabilistic Programming
Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems
Dependable Software Engineering. Theories, Tools, and Applications
Dependable Software Engineering. Theories, Tools, and Applications
Lectures on Formal Methods and Performance Analysis
Lectures on Formal Methods and Performance Analysis
Model-Based Testing of Reactive Systems
Model-Based Testing of Reactive Systems
Formal Methods
Formal Methods