Joost-Pieter Katoen

Cited by

	All	Since 2016
Citations	21828	8536
h-index	68	39
i10-index	194	114

1800

900

450

1350

199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021108 91 164 184 279 360 421 415 544 586 617 871 1050 1232 1280 1446 1568 1618 1550 1538 1694 1726 1566 457

Public access

View all

72 articles

5 articles

available

not available

Based on funding mandates

Co-authors

Holger HermannsProfessor of Computer Science, Saarland University, Saarland Informatics CampusVerified email at cs.uni-saarland.de
Christel BaierTU DresdenVerified email at tu-dresden.de
Nils JansenAssistant Professor, Radboud University NijmegenVerified email at science.ru.nl
Sebastian JungesPostDoc at the University of California, BerkeleyVerified email at berkeley.edu
Boudewijn R. HaverkortDean, Tilburg School of Humanities & Digital Sciences, Tilburg UniversityVerified email at uvt.nl
Benjamin Lucien KaminskiLecturer, University College LondonVerified email at ucl.ac.uk
Pedro R. D'ArgenioFaMAF, Universidad Nacional de Córdoba - CONICETVerified email at famaf.unc.edu.ar
Martin LeuckerProfessor of Computer Science, University of LübeckVerified email at isp.uni-luebeck.de
Erika AbrahamProfessor, Computer Science Department, RWTH Aachen UniversityVerified email at cs.rwth-aachen.de
Ralf WimmerAlbert-Ludwigs-Universität Freiburg, Germany and Concept Engineering GmbH, Freiburg, GermanyVerified email at informatik.uni-freiburg.de
Diego LatellaSenior Researcher - CNR-ISTI (Pisa)Verified email at cnr.it
Bernd BeckerProfessor of Computer Science, University of FreiburgVerified email at informatik.uni-freiburg.de
Matthias VolkPhD Student at RWTH Aachen UniversityVerified email at cs.rwth-aachen.de
Thomas NollRWTH Aachen UniversityVerified email at cs.rwth-aachen.de
Ed BrinksmaHoogleraar informatica, Universiteit TwenteVerified email at utwente.nl
Viet Yen NguyenCTO at HypefactorsVerified email at hypefactors.com
Alessandro CimattiHead of Unit, Fondazione Bruno KesslerVerified email at fbk.eu
Marco BozzanoFondazione Bruno KesslerVerified email at fbk.eu
Christian DehnertRWTH Aachen UniversityVerified email at cs.rwth-aachen.de
Alexandru MereacreNquiringminds LtdVerified email at nquiringminds.com

Joost-Pieter Katoen

Distinguished Professor of Computer Science, RWTH Aachen University and University of Twente

Verified email at cs.rwth-aachen.de - Homepage

formal methods model checking concurrency theory probabilistic programming program verification


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Principles of Model Checking C Baier, JP Katoen The MIT Press, 2008	6129	2008
Lectures on Formal Methods and Performance Analysis E Brinksma, H Hermanns, JP Katoen Springer, 2001	1121*	2001
Model-checking algorithms for continuous-time Markov chains C Baier, B Haverkort, H Hermanns, JP Katoen IEEE Transactions on Software Engineering 29 (6), 524-541, 2003	941	2003
Model-Based Testing of Reactive Systems: Advanced Lectures M Broy, B Jonsson, JP Katoen, M Leucker, A Pretschner Springer, 2005	843*	2005
Validation of Stochastic Systems: A Guide to Current Research C Baier, B Haverkort, H Hermanns, JP Katoen, M Siegle Springer, LNCS, 2004	615*	2004
The ins and outs of the probabilistic model checker MRMC JP Katoen, IS Zapreev, EM Hahn, H Hermanns, DN Jansen Performance Evaluation 68 (2), 90-104, 2011	405	2011
Approximative symbolic model checking of continuous-time Markov chains C Baier, JP Katoen, H Hermanns Concurrency Theory (CONCUR), 146-161, 1999	348	1999
Process algebra for performance evaluation H Hermanns, U Herzog, JP Katoen Theoretical Computer Science 274 (1), 43-87, 2002	330	2002
A storm is coming: A modern probabilistic model checker C Dehnert, S Junges, JP Katoen, M Volk Computer Aided Verification (CAV), 592-600, 2017	284	2017
A Markov reward model checker JP Katoen, M Khattri, IS Zapreev Quantitative Evaluation of Systems (QEST), 243-244, 2005	282	2005
Safety, dependability and performance analysis of extended AADL models M Bozzano, A Cimatti, JP Katoen, VY Nguyen, T Noll, M Roveri The Computer Journal 54 (5), 754-775, 2011	232	2011
Model checking continuous-time Markov chains by transient analysis C Baier, B Haverkort, H Hermanns, JP Katoen Computer Aided Verification (CAV), 358-372, 2000	217	2000
Comparative branching-time semantics for Markov chains C Baier, JP Katoen, H Hermanns, V Wolf Information and Computation 200 (2), 149-214, 2005	205	2005
The bounded retransmission protocol must be on time! PR D'Argenio, JP Katoen, TC Ruys, J Tretmans Tools and Algorithms for the Construction and Analysis of Systems (TACAS …, 1997	197*	1997
MoDeST: A compositional modeling formalism for hard and softly timed systems H Bohnenkamp, PR D'Argenio, H Hermanns, JP Katoen IEEE Transactions on Software Engineering 32 (10), 812-830, 2006	188	2006
Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes C Baier, H Hermanns, JP Katoen, BR Haverkort Theoretical Computer Science 345 (1), 2-26, 2005	184	2005
Approximate model checking of stochastic hybrid systems A Abate, JP Katoen, J Lygeros, M Prandini European Journal of Control 16 (6), 624-641, 2010	175	2010
Discrete-time rewards model-checked S Andova, H Hermanns, JP Katoen Formal Modeling and Analysis of Timed Systems (FORMATS), 88-104, 2004	165	2004
A Markov chain model checker H Hermanns, JP Katoen, J Meyer-Kayser, M Siegle Tools and Algorithms for the Construction and Analysis of Systems (TACAS …, 2000	160*	2000
Concepts, algorithms, and tools for model checking JP Katoen IMMD, University of Erlangen-Nürnberg, 1999	160	1999

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors