Edit Profile Katoen, Joost-Pieter Compute Distance To: Compute Author ID: katoen.joost-pieter Published as: Katoen, J. P.; Katoen, J.-P.; Katoen, Joost-Pieter Homepage: https://moves.rwth-aachen.de/people/katoen/ External Links: ORCID Documents Indexed: 133 Publications since 1989, including 10 Books Reviewing Activity: 14 Reviews all top 5 Co-Authors 3 single-authored 32 Hermanns, Holger 18 Baier, Christel 12 Kaminski, Benjamin Lucien 11 Jansen, Nils 10 Haverkort, Boudewijn R. 9 Junges, Sebastian 9 Mereacre, Alexandru 7 Han, Tingting 7 Matheja, Christoph 7 Stoelinga, Mariëlle 6 Abate, Alessandro 6 Ábrahám, Erika 6 Rensink, Arend 6 Wimmer, Ralf D. 6 Wolf, Verena 5 D’Argenio, Pedro Rubén 5 Dehnert, Christian 5 Leucker, Martin 5 Olmedo, Federico 4 Becker, Bernd 4 Chen, Taolue 4 Klink, Daniel 4 Latella, Diego 4 Sher, Falak 4 Timmer, Mark 3 Chakraborty, Souymodip 3 Distefano, Dino 3 Guck, Dennis 3 Hartmanns, Arnd 3 Massink, Mieke 3 Neuhäußer, Martin R. 3 Quatmann, Tim 3 Siegle, Markus 3 van de Pol, Jan Cornelis 2 Barthe, Gilles 2 Delahaye, Benoît 2 Fu, Hongfei 2 Gretz, Friedrich 2 Hahn, Ernst Moritz 2 Heinen, Jonathan 2 Jansen, Christina 2 Jansen, David N. 2 Klaren, Ric 2 Langerak, Rom 2 Larsen, Kim Guldstrand 2 Legay, Axel 2 McIver, Annabelle K. 2 Meyer-Kayser, Joachim 2 Noll, Thomas 2 Nymeyer, Albert 2 Pedersen, Mikkel Lykke 2 Silva, Alexandra 2 Tkachev, Ilya 2 Wąsowski, Andrzej 2 Zhang, Lijun 1 Andova, Suzana 1 Barbot, Benoît 1 Batz, Kevin 1 Bohnenkamp, Henrik C. 1 Bollig, Benedikt 1 Bošnački, Dragan 1 Bowman, Howard 1 Bravetti, Mario 1 Brázdil, Tomáš 1 Brinksma, Ed 1 Broy, Manfred 1 Brunekreef, Jacob 1 Buchholz, Peter 1 Cloth, Lucia 1 Cubuktepe, Murat 1 De Nicola, Rocco 1 D’Innocenzo, Alessandro 1 Eisentraut, Christian 1 Faconti, G. P. 1 Fränzle, Martin 1 Gerwinn, Sebastian 1 Guan, Nan 1 Hatefi, Hassan 1 Heggernes, Pinar 1 Hemerik, Cornelis 1 Hensel, Christian 1 Herzog, Ulrich 1 Huang, Mingzhang 1 Hutschenreiter, Lisa 1 Infante-Lopez, Gabriel G. 1 Jonsson, Bengt 1 Katelaan, Jens 1 Kemna, Tim 1 Kemper, Peter 1 Kern, Carsten 1 Kiefer, Stefan 1 Klein, Joachim 1 König, Barbara 1 Koymans, Ron 1 Kröger, Paul 1 Kucera, Antonin 1 Kwiatkowska, Marta Z. 1 Loreti, Michele 1 Lygeros, John 1 Mauw, Sjouke ...and 27 more Co-Authors all top 5 Serials 8 Theoretical Computer Science 7 Information and Computation 7 Lecture Notes in Computer Science 4 Formal Methods in System Design 3 Science of Computer Programming 3 Formal Aspects of Computing 3 Logical Methods in Computer Science 2 Acta Informatica 2 The Journal of Logic and Algebraic Programming 1 Information Processing Letters 1 Journal of Automated Reasoning 1 MSCS. Mathematical Structures in Computer Science 1 Distributed Computing 1 European Journal of Control 1 Journal of the ACM 1 LIPIcs – Leibniz International Proceedings in Informatics all top 5 Fields 130 Computer science (68-XX) 20 Probability theory and stochastic processes (60-XX) 8 General and overarching topics; collections (00-XX) 8 Mathematical logic and foundations (03-XX) 8 Operations research, mathematical programming (90-XX) 3 Systems theory; control (93-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Information and communication theory, circuits (94-XX) 1 Combinatorics (05-XX) 1 Integral equations (45-XX) 1 Biology and other natural sciences (92-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 101 Publications have been cited 806 times in 525 Documents Cited by ▼ Year ▼ Principles of model checking. Foreword by Kim Guldstrand Larsen. Zbl 1179.68076Baier, Christel; Katoen, Joost-Pieter 273 2008 Model checking continuous-time Markov chains by transient analysis. Zbl 0974.68017Baier, Christel; Haverkort, Boudewijn; Hermanns, Holger; Katoen, Joost-Pieter 39 2000 Comparative branching-time semantics for Markov chains. Zbl 1101.68053Baier, Christel; Katoen, Joost-Pieter; Hermanns, Holger; Wolf, Verena 25 2005 Process algebra for performance evaluation. Zbl 0992.68149Hermanns, Holger; Herzog, Ulrich; Katoen, Joost-Pieter 24 2002 Approximate symbolic model checking of continuous-time Markov chains. Zbl 0934.03044Baier, Christel; Katoen, Joost-Pieter; Hermanns, Holger 20 1999 Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes. Zbl 1081.90066Baier, Christel; Hermanns, Holger; Katoen, Joost-Pieter; Haverkort, Boudewijn R. 18 2005 Bisimulation minimisation mostly speeds up probabilistic model checking. Zbl 1186.68296Katoen, Joost-Pieter; Kemna, Tim; Zapreev, Ivan; Jansen, David N. 17 2007 Model-based testing of reactive systems. Advanced lectures. Zbl 1070.68088Broy, Manfred (ed.); Jonsson, Bengt (ed.); Katoen, Joost-Pieter (ed.); Leucker, Martin (ed.); Pretschner, Alexander (ed.) 17 2005 Three-valued abstraction for continuous-time Markov chains. Zbl 1135.68476Katoen, Joost-Pieter; Klink, Daniel; Leucker, Martin; Wolf, Verena 16 2007 Approximate model checking of stochastic hybrid systems. Zbl 1216.93091Abate, Alessandro; Katoen, Joost-Pieter; Lygeros, John; Prandini, Maria 11 2010 On the logical characterisation of performability properties. Zbl 0973.68014Baier, Christel; Haverkort, Boudewijn; Hermanns, Holger; Katoen, Joost-Pieter 11 2000 Automated compositional Markov chain generation for a plain-old telephone system. Zbl 0941.68649Hermanns, Holger; Katoen, Joost-Pieter 10 2000 Model checking of continuous-time Markov chains against timed automata specifications. Zbl 1233.68156Chen, Taolue; Han, Tingting; Katoen, Joost-Pieter; Mereacre, Alexandru 9 2011 Abstract probabilistic automata. Zbl 1317.68095Delahaye, Benoît; Katoen, Joost-Pieter; Larsen, Kim G.; Legay, Axel; Pedersen, Mikkel L.; Sher, Falak; Wąsowski, Andrzej 9 2011 Probabilistic weak simulation is decidable in polynomial time. Zbl 1183.68703Baier, Christel; Hermanns, Holger; Katoen, Joost-Pieter 9 2004 Faster and symbolic CTMC model checking. Zbl 1007.68517Katoen, Joost-Pieter; Kwiatkowska, Marta; Norman, Gethin; Parker, David 9 2001 A compositional modelling and analysis framework for stochastic hybrid systems. Zbl 1291.68293Hahn, Ernst Moritz; Hartmanns, Arnd; Hermanns, Holger; Katoen, Joost-Pieter 8 2013 Discrete-time rewards model-checked. Zbl 1099.68652Andova, Suzana; Hermanns, Holger; Katoen, Joost-Pieter 8 2004 Metric semantics for true concurrent real time. Zbl 0976.68103Katoen, J.-P.; Baier, C.; Latella, D. 8 2001 Weakest precondition reasoning for expected run-times of probabilistic programs. Zbl 1335.68058Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph; Olmedo, Federico 7 2016 On the hardness of almost-sure termination. Zbl 06482744Kaminski, Benjamin Lucien; Katoen, Joost-Pieter 7 2015 Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems. Zbl 1362.68189Tkachev, Ilya; Mereacre, Alexandru; Katoen, Joost-Pieter; Abate, Alessandro 7 2013 A semantics for every GSPN. Zbl 1381.68199Eisentraut, Christian; Hermanns, Holger; Katoen, Joost-Pieter; Zhang, Lijun 7 2013 Efficient CTMC model checking of linear real-time objectives. Zbl 1315.68174Barbot, Benoît; Chen, Taolue; Han, Tingting; Katoen, Joost-Pieter; Mereacre, Alexandru 7 2011 The how and why of interactive Markov chains. Zbl 1312.68152Hermanns, Holger; Katoen, Joost-Pieter 7 2010 Compositional abstraction for stochastic systems. Zbl 1262.68142Katoen, Joost-Pieter; Klink, Daniel; Neuhäußer, Martin R. 7 2009 A theory of stochastic systems. I: Stochastic automata. Zbl 1105.68061D’Argenio, Pedro R.; Katoen, Joost-Pieter 7 2005 Beyond memoryless distributions: model checking semi-Markov chains. Zbl 1007.68514Infante López, Gabriel G.; Hermanns, Holger; Katoen, Joost-Pieter 7 2001 Three-valued abstraction for probabilistic systems. Zbl 1277.68219Katoen, Joost-Pieter; Klink, Daniel; Leucker, Martin; Wolf, Verena 6 2012 Linear-invariant generation for probabilistic programs: automated support for proof-based methods. Zbl 1239.68020Katoen, Joost-Pieter; McIver, Annabelle K.; Meinicke, Larissa A.; Morgan, Carroll C. 6 2010 Delayed nondeterminism in continuous-time Markov decision processes. Zbl 1234.68320Neuhäußer, Martin R.; Stoelinga, Mariëlle; Katoen, Joost-Pieter 6 2009 Bisimulation and logical preservation for continuous-time Markov decision processes. Zbl 1151.68549Neuhäußer, Martin R.; Katoen, Joost-Pieter 6 2007 Counterexamples in probabilistic model checking. Zbl 1186.68293Han, Tingting; Katoen, Joost-Pieter 6 2007 A theory of stochastic systems. II: Process algebra. Zbl 1106.68073D’Argenio, Pedro R.; Katoen, Joost-Pieter 6 2005 On generative parallel composition. Zbl 0920.68078D’Argenio, Pedro R.; Hermanns, Holger; Katoen, Joost-Pieter 6 1998 Conditioning in probabilistic programming. Zbl 1351.68066Jansen, Nils; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Olmedo, Federico; Gretz, Friedrich; McIver, Annabelle 5 2015 SMT-based bisimulation minimisation of Markov models. Zbl 1426.68168Dehnert, Christian; Katoen, Joost-Pieter; Parker, David 5 2013 Robust PCTL model checking. Zbl 1361.68140D’Innocenzo, Alessandro; Abate, Alessandro; Katoen, Joost-Pieter 5 2012 Efficient modelling and generation of Markov automata. Zbl 1364.68295Timmer, Mark; Katoen, Joost-Pieter; van de Pol, Jaco; Stoelinga, Mariëlle I. A. 5 2012 YMCA: why Markov chain algebra? Zbl 1316.68088Bravetti, Mario; Hermanns, Holger; Katoen, Joost-Pieter 5 2006 Comparative branching-time semantics for Markov chains (extended abstract). Zbl 1274.68264Baier, Christel; Hermanns, Holger; Katoen, Joost-Pieter; Wolf, Verena 5 2003 Model-checking large structured Markov chains. Zbl 1048.68053Buchholz, Peter; Katoen, Joost-Pieter; Kemper, Peter; Tepper, Carsten 5 2003 Reasoning about recursive probabilistic programs. Zbl 1401.68048Olmedo, Federico; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph 4 2016 Understanding probabilistic programs. Zbl 1444.68045Katoen, Joost-Pieter; Gretz, Friedrich; Jansen, Nils; Kaminski, Benjamin Lucien; Olmedo, Federico 4 2015 Analysis of timed and long-run objectives for Markov automata. Zbl 1342.68135Guck, Dennis; Hatefi, Hassan; Hermanns, Holger; Katoen, Joost-Pieter; Timmer, Mark 4 2014 Weighted lumpability on Markov chains. Zbl 1336.68186Sharma, Arpit; Katoen, Joost-Pieter 4 2012 Quantitative automata model checking of autonomous stochastic hybrid systems. Zbl 1361.68130Abate, Alessandro; Katoen, Joost-Pieter; Mereacre, Alexandru 4 2011 Performability assessment by model checking of Markov reward models. Zbl 1209.68309Baier, Christel; Cloth, Lucia; Haverkort, Boudewijn R.; Hermanns, Holger; Katoen, Joost-Pieter 4 2010 A probabilistic extension of UML statecharts specification and verification. Zbl 1278.68226Jansen, David N.; Hermanns, Holger; Katoen, Joost-Pieter 4 2002 Simulation for continuous-time Markov chains. Zbl 1012.68526Baier, Christel; Katoen, Joost-Pieter; Hermanns, Holger; Haverkort, Boudewijn 4 2002 Automatic verification of a lip-synchronisation protocol using UPPAAL. Zbl 0951.68533Bowman, H.; Faconti, G.; Katoen, J.-P.; Latella, D.; Massink, M. 4 1998 Parameter synthesis for Markov models: faster than ever. Zbl 1398.68346Quatmann, Tim; Dehnert, Christian; Jansen, Nils; Junges, Sebastian; Katoen, Joost-Pieter 3 2016 The probabilistic model checking landscape. Zbl 1401.68201Katoen, Joost-Pieter 3 2016 Minimal critical subsystems for discrete-time Markov models. Zbl 1352.68167Wimmer, Ralf; Jansen, Nils; Ábrahám, Erika; Becker, Bernd; Katoen, Joost-Pieter 3 2012 A linear process-algebraic format with data for probabilistic automata. Zbl 1283.68246Katoen, Joost-Pieter; van de Pol, Jaco; Stoelinga, Mariëlle; Timmer, Mark 3 2012 Hierarchical counterexamples for discrete-time Markov chains. Zbl 1348.68139Jansen, Nils; Ábrahám, Erika; Katelaan, Jens; Wimmer, Ralf; Katoen, Joost-Pieter; Becker, Bernd 3 2011 Model checking HML on piecewise-constant inhomogeneous Markov chains. Zbl 1171.68550Katoen, Joost-Pieter; Mereacre, Alexandru 3 2008 Providing evidence of likely being on time: Counterexample generation for CTMC model checking. Zbl 1141.68470Han, Tingting; Katoen, Joost-Pieter 3 2007 Model checking mobile stochastic logic. Zbl 1159.68478De Nicola, Rocco; Katoen, Joost-Pieter; Latella, Diego; Loreti, Michele; Massink, Mieke 3 2007 Safety and liveness in concurrent pointer programs. Zbl 1196.68045Distefano, Dino; Katoen, Joost-Pieter; Rensink, Arend 3 2006 Validation of stochastic systems. A guide to current research. Zbl 1047.68001Baier, Christel (ed.); Haverkort, Boudewijn R. (ed.); Hermanns, Holger (ed.); Katoen, Joost-Pieter (ed.); Siegle, Markus (ed.) 3 2004 MoDeST — a modelling and description language for stochastic timed systems. Zbl 1007.68518D’Argenio, Pedro R.; Hermanns, Holger; Katoen, Joost-Pieter; Klaren, Ric 3 2001 First passage time analysis of stochastic process algebra using partial orders. Zbl 0978.68103Ruys, Theo C.; Langerak, Rom; Katoen, Joost-Pieter; Latella, Diego; Massink, Mieke 3 2001 A Markov chain model checker. Zbl 0960.68108Hermanns, Holger; Katoen, Joost-Pieter; Meyer-Kayser, Joachim; Siegle, Markus 3 2000 Bottom-up tree acceptors. Zbl 0687.68044Hemerik, C.; Katoen, J. P. 3 1989 On the hardness of analyzing probabilistic programs. Zbl 1417.68054Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph 2 2019 Multi-cost bounded reachability in MDP. Zbl 1423.68282Hartmanns, Arnd; Junges, Sebastian; Katoen, Joost-Pieter; Quatmann, Tim 2 2018 Bounded model checking for probabilistic programs. Zbl 1398.68343Jansen, Nils; Dehnert, Christian; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Westhofen, Lukas 2 2016 Deciding probabilistic simulation between probabilistic pushdown automata and finite-state systems. Zbl 1246.68144Fu, Hongfei; Katoen, Joost-Pieter 2 2011 LTL model checking of time-inhomogeneous Markov chains. Zbl 1262.68108Chen, Taolue; Han, Tingting; Katoen, Joost-Pieter; Mereacre, Alexandru 2 2009 Compositional modeling and minimization of time-inhomogeneous Markov chains. Zbl 1144.93379Han, Tingting; Katoen, Joost-Pieter; Mereacre, Alexandru 2 2008 Bisimulation and simulation relations for Markov chains. Zbl 1316.68085Baier, Christel; Hermanns, Holger; Katoen, Joost-Pieter; Wolf, Verena 2 2006 Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes. Zbl 1126.68467Baier, Christel; Haverkort, Boudewijn; Hermanns, Holger; Katoen, Joost-Pieter 2 2004 Who is pointing when to whom? On the automated verification of linked list structures. Zbl 1117.68427Distefano, Dino; Katoen, Joost-Pieter; Rensink, Arend 2 2004 Automated performance and dependability evaluation using model checking. Zbl 1017.68500Baier, Christel; Haverkort, Boudewijn; Hermanns, Holger; Katoen, Joost-Pieter 2 2002 On a temporal logic for object-based systems. Zbl 0968.68020Distefano, Dino; Katoen, Joost-Pieter; Rensink, Arend 2 2000 Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination. Zbl 1443.68101Baier, Christel; Hensel, Christian; Hutschenreiter, Lisa; Junges, Sebastian; Katoen, Joost-Pieter; Klein, Joachim 1 2020 How long, O Bayesian network, will I sample thee? A program analysis perspective on expected sampling times. Zbl 1418.68050Batz, Kevin; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph 1 2018 Weakest precondition reasoning for expected runtimes of randomized algorithms. Zbl 1426.68298Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph; Olmedo, Federico 1 2018 Quantitative model-checking of controlled discrete-time Markov processes. Zbl 1359.68199Tkachev, Ilya; Mereacre, Alexandru; Katoen, Joost-Pieter; Abate, Alessandro 1 2017 On the satisfiability of some simple probabilistic logics. Zbl 1394.68169Chakraborty, Souymodip; Katoen, Joost-Pieter 1 2016 Inferring covariances for probabilistic programs. Zbl 1377.68070Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph 1 2016 Efficient GPU algorithms for parallel decomposition of graphs into strongly connected and maximal end components. Zbl 1404.68204Wijs, Anton; Katoen, Joost-Pieter; Bošnački, Dragan 1 2016 Confluence reduction for Markov automata. Zbl 1356.68136Timmer, Mark; Katoen, Joost-Pieter; van de Pol, Jaco; Stoelinga, Mariëlle 1 2016 Model checking of open interval Markov chains. Zbl 1392.68240Chakraborty, Souymodip; Katoen, Joost-Pieter 1 2015 Fault trees on a diet – automated reduction by graph rewriting. Zbl 1369.68172Junges, Sebastian; Guck, Dennis; Katoen, Joost-Pieter; Rensink, Arend; Stoelinga, Mariëlle 1 2015 High-level counterexamples for probabilistic automata. Zbl 1347.68211Wimmer, Ralf; Jansen, Nils; Ábrahám, Erika; Katoen, Joost-Pieter 1 2015 Probably safe or live. Zbl 1394.68231Katoen, Joost-Pieter; Song, Lei; Zhang, Lijun 1 2014 Counterexample generation for discrete-time Markov models: an introductory survey. Zbl 1445.68130Ábrahám, Erika; Becker, Bernd; Dehnert, Christian; Jansen, Nils; Katoen, Joost-Pieter; Wimmer, Ralf 1 2014 Abstract probabilistic automata. Zbl 1296.68092Delahaye, Benoît; Katoen, Joost-Pieter; Larsen, Kim G.; Legay, Axel; Pedersen, Mikkel L.; Sher, Falak; Wąsowski, Andrzej 1 2013 Model checking for performability. Zbl 1358.68181Baier, C.; Hahn, E. M.; Haverkort, B. R.; Hermanns, H.; Katoen, J.-P. 1 2013 Layered reasoning for randomized distributed algorithms. Zbl 1259.68114Swaminathan, Mani; Katoen, Joost-Pieter; Olderog, Ernst-Rüdiger 1 2012 Compositional abstraction techniques for probabilistic automata. Zbl 1362.68155Sher, Falak; Katoen, Joost-Pieter 1 2012 A local Greibach normal form for hyperedge replacement grammars. Zbl 1330.68134Jansen, Christina; Heinen, Jonathan; Katoen, Joost-Pieter; Noll, Thomas 1 2011 Reachability in continuous-time Markov reward decision processes. Zbl 1222.68120Baier, Christel; Haverkort, Boudewijn R.; Hermanns, Holger; Katoen, Joost-Pieter 1 2008 Abstraction for stochastic systems by Erlang’s method of stages. Zbl 1160.68469Katoen, Joost-Pieter; Klink, Daniel; Leucker, Martin; Wolf, Verena 1 2008 Embedded software analysis with MOTOR. Zbl 1105.68335Katoen, Joost-Pieter; Bohnenkamp, Henrik; Klaren, Ric; Hermanns, Holger 1 2004 Lectures on Formal methods and performance analysis. 1st EEF/Euro summer school on trends in computer science, Berg en Dal, the Netherlands, July 3–7, 2000. Revised lectures. Zbl 0969.00082Brinksma, Ed (ed.); Hermanns, Holger (ed.); Katoen, Joost-Pieter (ed.) 1 2001 Towards model checking stochastic process algebra. Zbl 1043.68594Hermanns, Holger; Katoen, Joost-Pieter; Meyer-Kayser, Joachim; Siegle, Markus 1 2000 Code generation based on formal BURS theory and heuristic search. Zbl 0869.68030Nymeyer, A.; Katoen, J.-P. 1 1997 Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination. Zbl 1443.68101Baier, Christel; Hensel, Christian; Hutschenreiter, Lisa; Junges, Sebastian; Katoen, Joost-Pieter; Klein, Joachim 1 2020 On the hardness of analyzing probabilistic programs. Zbl 1417.68054Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph 2 2019 Multi-cost bounded reachability in MDP. Zbl 1423.68282Hartmanns, Arnd; Junges, Sebastian; Katoen, Joost-Pieter; Quatmann, Tim 2 2018 How long, O Bayesian network, will I sample thee? A program analysis perspective on expected sampling times. Zbl 1418.68050Batz, Kevin; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph 1 2018 Weakest precondition reasoning for expected runtimes of randomized algorithms. Zbl 1426.68298Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph; Olmedo, Federico 1 2018 Quantitative model-checking of controlled discrete-time Markov processes. Zbl 1359.68199Tkachev, Ilya; Mereacre, Alexandru; Katoen, Joost-Pieter; Abate, Alessandro 1 2017 Weakest precondition reasoning for expected run-times of probabilistic programs. Zbl 1335.68058Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph; Olmedo, Federico 7 2016 Reasoning about recursive probabilistic programs. Zbl 1401.68048Olmedo, Federico; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph 4 2016 Parameter synthesis for Markov models: faster than ever. Zbl 1398.68346Quatmann, Tim; Dehnert, Christian; Jansen, Nils; Junges, Sebastian; Katoen, Joost-Pieter 3 2016 The probabilistic model checking landscape. Zbl 1401.68201Katoen, Joost-Pieter 3 2016 Bounded model checking for probabilistic programs. Zbl 1398.68343Jansen, Nils; Dehnert, Christian; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Westhofen, Lukas 2 2016 On the satisfiability of some simple probabilistic logics. Zbl 1394.68169Chakraborty, Souymodip; Katoen, Joost-Pieter 1 2016 Inferring covariances for probabilistic programs. Zbl 1377.68070Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph 1 2016 Efficient GPU algorithms for parallel decomposition of graphs into strongly connected and maximal end components. Zbl 1404.68204Wijs, Anton; Katoen, Joost-Pieter; Bošnački, Dragan 1 2016 Confluence reduction for Markov automata. Zbl 1356.68136Timmer, Mark; Katoen, Joost-Pieter; van de Pol, Jaco; Stoelinga, Mariëlle 1 2016 On the hardness of almost-sure termination. Zbl 06482744Kaminski, Benjamin Lucien; Katoen, Joost-Pieter 7 2015 Conditioning in probabilistic programming. Zbl 1351.68066Jansen, Nils; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Olmedo, Federico; Gretz, Friedrich; McIver, Annabelle 5 2015 Understanding probabilistic programs. Zbl 1444.68045Katoen, Joost-Pieter; Gretz, Friedrich; Jansen, Nils; Kaminski, Benjamin Lucien; Olmedo, Federico 4 2015 Model checking of open interval Markov chains. Zbl 1392.68240Chakraborty, Souymodip; Katoen, Joost-Pieter 1 2015 Fault trees on a diet – automated reduction by graph rewriting. Zbl 1369.68172Junges, Sebastian; Guck, Dennis; Katoen, Joost-Pieter; Rensink, Arend; Stoelinga, Mariëlle 1 2015 High-level counterexamples for probabilistic automata. Zbl 1347.68211Wimmer, Ralf; Jansen, Nils; Ábrahám, Erika; Katoen, Joost-Pieter 1 2015 Analysis of timed and long-run objectives for Markov automata. Zbl 1342.68135Guck, Dennis; Hatefi, Hassan; Hermanns, Holger; Katoen, Joost-Pieter; Timmer, Mark 4 2014 Probably safe or live. Zbl 1394.68231Katoen, Joost-Pieter; Song, Lei; Zhang, Lijun 1 2014 Counterexample generation for discrete-time Markov models: an introductory survey. Zbl 1445.68130Ábrahám, Erika; Becker, Bernd; Dehnert, Christian; Jansen, Nils; Katoen, Joost-Pieter; Wimmer, Ralf 1 2014 A compositional modelling and analysis framework for stochastic hybrid systems. Zbl 1291.68293Hahn, Ernst Moritz; Hartmanns, Arnd; Hermanns, Holger; Katoen, Joost-Pieter 8 2013 Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems. Zbl 1362.68189Tkachev, Ilya; Mereacre, Alexandru; Katoen, Joost-Pieter; Abate, Alessandro 7 2013 A semantics for every GSPN. Zbl 1381.68199Eisentraut, Christian; Hermanns, Holger; Katoen, Joost-Pieter; Zhang, Lijun 7 2013 SMT-based bisimulation minimisation of Markov models. Zbl 1426.68168Dehnert, Christian; Katoen, Joost-Pieter; Parker, David 5 2013 Abstract probabilistic automata. Zbl 1296.68092Delahaye, Benoît; Katoen, Joost-Pieter; Larsen, Kim G.; Legay, Axel; Pedersen, Mikkel L.; Sher, Falak; Wąsowski, Andrzej 1 2013 Model checking for performability. Zbl 1358.68181Baier, C.; Hahn, E. M.; Haverkort, B. R.; Hermanns, H.; Katoen, J.-P. 1 2013 Three-valued abstraction for probabilistic systems. Zbl 1277.68219Katoen, Joost-Pieter; Klink, Daniel; Leucker, Martin; Wolf, Verena 6 2012 Robust PCTL model checking. Zbl 1361.68140D’Innocenzo, Alessandro; Abate, Alessandro; Katoen, Joost-Pieter 5 2012 Efficient modelling and generation of Markov automata. Zbl 1364.68295Timmer, Mark; Katoen, Joost-Pieter; van de Pol, Jaco; Stoelinga, Mariëlle I. A. 5 2012 Weighted lumpability on Markov chains. Zbl 1336.68186Sharma, Arpit; Katoen, Joost-Pieter 4 2012 Minimal critical subsystems for discrete-time Markov models. Zbl 1352.68167Wimmer, Ralf; Jansen, Nils; Ábrahám, Erika; Becker, Bernd; Katoen, Joost-Pieter 3 2012 A linear process-algebraic format with data for probabilistic automata. Zbl 1283.68246Katoen, Joost-Pieter; van de Pol, Jaco; Stoelinga, Mariëlle; Timmer, Mark 3 2012 Layered reasoning for randomized distributed algorithms. Zbl 1259.68114Swaminathan, Mani; Katoen, Joost-Pieter; Olderog, Ernst-Rüdiger 1 2012 Compositional abstraction techniques for probabilistic automata. Zbl 1362.68155Sher, Falak; Katoen, Joost-Pieter 1 2012 Model checking of continuous-time Markov chains against timed automata specifications. Zbl 1233.68156Chen, Taolue; Han, Tingting; Katoen, Joost-Pieter; Mereacre, Alexandru 9 2011 Abstract probabilistic automata. Zbl 1317.68095Delahaye, Benoît; Katoen, Joost-Pieter; Larsen, Kim G.; Legay, Axel; Pedersen, Mikkel L.; Sher, Falak; Wąsowski, Andrzej 9 2011 Efficient CTMC model checking of linear real-time objectives. Zbl 1315.68174Barbot, Benoît; Chen, Taolue; Han, Tingting; Katoen, Joost-Pieter; Mereacre, Alexandru 7 2011 Quantitative automata model checking of autonomous stochastic hybrid systems. Zbl 1361.68130Abate, Alessandro; Katoen, Joost-Pieter; Mereacre, Alexandru 4 2011 Hierarchical counterexamples for discrete-time Markov chains. Zbl 1348.68139Jansen, Nils; Ábrahám, Erika; Katelaan, Jens; Wimmer, Ralf; Katoen, Joost-Pieter; Becker, Bernd 3 2011 Deciding probabilistic simulation between probabilistic pushdown automata and finite-state systems. Zbl 1246.68144Fu, Hongfei; Katoen, Joost-Pieter 2 2011 A local Greibach normal form for hyperedge replacement grammars. Zbl 1330.68134Jansen, Christina; Heinen, Jonathan; Katoen, Joost-Pieter; Noll, Thomas 1 2011 Approximate model checking of stochastic hybrid systems. Zbl 1216.93091Abate, Alessandro; Katoen, Joost-Pieter; Lygeros, John; Prandini, Maria 11 2010 The how and why of interactive Markov chains. Zbl 1312.68152Hermanns, Holger; Katoen, Joost-Pieter 7 2010 Linear-invariant generation for probabilistic programs: automated support for proof-based methods. Zbl 1239.68020Katoen, Joost-Pieter; McIver, Annabelle K.; Meinicke, Larissa A.; Morgan, Carroll C. 6 2010 Performability assessment by model checking of Markov reward models. Zbl 1209.68309Baier, Christel; Cloth, Lucia; Haverkort, Boudewijn R.; Hermanns, Holger; Katoen, Joost-Pieter 4 2010 Compositional abstraction for stochastic systems. Zbl 1262.68142Katoen, Joost-Pieter; Klink, Daniel; Neuhäußer, Martin R. 7 2009 Delayed nondeterminism in continuous-time Markov decision processes. Zbl 1234.68320Neuhäußer, Martin R.; Stoelinga, Mariëlle; Katoen, Joost-Pieter 6 2009 LTL model checking of time-inhomogeneous Markov chains. Zbl 1262.68108Chen, Taolue; Han, Tingting; Katoen, Joost-Pieter; Mereacre, Alexandru 2 2009 Principles of model checking. Foreword by Kim Guldstrand Larsen. Zbl 1179.68076Baier, Christel; Katoen, Joost-Pieter 273 2008 Model checking HML on piecewise-constant inhomogeneous Markov chains. Zbl 1171.68550Katoen, Joost-Pieter; Mereacre, Alexandru 3 2008 Compositional modeling and minimization of time-inhomogeneous Markov chains. Zbl 1144.93379Han, Tingting; Katoen, Joost-Pieter; Mereacre, Alexandru 2 2008 Reachability in continuous-time Markov reward decision processes. Zbl 1222.68120Baier, Christel; Haverkort, Boudewijn R.; Hermanns, Holger; Katoen, Joost-Pieter 1 2008 Abstraction for stochastic systems by Erlang’s method of stages. Zbl 1160.68469Katoen, Joost-Pieter; Klink, Daniel; Leucker, Martin; Wolf, Verena 1 2008 Bisimulation minimisation mostly speeds up probabilistic model checking. Zbl 1186.68296Katoen, Joost-Pieter; Kemna, Tim; Zapreev, Ivan; Jansen, David N. 17 2007 Three-valued abstraction for continuous-time Markov chains. Zbl 1135.68476Katoen, Joost-Pieter; Klink, Daniel; Leucker, Martin; Wolf, Verena 16 2007 Bisimulation and logical preservation for continuous-time Markov decision processes. Zbl 1151.68549Neuhäußer, Martin R.; Katoen, Joost-Pieter 6 2007 Counterexamples in probabilistic model checking. Zbl 1186.68293Han, Tingting; Katoen, Joost-Pieter 6 2007 Providing evidence of likely being on time: Counterexample generation for CTMC model checking. Zbl 1141.68470Han, Tingting; Katoen, Joost-Pieter 3 2007 Model checking mobile stochastic logic. Zbl 1159.68478De Nicola, Rocco; Katoen, Joost-Pieter; Latella, Diego; Loreti, Michele; Massink, Mieke 3 2007 YMCA: why Markov chain algebra? Zbl 1316.68088Bravetti, Mario; Hermanns, Holger; Katoen, Joost-Pieter 5 2006 Safety and liveness in concurrent pointer programs. Zbl 1196.68045Distefano, Dino; Katoen, Joost-Pieter; Rensink, Arend 3 2006 Bisimulation and simulation relations for Markov chains. Zbl 1316.68085Baier, Christel; Hermanns, Holger; Katoen, Joost-Pieter; Wolf, Verena 2 2006 Comparative branching-time semantics for Markov chains. Zbl 1101.68053Baier, Christel; Katoen, Joost-Pieter; Hermanns, Holger; Wolf, Verena 25 2005 Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes. Zbl 1081.90066Baier, Christel; Hermanns, Holger; Katoen, Joost-Pieter; Haverkort, Boudewijn R. 18 2005 Model-based testing of reactive systems. Advanced lectures. Zbl 1070.68088Broy, Manfred (ed.); Jonsson, Bengt (ed.); Katoen, Joost-Pieter (ed.); Leucker, Martin (ed.); Pretschner, Alexander (ed.) 17 2005 A theory of stochastic systems. I: Stochastic automata. Zbl 1105.68061D’Argenio, Pedro R.; Katoen, Joost-Pieter 7 2005 A theory of stochastic systems. II: Process algebra. Zbl 1106.68073D’Argenio, Pedro R.; Katoen, Joost-Pieter 6 2005 Probabilistic weak simulation is decidable in polynomial time. Zbl 1183.68703Baier, Christel; Hermanns, Holger; Katoen, Joost-Pieter 9 2004 Discrete-time rewards model-checked. Zbl 1099.68652Andova, Suzana; Hermanns, Holger; Katoen, Joost-Pieter 8 2004 Validation of stochastic systems. A guide to current research. Zbl 1047.68001Baier, Christel (ed.); Haverkort, Boudewijn R. (ed.); Hermanns, Holger (ed.); Katoen, Joost-Pieter (ed.); Siegle, Markus (ed.) 3 2004 Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes. Zbl 1126.68467Baier, Christel; Haverkort, Boudewijn; Hermanns, Holger; Katoen, Joost-Pieter 2 2004 Who is pointing when to whom? On the automated verification of linked list structures. Zbl 1117.68427Distefano, Dino; Katoen, Joost-Pieter; Rensink, Arend 2 2004 Embedded software analysis with MOTOR. Zbl 1105.68335Katoen, Joost-Pieter; Bohnenkamp, Henrik; Klaren, Ric; Hermanns, Holger 1 2004 Comparative branching-time semantics for Markov chains (extended abstract). Zbl 1274.68264Baier, Christel; Hermanns, Holger; Katoen, Joost-Pieter; Wolf, Verena 5 2003 Model-checking large structured Markov chains. Zbl 1048.68053Buchholz, Peter; Katoen, Joost-Pieter; Kemper, Peter; Tepper, Carsten 5 2003 Process algebra for performance evaluation. Zbl 0992.68149Hermanns, Holger; Herzog, Ulrich; Katoen, Joost-Pieter 24 2002 A probabilistic extension of UML statecharts specification and verification. Zbl 1278.68226Jansen, David N.; Hermanns, Holger; Katoen, Joost-Pieter 4 2002 Simulation for continuous-time Markov chains. Zbl 1012.68526Baier, Christel; Katoen, Joost-Pieter; Hermanns, Holger; Haverkort, Boudewijn 4 2002 Automated performance and dependability evaluation using model checking. Zbl 1017.68500Baier, Christel; Haverkort, Boudewijn; Hermanns, Holger; Katoen, Joost-Pieter 2 2002 Faster and symbolic CTMC model checking. Zbl 1007.68517Katoen, Joost-Pieter; Kwiatkowska, Marta; Norman, Gethin; Parker, David 9 2001 Metric semantics for true concurrent real time. Zbl 0976.68103Katoen, J.-P.; Baier, C.; Latella, D. 8 2001 Beyond memoryless distributions: model checking semi-Markov chains. Zbl 1007.68514Infante López, Gabriel G.; Hermanns, Holger; Katoen, Joost-Pieter 7 2001 MoDeST — a modelling and description language for stochastic timed systems. Zbl 1007.68518D’Argenio, Pedro R.; Hermanns, Holger; Katoen, Joost-Pieter; Klaren, Ric 3 2001 First passage time analysis of stochastic process algebra using partial orders. Zbl 0978.68103Ruys, Theo C.; Langerak, Rom; Katoen, Joost-Pieter; Latella, Diego; Massink, Mieke 3 2001 Lectures on Formal methods and performance analysis. 1st EEF/Euro summer school on trends in computer science, Berg en Dal, the Netherlands, July 3–7, 2000. Revised lectures. Zbl 0969.00082Brinksma, Ed (ed.); Hermanns, Holger (ed.); Katoen, Joost-Pieter (ed.) 1 2001 Model checking continuous-time Markov chains by transient analysis. Zbl 0974.68017Baier, Christel; Haverkort, Boudewijn; Hermanns, Holger; Katoen, Joost-Pieter 39 2000 On the logical characterisation of performability properties. Zbl 0973.68014Baier, Christel; Haverkort, Boudewijn; Hermanns, Holger; Katoen, Joost-Pieter 11 2000 Automated compositional Markov chain generation for a plain-old telephone system. Zbl 0941.68649Hermanns, Holger; Katoen, Joost-Pieter 10 2000 A Markov chain model checker. Zbl 0960.68108Hermanns, Holger; Katoen, Joost-Pieter; Meyer-Kayser, Joachim; Siegle, Markus 3 2000 On a temporal logic for object-based systems. Zbl 0968.68020Distefano, Dino; Katoen, Joost-Pieter; Rensink, Arend 2 2000 Towards model checking stochastic process algebra. Zbl 1043.68594Hermanns, Holger; Katoen, Joost-Pieter; Meyer-Kayser, Joachim; Siegle, Markus 1 2000 Approximate symbolic model checking of continuous-time Markov chains. Zbl 0934.03044Baier, Christel; Katoen, Joost-Pieter; Hermanns, Holger 20 1999 On generative parallel composition. Zbl 0920.68078D’Argenio, Pedro R.; Hermanns, Holger; Katoen, Joost-Pieter 6 1998 Automatic verification of a lip-synchronisation protocol using UPPAAL. Zbl 0951.68533Bowman, H.; Faconti, G.; Katoen, J.-P.; Latella, D.; Massink, M. 4 1998 Code generation based on formal BURS theory and heuristic search. Zbl 0869.68030Nymeyer, A.; Katoen, J.-P. 1 1997 Systolic arrays for the recognition of permutation-invariant segments. Zbl 0858.68022Katoen, Joost-Pieter; Schoenmakers, Berry 1 1996 ...and 1 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 965 Authors 41 Katoen, Joost-Pieter 20 Hermanns, Holger 19 Baier, Christel 15 Abate, Alessandro 13 Larsen, Kim Guldstrand 12 Kwiatkowska, Marta Z. 10 Chatterjee, Krishnendu 10 Legay, Axel 9 Delahaye, Benoît 9 Zhang, Lijun 8 Bernardo, Marco 7 Norman, Gethin 7 Stoelinga, Mariëlle 6 D’Argenio, Pedro Rubén 6 Duan, Zhenhua 6 Hasan, Osman 6 Haverkort, Boudewijn R. 6 Loreti, Michele 6 Parker, David F. 6 Tahar, Sofiène 6 Tian, Cong 6 Zamani, Majid 5 Bortolussi, Luca 5 Brázdil, Tomáš 5 Buchholz, Peter 5 Feng, Yuan 5 Gebler, Daniel E. 5 Henzinger, Thomas A. 5 Hillston, Jane 5 Jansen, David N. 5 Jansen, Nils 5 Junges, Sebastian 5 Klein, Joachim 5 Křetínský, Jan 5 Latella, Diego 5 Massink, Mieke 5 Tini, Simone 5 Tkachev, Ilya 5 Turrini, Andrea 5 Wąsowski, Andrzej 5 Worrell, James B. 5 Ying, Mingsheng 4 Bouyer, Patricia 4 Brauer, Jörg 4 Cao, Yongzhi 4 Chen, Taolue 4 De Nicola, Rocco 4 Forejt, Vojtěch 4 Hahn, Ernst Moritz 4 Kaminski, Benjamin Lucien 4 Kiefer, Stefan 4 Klüppelholz, Sascha 4 Kucera, Antonin 4 Lanotte, Ruggero 4 Li, Yongming 4 Majster-Cederbaum, Mila E. 4 Majumdar, Rupak 4 Mardare, Radu 4 Mereacre, Alexandru 4 Ouaknine, Joel O. 4 Pedersen, Mikkel Lykke 4 Petrov, Tatjana 4 Raskin, Jean-François 4 Silva, Alexandra 4 Soudjani, Sadegh 4 Steffen, Bernhard 4 van Breugel, Franck 4 Viswanathan, Mahesh 4 Wimmer, Ralf D. 4 Wolf, Verena 3 Baader, Franz 3 Bacci, Giorgio 3 Becker, Bernd 3 Belta, Calin 3 Bérard, Béatrice 3 Bertrand, Nathalie 3 Bravetti, Mario 3 Brihaye, Thomas 3 Castro, Pablo F. 3 Černá, Ivana 3 Chmelík, Martin 3 de Vink, Erik P. 3 Deng, Yuxin 3 Dimarogonas, Dimos V. 3 Dubslaff, Clemens 3 Fecher, Harald 3 Gnesi, Stefania 3 Gomez, Rodolfo 3 Hashemi, Vahid 3 Howar, Falk 3 Kamgarpour, Maryam 3 Koeppl, Heinz 3 Konnov, Igor V. 3 Lavaei, Abolfazl 3 Lazar, Mircea 3 Lygeros, John 3 Ma, Zhanyou 3 Mio, Matteo 3 Movaghar, Ali 3 Neuhäußer, Martin R. ...and 865 more Authors all top 5 Cited in 63 Serials 61 Theoretical Computer Science 37 Information and Computation 29 Formal Aspects of Computing 25 Formal Methods in System Design 24 Acta Informatica 16 Automatica 14 Logical Methods in Computer Science 12 The Journal of Logic and Algebraic Programming 11 Science of Computer Programming 10 Journal of Logical and Algebraic Methods in Programming 9 Journal of Computer and System Sciences 9 Discrete Event Dynamic Systems 6 Information Processing Letters 6 Journal of Automated Reasoning 6 MSCS. Mathematical Structures in Computer Science 6 Nonlinear Analysis. Hybrid Systems 4 ACM Transactions on Computational Logic 3 Fuzzy Sets and Systems 3 International Journal of Approximate Reasoning 3 Distributed Computing 3 Journal of Applied Logic 2 Artificial Intelligence 2 Computers & Mathematics with Applications 2 Computing 2 Programming and Computer Software 2 SIAM Journal on Control and Optimization 2 Journal of Computer Science and Technology 2 Computers & Operations Research 2 Machine Learning 2 Theory of Computing Systems 2 Journal of the ACM 2 Journal of Applied Mathematics 2 Algorithms 2 Computer Science Review 1 ACM Computing Surveys 1 International Journal of General Systems 1 International Journal of Theoretical Physics 1 Journal of Mathematical Analysis and Applications 1 Applied Mathematics and Computation 1 Journal of Applied Probability 1 Journal of Mathematical Psychology 1 Systems & Control Letters 1 Annals of Pure and Applied Logic 1 International Journal of Parallel Programming 1 Annals of Operations Research 1 Real-Time Systems 1 International Journal of Foundations of Computer Science 1 Journal of Statistical Computation and Simulation 1 Linear Algebra and its Applications 1 Journal of Applied Non-Classical Logics 1 Journal of Mathematical Sciences (New York) 1 The Journal of Artificial Intelligence Research (JAIR) 1 Annals of Mathematics and Artificial Intelligence 1 European Journal of Control 1 Journal of Combinatorial Optimization 1 International Journal of Applied Mathematics and Computer Science 1 Journal of Applied Mathematics and Computing 1 Sibirskie Èlektronnye Matematicheskie Izvestiya 1 Mathematics in Computer Science 1 Optimization Letters 1 Science China. Information Sciences 1 Symmetry 1 International Journal of Systems Science. Principles and Applications of Systems and Integration all top 5 Cited in 23 Fields 460 Computer science (68-XX) 86 Mathematical logic and foundations (03-XX) 67 Systems theory; control (93-XX) 62 Probability theory and stochastic processes (60-XX) 39 Operations research, mathematical programming (90-XX) 28 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 19 Biology and other natural sciences (92-XX) 8 Combinatorics (05-XX) 7 Information and communication theory, circuits (94-XX) 6 Ordinary differential equations (34-XX) 6 Numerical analysis (65-XX) 4 Category theory; homological algebra (18-XX) 4 Calculus of variations and optimal control; optimization (49-XX) 4 Statistics (62-XX) 4 Quantum theory (81-XX) 3 Order, lattices, ordered algebraic structures (06-XX) 2 General and overarching topics; collections (00-XX) 2 Convex and discrete geometry (52-XX) 2 Mechanics of particles and systems (70-XX) 1 Number theory (11-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Measure and integration (28-XX) 1 General topology (54-XX) Citations by Year