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
Journal ArticleDOI
Weakest Precondition Reasoning for Expected Runtimes of Randomized Algorithms
TL;DR: This article presents a wp--style calculus for obtaining bounds on the expected runtime of randomized algorithms, and shows that the approach is a conservative extension of Nielson’s approach for reasoning about the runtime of deterministic programs.
Book ChapterDOI
MoDeST - A Modelling and Description Language for Stochastic Timed Systems
TL;DR: The language combines conventional programming constructs - such as iteration, alternatives, atomic statements, and exception handling - with means to describe complex systems in a compositional manner and possesses a rigid, process-algebra style semantics.
Book ChapterDOI
How fast and fat is your probabilistic model checker? an experimental performance comparison
TL;DR: In this article, the efficiency of several probabilistic model checkers by comparing verification times and peak memory usage for a set of standard case studies was studied, including ETMCC, MRMC, PRISM (sparse and hybrid mode), YMER and VESTA.
Journal ArticleDOI
Design and analysis of dynamic leader election protocols in broadcast networks
TL;DR: In this paper, a leader election protocol in a dynamic context is presented. But the protocol is not considered in this paper, it is assumed that a leader is present in the initial design process and the assumption of an initial leader is dropped.
Journal ArticleDOI
Model checking mobile stochastic logic
TL;DR: MoSL^+ is presented, an extension of MoSL, which incorporates some basic features of the Modal Logic for MObility (MoMo), a logic specifically designed for dealing with resource management and mobility aspects of concurrent behaviours.