!!Joost-Pieter Katoen - Publications
\\
Joost-Pieter Katoen has published 50 articles in peer-reviewed journals and more than 150 papers in peer-reviewed international conferences.   According to Google Scholar, he has an h-index of 39 and an h-index of 29 for his publications since 2008. In total, his work received  6750 citations (source: Google scholar).  According to Microsoft Academic Research, Katoen is ranked third in the list of computer scientists in the world with most publications in model checking (behind Edmund Clarke and Moshe Vardi). \\
Harzing's P+P gives h=36.\\
\\
__Major publications include:__\\
\\
Christel Baier and Joost-Pieter Katoen. Principles of Model Checking, MIT Press, 2008, 993 pages. (Almost 1,000 citations; according to the sales rank of Amazon the best-seller book on this topic; the book has been adopted by more than 80 universities world wide for courses on verification and model checking.)\\
\\
Joost-Pieter Katoen, Daniel Klink, Martin Leucker, and Verena Wolf. Three-Valued Abstraction for Probabilistic Systems. Journal on Logic and Algebraic Programming, 81(4):356–389, 2012. (Recent journal paper based on a.o. a CONCUR'07 paper that received 74 citations).\\
\\
Taolue Chen, Tingting Han, Joost-Pieter Katoen, and Alexandru Mereacre. Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications. Logical Methods in Computer Science, 7(1-2):1–34, 2011. (45 citations; first approach towards verifying linear real-time specifications on CTMCs, special issue on LICS 2009.)\\
\\
Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, and Marco Roveri. Safety, Dependability, and Performance Analysis of Extended AADL Models. The Computer Journal, 54(5):754–775, 2011.  (38 citations, presents a first formal semantics of AADL with error annex, together with a rich palette of rigorous analysis methods.)\\
\\
Alessandro Abate, Joost-Pieter Katoen, John Lygeros, and Maria Prandini. Approximate model checking of stochastic hybrid systems. European Journal of Control, 16(6):624–641, 2010. (33 citations; one of the first approaches to model check discrete-time stochastic hybrid systems against probabilistic reachability and invariance properties.)\\
\\
Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, and Joost-Pieter Katoen. Performance Evaluation and Model Checking Join Forces. Communications of the ACM, 53(9):76–85, 2010. (25 citations; invited paper research perspective paper in CACM.)\\
\\
Joost-Pieter Katoen, Annabelle McIver, Larissa Meinicke, and Carroll Morgan. Linear-Invariant Generation for Probabilistic Programs. In Static Analysis Symposium (SAS). pages 390–406. Volume 6337 of LNCS. Springer-Verlag, 2010.  (initial approach towards automated loop inference for probabilistic programs.)\\
\\
Tingting Han, Joost-Pieter Katoen, and Berteun Damman. Counterexample Generation in Probabilistic Model Checking. IEEE Transactions on Software Engineering, 35(2):241–257, 2009. (68 citations; one of base papers on counterexample generation.)\\
\\
Pedro R. D’Argenio, and Joost-Pieter Katoen. A theory of stochastic systems. Part I: Stochastic automata and Part II: Process algebra. Information and Computation, 203(1):1–74, 2005. (38 citations)\\
\\
Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, and Joost-Pieter Katoen. Model-checking algorithms for continuous-time Markov chains. IEEE Transactions on Software Engineering, 29(6):524–541, 2003. (476 citations; first paper on algorithmic view on model checking a stochastic variant of CTL on CTMCs.)