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
Model-Based Testing of Reactive Systems, Advanced Lectures [The volume is the outcome of a research seminar that was held in Schloss Dagstuhl in January 2004]
TL;DR: In this article, 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
Fault Trees on a Diet
TL;DR: The key idea is to interpret DFTs as directed graphs and exploit graph rewriting to simplify them, and present a collection of rewrite rules, address their correctness, and give a simple heuristic to determine the order of rewriting.
Validation of Stochastic Systems : A Guide to Current Research
TL;DR: In this paper, a model checking of stochastic systems is presented for the verification of Probabilistic Lossy Channel Systems. But the model checking is based on state space analysis.
Book ChapterDOI
Providing evidence of likely being on time: counterexample generation for CTMC model checking
Tingting Han,Joost-Pieter Katoen +1 more
TL;DR: This paper considers the problem of generating counterexamples for continuous-time Markov chains and proposes a set of approximate algorithms for computing small sets of paths that indicate the violation of time-bounded (constrained) reachability probabilities.
Journal ArticleDOI
A Consistent Causality-Based View on a Timed Process AlgebraIncluding Urgent Interactions
TL;DR: In this paper, a timed variant of a process algebra akin to LOTOS, baptized UPA, is discussed in a causality-based setting, where two timed features are incorporated: a delay function which constrains the occurrence time of atomic actions and an urgency operator that forces (local or synchronized) actions to happen urgently.