Concepedia

Joost-Pieter Katoen

JK

Statistics

Publications

136

Citations

6.8K

H-Index

43

Active since

1989

Affiliations

RWTH Aachen University(Current)

University of Twente

Saarland University

Friedrich-Alexander-Universität Erlangen-Nürnberg

Radboud University Nijmegen

Joost-Pieter Katoen is an author at RWTH Aachen University specializing in computer science, computing, and formal methods.

Publications per year

1989–2024

136

Publications

136

Model-checking algorithms for continuous-time markov chains

Christel Baier, Boudewijn R. Haverkort, Holger Hermanns et al. · IEEE Transactions on Software Engineering · 2003 · 770 citations

Engineering, Computer Engineering, Computer Science +17

The ins and outs of the probabilistic model checker MRMC

Joost-Pieter Katoen, Ivan S. Zapreev, Ernst Moritz Hahn et al. · Performance Evaluation · 2010 · 250 citations

Computing, Computer Science, Formal Methods +14

Process algebra for performance evaluation

Holger Hermanns, Ulrich Herzog, Joost-Pieter Katoen · Theoretical Computer Science · 2002 · 245 citations

Business, Computer Science, Systems Engineering +8

A Markov reward model checker

Joost-Pieter Katoen, M. Khattri, I.S. Zapreevt · 2005 · 245 citations · Full text

Computing, Computer Science, Formal Methods +9

Safety, Dependability and Performance Analysis of Extended AADL Models

Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen et al. · The Computer Journal · 2010 · 216 citations

Engineering, Aerospace Engineering, Computer Science +17

1–5 of 136