Joost-Pieter Katoen

Joost-Pieter Katoen

4 books in the database

Books

CONCUR 2011 – Concurrency TheoryJoost-Pieter Katoen

CONCUR 2011 – Concurrency Theory

Joost-Pieter Katoen · 2011

Formal Methods for Real-Time and Probabilistic SystemsJoost-Pieter Katoen

Formal Methods for Real-Time and Probabilistic Systems

Joost-Pieter Katoen · 1999

ModelEd, TestEd, TrustEdJoost-Pieter Katoen

ModelEd, TestEd, TrustEd

Joost-Pieter Katoen · 2017

Tools and Algorithms for the Construction and Analysis of SystemsJoost-Pieter Katoen

Tools and Algorithms for the Construction and Analysis of Systems

Joost-Pieter Katoen · 2003

Co-authored books and collections

Books that list Joost-Pieter Katoen among their authors but not as the lead author: co-written works, collections and compilations.

Validation of stochastic systemsChristel Baier

Validation of stochastic systems

Christel Baier · 2004

Dependable Software Engineering. Theories, Tools, and ApplicationsNan Guan

Dependable Software Engineering. Theories, Tools, and Applications

Nan Guan · 2023

Formal MethodsMarsha Chechik

Marsha Chechik · 2023

Foundations of Probabilistic ProgrammingGilles Barthe

Foundations of Probabilistic Programming

Gilles Barthe · 2020

Model-Based Testing of Reactive SystemsManfred Broy

Model-Based Testing of Reactive Systems

Manfred Broy · 2005

Lectures on Formal Methods and Performance AnalysisEd Brinksma

Lectures on Formal Methods and Performance Analysis

Ed Brinksma · 2003