Joost-Pieter Katoen - Böcker

Principles of Model Checking

Foundations of Probabilistic Programming

Dependable Software Engineering. Theories, Tools, and Applications

5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings

Formal Methods

25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings

ModelEd, TestEd, TrustEd

Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday

Validation of Stochastic Systems

A Guide to Current Research

Model-Based Testing of Reactive Systems

Advanced Lectures

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

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