Joost-Pieter Katoen

Cited by

	All	Since 2018
Citations	26670	10099
h-index	74	40
i10-index	228	139

1900

950

475

1425

19981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023114 96 162 173 292 375 422 434 551 584 627 873 1048 1197 1293 1448 1569 1686 1577 1585 1726 1735 1669 1794 1810 1363

Public access

View all

120 articles

2 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
Sebastian JungesAssistant Professor, Radboud University, NijmegenVerified email at ru.nl
Nils JansenAssociate Professor, Radboud University NijmegenVerified email at science.ru.nl
Benjamin Lucien KaminskiProfessor of Computer Science at Saarland University and Lecturer at University College LondonVerified email at cs.uni-saarland.de
Boudewijn R. HaverkortDean, Tilburg School of Humanities & Digital Sciences, Tilburg UniversityVerified email at uvt.nl
Matthias VolkUniversity of TwenteVerified email at utwente.nl
Pedro R. D'ArgenioFaMAF, Universidad Nacional de Córdoba - CONICETVerified email at famaf.unc.edu.ar
Erika AbrahamProfessor, Computer Science Department, RWTH Aachen UniversityVerified email at cs.rwth-aachen.de
Martin LeuckerProfessor of Computer Science, University of LübeckVerified email at isp.uni-luebeck.de
Christoph MathejaAssistant Professor, Technical University of Denmark (DTU)Verified email at dtu.dk
Ralf WimmerAlbert-Ludwigs-Universität Freiburg, Germany and Altair Engineering GmbH, Böblingen, GermanyVerified email at informatik.uni-freiburg.de
Diego LatellaSenior Researcher - CNR-ISTI (Pisa)Verified email at cnr.it
Thomas NollRWTH Aachen UniversityVerified email at cs.rwth-aachen.de
Christian DehnertRWTH Aachen UniversityVerified email at cs.rwth-aachen.de
Ed BrinksmaHoogleraar informatica, Universiteit TwenteVerified email at utwente.nl
Bernd BeckerProfessor of Computer Science, University of FreiburgVerified email at informatik.uni-freiburg.de
Tim QuatmannPhD Student at RWTH Aachen UniversityVerified email at cs.rwth-aachen.de
Viet Yen NguyenCTO at HypefactorsVerified email at hypefactors.com
Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteVerified email at utwente.nl

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	7816	2008
Lectures on Formal Methods and Performance Analysis E Brinksma, H Hermanns, JP Katoen Springer, 2001	1219*	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	1021	2003
Model-Based Testing of Reactive Systems: Advanced Lectures M Broy, B Jonsson, JP Katoen, M Leucker, A Pretschner Springer, 2005	961*	2005
Validation of Stochastic Systems: A Guide to Current Research C Baier, B Haverkort, H Hermanns, JP Katoen, M Siegle Springer, LNCS, 2004	671*	2004
A storm is coming: A modern probabilistic model checker C Dehnert, S Junges, JP Katoen, M Volk Computer Aided Verification (CAV), 592-600, 2017	488	2017
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	443	2011
Approximative symbolic model checking of continuous-time Markov chains C Baier, JP Katoen, H Hermanns Concurrency Theory (CONCUR), 146-161, 1999	361	1999
Process algebra for performance evaluation H Hermanns, U Herzog, JP Katoen Theoretical Computer Science 274 (1), 43-87, 2002	356	2002
A Markov reward model checker JP Katoen, M Khattri, IS Zapreev Quantitative Evaluation of Systems (QEST), 243-244, 2005	310	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	253	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	232	2000
Comparative branching-time semantics for Markov chains C Baier, JP Katoen, H Hermanns, V Wolf Information and Computation 200 (2), 149-214, 2005	225	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	211*	1997
Approximate model checking of stochastic hybrid systems A Abate, JP Katoen, J Lygeros, M Prandini European Journal of Control 16 (6), 624-641, 2010	210	2010
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	205	2006
Discrete-time rewards model-checked S Andova, H Hermanns, JP Katoen Formal Modeling and Analysis of Timed Systems (FORMATS), 88-104, 2004	194	2004
Weakest precondition reasoning for expected runtimes of randomized algorithms BL Kaminski, JP Katoen, C Matheja, F Olmedo Journal of the ACM 65 (5), 30, 2018	187*	2018
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	183	2005
Concepts, algorithms, and tools for model checking JP Katoen IMMD, University of Erlangen-Nürnberg, 1999	181*	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

Follow

Cited by

Co-authors