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
Principles of Model Checking
TL;DR: Principles of Model Checking offers a comprehensive introduction to model checking that is not only a text suitable for classroom use but also a valuable reference for researchers and practitioners in the field.
Book
Principles of Model Checking (Representation and Mind Series)
TL;DR: Principles of Model Checking offers a comprehensive introduction to model checking that is not only a text suitable for classroom use but also a valuable reference for researchers and practitioners in the field.
BookDOI
Model-Based Testing of Reactive Systems, Advanced Lectures
TL;DR: This chapter discusses Model-Based Testing - A Glossary, which focuses on the development of model-Based Test Case Generation and its applications in I/O-automata Based Testing.
Book ChapterDOI
A Storm is Coming: A Modern Probabilistic Model Checker
TL;DR: The new probabilistic model checker Storm features the analysis of discrete- and continuous-time variants of both Markov chains and MDPs and offers a Python API for rapid prototyping by encapsulating Storm’s fast and scalable algorithms.
Journal ArticleDOI
The ins and outs of the probabilistic model checker MRMC
TL;DR: The Markov Reward Model Checker is a software tool for verifying properties over probabilistic models that supports PCTL and CSL model checking, and their reward extensions.