Joost-Pieter Katoen

Model-checking algorithms for continuous-time markov chains

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

Model Checking Problem, Engineering, Automated Reasoning +15

The ins and outs of the probabilistic model checker MRMC

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

Engineering, Uncertainty Quantification, Automated Reasoning +10

Process algebra for performance evaluation

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

Engineering, Program Analysis, Process Control +8

A Markov reward model checker

Joost-Pieter Katoen, M. Khattri, I.S. Zapreevt · 2005 · 243 citations

Artificial Intelligence, Mathematical Programming, Engineering +19

Safety, Dependability and Performance Analysis of Extended AADL Models

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

Engineering, Safety Science, Software Engineering +26