J
Joost-Pieter Katoen
Researcher at RWTH Aachen University
Publications - 488
Citations - 20723
Joost-Pieter Katoen is an academic researcher from RWTH Aachen University. The author has contributed to research in topics: Probabilistic logic & Markov chain. The author has an hindex of 63, co-authored 461 publications receiving 19043 citations. Previous affiliations of Joost-Pieter Katoen include University of Erlangen-Nuremberg & University of Twente.
Papers
More filters
Book ChapterDOI
Weakest Precondition Reasoning for Expected Run---Times of Probabilistic Programs
TL;DR: This paper presents a wp---style calculus for obtaining bounds on the expected run---time of probabilistic programs, and shows that the approach is a conservative extension of Nielson's approach for reasoning about the run--- time of deterministic programs.
Book ChapterDOI
On the Logical Characterisation of Performability Properties
TL;DR: It is argued that this logic is adequate for expressing performability measures of a large variety and implies that reward-based properties expressed in CRL for a particular Markov reward model can be interpreted as CSL properties over a derived continuous-time Markov chain, so that model checking procedures for CSL can be employed.
Journal Article
Model-Based Testing of Reactive Systems, Advanced Lectures
TL;DR: In this paper, the authors present a glossary of model-based test case generation algorithms based on preorder relations and I/O-automata based testing for finite state machines.
Book ChapterDOI
A Markov Chain Model Checker
TL;DR: A prototype model checker for discrete and continuous-time Markov chains, the Erlangen-Twente Markov Chain Checker (E ⊢ MC2), where properties are expressed in appropriate extensions of CTL, is described.
Book ChapterDOI
Three-valued abstraction for continuous-time Markov chains
TL;DR: It is shown that this provides a conservative abstraction for both true and false for a three-valued semantics of the branching-time logic CSL (Continuous Stochastic Logic).