Edit Profile (opens in new tab) Katoen, Joost-Pieter Compute Distance To: Compute Author ID: katoen.joost-pieter Published as: Katoen, Joost-Pieter; Katoen, J.-P.; Katoen, J. P. Homepage: https://moves.rwth-aachen.de/people/katoen/ External Links: ORCID Documents Indexed: 136 Publications since 1989, including 1 Book 11 Contributions as Editor · 1 Further Contribution Reviewing Activity: 15 Reviews Co-Authors: 140 Co-Authors with 143 Joint Publications 2,457 Co-Co-Authors all top 5 Co-Authors 4 single-authored 33 Hermanns, Holger 19 Baier, Christel 15 Junges, Sebastian 14 Kaminski, Benjamin Lucien 12 Jansen, Nils 10 Haverkort, Boudewijn R. 9 Mereacre, Alexandru 8 Matheja, Christoph 7 Han, Tingting 7 Stoelinga, Mariëlle 7 Wimmer, Ralf D. 7 Wolf, Verena 6 Abate, Alessandro 6 Ábrahám, Erika 6 Rensink, Arend 5 Becker, Bernd 5 D’Argenio, Pedro Rubén 5 Dehnert, Christian 5 Leucker, Martin 5 Olmedo, Federico 4 Chen, Taolue 4 Klink, Daniel 4 Latella, Diego 4 Quatmann, Tim 4 Sher, Falak 4 Timmer, Mark 3 Batz, Kevin 3 Chakraborty, Souymodip 3 Distefano, Dino 3 Guck, Dennis 3 Hartmanns, Arnd 3 Larsen, Kim Guldstrand 3 Massink, Mieke 3 Neuhäußer, Martin R. 3 Siegle, Markus 3 van de Pol, Jan Cornelis 3 Winkler, Tobias 2 Barthe, Gilles 2 Češka, Milan 2 Delahaye, Benoît 2 Fu, Hongfei 2 Gretz, Friedrich 2 Hahn, Ernst Moritz 2 Heinen, Jonathan 2 Hensel, Christian 2 Jansen, Christina 2 Jansen, David N. 2 Klaren, Ric 2 Langerak, Rom 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 Spel, Jip 2 Tkachev, Ilya 2 Topcu, Ufuk 2 Volk, Matthias 2 Wąsowski, Andrzej 2 Zhang, Lijun 1 Aflaki, Saba 1 Andova, Suzana 1 Andriushchenko, Roman 1 Barbot, Benoît 1 Bartocci, Ezio 1 Belinfante, Axel 1 Berg, Therese 1 Berkenkötter, Kirsten 1 Björklund, Henrik 1 Bohnenkamp, Henrik C. 1 Bollig, Benedikt 1 Bonakdarpour, Borzoo 1 Bošnački, Dragan 1 Bravetti, Mario 1 Brázdil, Tomáš 1 Brinksma, Ed 1 Briones, Laura Brandán 1 Broy, Manfred 1 Bruda, Stefan D. 1 Brunekreef, Jacob 1 Buchholz, Peter 1 Chatterjee, Krishnendu 1 Cloth, Lucia 1 Colin, Séverine 1 Cubuktepe, Murat 1 Dai, Zhen Ru 1 De Nicola, Rocco 1 Din, George 1 D’Innocenzo, Alessandro 1 Eisentraut, Christian 1 El-Ramly, Mohammad 1 Faconti, G. P. 1 Frantzen, Lars 1 Fränzle, Martin 1 Gargantini, Angelo 1 Gaston, Christophe 1 Gerwinn, Sebastian 1 Guan, Nan ...and 69 more Co-Authors all top 5 Serials 9 Theoretical Computer Science 7 Information and Computation 7 Lecture Notes in Computer Science 4 Formal Aspects of Computing 4 Formal Methods in System Design 3 Science of Computer Programming 3 Logical Methods in Computer Science 2 Acta Informatica 2 Distributed Computing 2 The Journal of Logic and Algebraic Programming 1 Information Processing Letters 1 IEEE Transactions on Automatic Control 1 Journal of Computer and System Sciences 1 Journal of Automated Reasoning 1 MSCS. Mathematical Structures in Computer Science 1 European Journal of Control 1 Journal of the ACM 1 LIPIcs – Leibniz International Proceedings in Informatics all top 5 Fields 144 Computer science (68-XX) 23 Probability theory and stochastic processes (60-XX) 13 Operations research, mathematical programming (90-XX) 9 General and overarching topics; collections (00-XX) 8 Mathematical logic and foundations (03-XX) 5 Systems theory; control (93-XX) 3 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 Statistics (62-XX) 1 Biology and other natural sciences (92-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 111 Publications have been cited 889 times in 557 Documents Cited by ▼ Year ▼ Principles of model checking. Foreword by Kim Guldstrand Larsen. Zbl 1179.68076Baier, Christel; Katoen, Joost-Pieter 273 2008 Comparative branching-time semantics for Markov chains. Zbl 1101.68053Baier, Christel; Katoen, Joost-Pieter; Hermanns, Holger; Wolf, Verena 28 2005 Model checking continuous-time Markov chains by transient analysis. Zbl 0974.68017Baier, Christel; Haverkort, Boudewijn; Hermanns, Holger; Katoen, Joost-Pieter 28 2000 Model-based testing of reactive systems. Advanced lectures. Zbl 1070.68088 22 2005 Process algebra for performance evaluation. Zbl 0992.68149Hermanns, Holger; Herzog, Ulrich; Katoen, Joost-Pieter 21 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 Approximate model checking of stochastic hybrid systems. Zbl 1216.93091Abate, Alessandro; Katoen, Joost-Pieter; Lygeros, John; Prandini, Maria 14 2010 Three-valued abstraction for continuous-time Markov chains. Zbl 1135.68476Katoen, Joost-Pieter; Klink, Daniel; Leucker, Martin; Wolf, Verena 14 2007 Weakest precondition reasoning for expected run-times of probabilistic programs. Zbl 1335.68058Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph; Olmedo, Federico 13 2016 A compositional modelling and analysis framework for stochastic hybrid systems. Zbl 1291.68293Hahn, Ernst Moritz; Hartmanns, Arnd; Hermanns, Holger; Katoen, Joost-Pieter 13 2013 On the logical characterisation of performability properties. Zbl 0973.68014Baier, Christel; Haverkort, Boudewijn; Hermanns, Holger; Katoen, Joost-Pieter 12 2000 Parameter synthesis for Markov models: faster than ever. Zbl 1398.68346Quatmann, Tim; Dehnert, Christian; Jansen, Nils; Junges, Sebastian; Katoen, Joost-Pieter 11 2016 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 10 2011 Probabilistic weak simulation is decidable in polynomial time. Zbl 1183.68703Baier, Christel; Hermanns, Holger; Katoen, Joost-Pieter 10 2004 A semantics for every GSPN. Zbl 1381.68199Eisentraut, Christian; Hermanns, Holger; Katoen, Joost-Pieter; Zhang, Lijun 10 2013 The probabilistic model checking landscape. Zbl 1401.68201Katoen, Joost-Pieter 10 2016 Discrete-time rewards model-checked. Zbl 1099.68652Andova, Suzana; 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 On the hardness of almost-sure termination. Zbl 1465.68097Kaminski, Benjamin Lucien; Katoen, Joost-Pieter 9 2015 A theory of stochastic systems. I: Stochastic automata. Zbl 1105.68061D’Argenio, Pedro R.; Katoen, Joost-Pieter 8 2005 Metric semantics for true concurrent real time. Zbl 0976.68103Katoen, J.-P.; Baier, C.; Latella, D. 8 2001 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. 8 2010 Abstract probabilistic automata. Zbl 1317.68095Delahaye, Benoît; Katoen, Joost-Pieter; Larsen, Kim G.; Legay, Axel; Pedersen, Mikkel L.; Sher, Falak; Wąsowski, Andrzej 8 2011 Conditioning in probabilistic programming. Zbl 1351.68066Jansen, Nils; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Olmedo, Federico; Gretz, Friedrich; McIver, Annabelle 8 2015 Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems. Zbl 1362.68189Tkachev, Ilya; Mereacre, Alexandru; Katoen, Joost-Pieter; Abate, Alessandro 8 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 Robust PCTL model checking. Zbl 1361.68140D’Innocenzo, Alessandro; Abate, Alessandro; Katoen, Joost-Pieter 7 2012 Bisimulation and logical preservation for continuous-time Markov decision processes. Zbl 1151.68549Neuhäußer, Martin R.; Katoen, Joost-Pieter 6 2007 Delayed nondeterminism in continuous-time Markov decision processes. Zbl 1234.68320Neuhäußer, Martin R.; Stoelinga, Mariëlle; Katoen, Joost-Pieter 6 2009 A theory of stochastic systems. II: Process algebra. Zbl 1106.68073D’Argenio, Pedro R.; Katoen, Joost-Pieter 6 2005 Beyond memoryless distributions: model checking semi-Markov chains. Zbl 1007.68514Infante López, Gabriel G.; Hermanns, Holger; Katoen, Joost-Pieter 6 2001 Counterexamples in probabilistic model checking. Zbl 1186.68293Han, Tingting; Katoen, Joost-Pieter 6 2007 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 6 2020 Analysis of timed and long-run objectives for Markov automata. Zbl 1342.68135Guck, Dennis; Hatefi, Hassan; Hermanns, Holger; Katoen, Joost-Pieter; Timmer, Mark 6 2014 Three-valued abstraction for probabilistic systems. Zbl 1277.68219Katoen, Joost-Pieter; Klink, Daniel; Leucker, Martin; Wolf, Verena 6 2012 Reasoning about recursive probabilistic programs. Zbl 1401.68048Olmedo, Federico; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph 6 2016 Simulation for continuous-time Markov chains. Zbl 1012.68526Baier, Christel; Katoen, Joost-Pieter; Hermanns, Holger; Haverkort, Boudewijn 5 2002 Model-checking large structured Markov chains. Zbl 1048.68053Buchholz, Peter; Katoen, Joost-Pieter; Kemper, Peter; Tepper, Carsten 5 2003 Comparative branching-time semantics for Markov chains (extended abstract). Zbl 1274.68264Baier, Christel; Hermanns, Holger; Katoen, Joost-Pieter; Wolf, Verena 5 2003 YMCA: why Markov chain algebra? Zbl 1316.68088Bravetti, Mario; Hermanns, Holger; Katoen, Joost-Pieter 5 2006 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 SMT-based bisimulation minimisation of Markov models. Zbl 1426.68168Dehnert, Christian; Katoen, Joost-Pieter; Parker, David 5 2013 On the hardness of analyzing probabilistic programs. Zbl 1417.68054Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph 4 2019 Automatic verification of a lip-synchronisation protocol using UPPAAL. Zbl 0951.68533Bowman, H.; Faconti, G.; Katoen, J.-P.; Latella, D.; Massink, M. 4 1998 A probabilistic extension of UML statecharts specification and verification. Zbl 1278.68226Jansen, David N.; Hermanns, Holger; Katoen, Joost-Pieter 4 2002 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 Safety and liveness in concurrent pointer programs. Zbl 1196.68045Distefano, Dino; Katoen, Joost-Pieter; Rensink, Arend 4 2006 The complexity of reachability in parametric Markov decision processes. Zbl 1477.68124Junges, Sebastian; Katoen, Joost-Pieter; Pérez, Guillermo A.; Winkler, Tobias 4 2021 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 4 2018 Multi-cost bounded reachability in MDP. Zbl 1423.68282Hartmanns, Arnd; Junges, Sebastian; Katoen, Joost-Pieter; Quatmann, Tim 4 2018 Understanding probabilistic programs. Zbl 1444.68045Katoen, Joost-Pieter; Gretz, Friedrich; Jansen, Nils; Kaminski, Benjamin Lucien; Olmedo, Federico 4 2015 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 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 4 2014 Minimal critical subsystems for discrete-time Markov models. Zbl 1352.68167Wimmer, Ralf; Jansen, Nils; Ábrahám, Erika; Becker, Bernd; Katoen, Joost-Pieter 4 2012 Providing evidence of likely being on time: Counterexample generation for CTMC model checking. Zbl 1141.68470Han, Tingting; Katoen, Joost-Pieter 3 2007 Model checking HML on piecewise-constant inhomogeneous Markov chains. Zbl 1171.68550Katoen, Joost-Pieter; Mereacre, Alexandru 3 2008 Who is pointing when to whom? On the automated verification of linked list structures. Zbl 1117.68427Distefano, Dino; Katoen, Joost-Pieter; Rensink, Arend 3 2004 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 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 A Markov chain model checker. Zbl 0960.68108Hermanns, Holger; Katoen, Joost-Pieter; Meyer-Kayser, Joachim; Siegle, Markus 3 2000 Model checking mobile stochastic logic. Zbl 1159.68478De Nicola, Rocco; Katoen, Joost-Pieter; Latella, Diego; Loreti, Michele; Massink, Mieke 3 2007 Weakest precondition reasoning for expected runtimes of randomized algorithms. Zbl 1426.68298Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph; Olmedo, Federico 3 2018 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 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 Bottom-up tree acceptors. Zbl 0687.68044Hemerik, C.; Katoen, J. P. 3 1989 On the satisfiability of some simple probabilistic logics. Zbl 1394.68169Chakraborty, Souymodip; Katoen, Joost-Pieter 3 2016 Automated termination analysis of polynomial probabilistic programs. Zbl 1473.68053Moosbrugger, Marcel; Bartocci, Ezio; Katoen, Joost-Pieter; Kovács, Laura 3 2021 Confluence reduction for Markov automata. Zbl 1356.68136Timmer, Mark; Katoen, Joost-Pieter; van de Pol, Jaco; Stoelinga, Mariëlle 2 2016 Compositional modeling and minimization of time-inhomogeneous Markov chains. Zbl 1144.93379Han, Tingting; Katoen, Joost-Pieter; Mereacre, Alexandru 2 2008 On a temporal logic for object-based systems. Zbl 0968.68020Distefano, Dino; Katoen, Joost-Pieter; Rensink, Arend 2 2000 Validation of stochastic systems. A guide to current research. Zbl 1047.68001 2 2004 A local Greibach normal form for hyperedge replacement grammars. Zbl 1330.68134Jansen, Christina; Heinen, Jonathan; Katoen, Joost-Pieter; Noll, Thomas 2 2011 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 Bounded model checking for probabilistic programs. Zbl 1398.68343Jansen, Nils; Dehnert, Christian; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Westhofen, Lukas 2 2016 Are parametric Markov chains monotonic? Zbl 1437.68121Spel, Jip; Junges, Sebastian; Katoen, Joost-Pieter 2 2019 Model checking of open interval Markov chains. Zbl 1392.68240Chakraborty, Souymodip; Katoen, Joost-Pieter 2 2015 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 2 2016 LTL model checking of time-inhomogeneous Markov chains. Zbl 1262.68108Chen, Taolue; Han, Tingting; Katoen, Joost-Pieter; Mereacre, Alexandru 2 2009 Fast debugging of PRISM models. Zbl 1448.68295Dehnert, Christian; Jansen, Nils; Wimmer, Ralf; Ábrahám, Erika; Katoen, Joost-Pieter 2 2014 High-level counterexamples for probabilistic automata. Zbl 1347.68211Wimmer, Ralf; Jansen, Nils; Ábrahám, Erika; Katoen, Joost-Pieter 2 2015 Bisimulation and simulation relations for Markov chains. Zbl 1316.68085Baier, Christel; Hermanns, Holger; Katoen, Joost-Pieter; Wolf, Verena 2 2006 Deciding probabilistic simulation between probabilistic pushdown automata and finite-state systems. Zbl 1246.68144Fu, Hongfei; Katoen, Joost-Pieter 2 2011 Compositional abstraction techniques for probabilistic automata. Zbl 1362.68155Sher, Falak; Katoen, Joost-Pieter 2 2012 Minimal counterexamples for linear-time probabilistic verification. Zbl 1360.68604Wimmer, Ralf; Jansen, Nils; Ábrahám, Erika; Katoen, Joost-Pieter; Becker, Bernd 2 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 2 2013 On generative parallel composition. Zbl 0920.68078D’Argenio, Pedro R.; Hermanns, Holger; Katoen, Joost-Pieter 2 1998 Abstraction for stochastic systems by Erlang’s method of stages. Zbl 1160.68469Katoen, Joost-Pieter; Klink, Daniel; Leucker, Martin; Wolf, Verena 1 2008 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 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.00082 1 2001 Automated performance and dependability evaluation using model checking. Zbl 1017.68500Baier, Christel; Haverkort, Boudewijn; Hermanns, Holger; Katoen, Joost-Pieter 1 2002 Reachability in continuous-time Markov reward decision processes. Zbl 1222.68120Baier, Christel; Haverkort, Boudewijn R.; Hermanns, Holger; Katoen, Joost-Pieter 1 2008 Multi-cost bounded tradeoff analysis in MDP. Zbl 1468.68132Hartmanns, Arnd; Junges, Sebastian; Katoen, Joost-Pieter; Quatmann, Tim 1 2020 Sequential convex programming for the efficient verification of parametric MDPs. Zbl 1452.68117Cubuktepe, Murat; Jansen, Nils; Junges, Sebastian; Katoen, Joost-Pieter; Papusha, Ivan; Poonawala, Hasan A.; Topcu, Ufuk 1 2017 The complexity of reachability in parametric Markov decision processes. Zbl 1477.68124Junges, Sebastian; Katoen, Joost-Pieter; Pérez, Guillermo A.; Winkler, Tobias 4 2021 Automated termination analysis of polynomial probabilistic programs. Zbl 1473.68053Moosbrugger, Marcel; Bartocci, Ezio; Katoen, Joost-Pieter; Kovács, Laura 3 2021 Expected runtime analyis by program verification. Zbl 07311046Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph 1 2021 Multi-objective optimization of long-run average and total rewards. Zbl 1467.68094Quatmann, Tim; Katoen, Joost-Pieter 1 2021 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 6 2020 Multi-cost bounded tradeoff analysis in MDP. Zbl 1468.68132Hartmanns, Arnd; Junges, Sebastian; Katoen, Joost-Pieter; Quatmann, Tim 1 2020 On the hardness of analyzing probabilistic programs. Zbl 1417.68054Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph 4 2019 Are parametric Markov chains monotonic? Zbl 1437.68121Spel, Jip; Junges, Sebastian; Katoen, Joost-Pieter 2 2019 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 4 2018 Multi-cost bounded reachability in MDP. Zbl 1423.68282Hartmanns, Arnd; Junges, Sebastian; Katoen, Joost-Pieter; Quatmann, Tim 4 2018 Weakest precondition reasoning for expected runtimes of randomized algorithms. Zbl 1426.68298Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph; Olmedo, Federico 3 2018 Sequential convex programming for the efficient verification of parametric MDPs. Zbl 1452.68117Cubuktepe, Murat; Jansen, Nils; Junges, Sebastian; Katoen, Joost-Pieter; Papusha, Ivan; Poonawala, Hasan A.; Topcu, Ufuk 1 2017 A weakest pre-expectation semantics for mixed-sign expectations. Zbl 1458.68038Kaminski, Benjamin Lucien; Katoen, Joost-Pieter 1 2017 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 13 2016 Parameter synthesis for Markov models: faster than ever. Zbl 1398.68346Quatmann, Tim; Dehnert, Christian; Jansen, Nils; Junges, Sebastian; Katoen, Joost-Pieter 11 2016 The probabilistic model checking landscape. Zbl 1401.68201Katoen, Joost-Pieter 10 2016 Reasoning about recursive probabilistic programs. Zbl 1401.68048Olmedo, Federico; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph 6 2016 On the satisfiability of some simple probabilistic logics. Zbl 1394.68169Chakraborty, Souymodip; Katoen, Joost-Pieter 3 2016 Confluence reduction for Markov automata. Zbl 1356.68136Timmer, Mark; Katoen, Joost-Pieter; van de Pol, Jaco; Stoelinga, Mariëlle 2 2016 Bounded model checking for probabilistic programs. Zbl 1398.68343Jansen, Nils; Dehnert, Christian; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Westhofen, Lukas 2 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 2 2016 Inferring covariances for probabilistic programs. Zbl 1377.68070Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph 1 2016 On the hardness of almost-sure termination. Zbl 1465.68097Kaminski, Benjamin Lucien; Katoen, Joost-Pieter 9 2015 Conditioning in probabilistic programming. Zbl 1351.68066Jansen, Nils; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Olmedo, Federico; Gretz, Friedrich; McIver, Annabelle 8 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 2 2015 High-level counterexamples for probabilistic automata. Zbl 1347.68211Wimmer, Ralf; Jansen, Nils; Ábrahám, Erika; Katoen, Joost-Pieter 2 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 Analysis of timed and long-run objectives for Markov automata. Zbl 1342.68135Guck, Dennis; Hatefi, Hassan; Hermanns, Holger; Katoen, Joost-Pieter; Timmer, Mark 6 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 4 2014 Fast debugging of PRISM models. Zbl 1448.68295Dehnert, Christian; Jansen, Nils; Wimmer, Ralf; Ábrahám, Erika; Katoen, Joost-Pieter 2 2014 Minimal counterexamples for linear-time probabilistic verification. Zbl 1360.68604Wimmer, Ralf; Jansen, Nils; Ábrahám, Erika; Katoen, Joost-Pieter; Becker, Bernd 2 2014 Zero-reachability in probabilistic multi-counter automata. Zbl 1401.68151Brázdil, Tomáš; Kiefer, Stefan; Kučera, Antonín; Novotný, Petr; Katoen, Joost-Pieter 1 2014 Probably safe or live. Zbl 1394.68231Katoen, Joost-Pieter; Song, Lei; Zhang, Lijun 1 2014 A compositional modelling and analysis framework for stochastic hybrid systems. Zbl 1291.68293Hahn, Ernst Moritz; Hartmanns, Arnd; Hermanns, Holger; Katoen, Joost-Pieter 13 2013 A semantics for every GSPN. Zbl 1381.68199Eisentraut, Christian; Hermanns, Holger; Katoen, Joost-Pieter; Zhang, Lijun 10 2013 Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems. Zbl 1362.68189Tkachev, Ilya; Mereacre, Alexandru; Katoen, Joost-Pieter; Abate, Alessandro 8 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 2 2013 Robust PCTL model checking. Zbl 1361.68140D’Innocenzo, Alessandro; Abate, Alessandro; Katoen, Joost-Pieter 7 2012 Three-valued abstraction for probabilistic systems. Zbl 1277.68219Katoen, Joost-Pieter; Klink, Daniel; Leucker, Martin; Wolf, Verena 6 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 4 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 Compositional abstraction techniques for probabilistic automata. Zbl 1362.68155Sher, Falak; Katoen, Joost-Pieter 2 2012 Layered reasoning for randomized distributed algorithms. Zbl 1259.68114Swaminathan, Mani; Katoen, Joost-Pieter; Olderog, Ernst-Rüdiger 1 2012 Model checking of continuous-time Markov chains against timed automata specifications. Zbl 1233.68156Chen, Taolue; Han, Tingting; Katoen, Joost-Pieter; Mereacre, Alexandru 10 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 8 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 A local Greibach normal form for hyperedge replacement grammars. Zbl 1330.68134Jansen, Christina; Heinen, Jonathan; Katoen, Joost-Pieter; Noll, Thomas 2 2011 Deciding probabilistic simulation between probabilistic pushdown automata and finite-state systems. Zbl 1246.68144Fu, Hongfei; Katoen, Joost-Pieter 2 2011 Approximate model checking of stochastic hybrid systems. Zbl 1216.93091Abate, Alessandro; Katoen, Joost-Pieter; Lygeros, John; Prandini, Maria 14 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. 8 2010 The how and why of interactive Markov chains. Zbl 1312.68152Hermanns, Holger; Katoen, Joost-Pieter 7 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 Abstraction for stochastic systems by Erlang’s method of stages. Zbl 1160.68469Katoen, Joost-Pieter; Klink, Daniel; Leucker, Martin; Wolf, Verena 1 2008 Reachability in continuous-time Markov reward decision processes. Zbl 1222.68120Baier, Christel; Haverkort, Boudewijn R.; Hermanns, Holger; Katoen, Joost-Pieter 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 14 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 4 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 28 2005 Model-based testing of reactive systems. Advanced lectures. Zbl 1070.68088 22 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 A theory of stochastic systems. I: Stochastic automata. Zbl 1105.68061D’Argenio, Pedro R.; Katoen, Joost-Pieter 8 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 10 2004 Discrete-time rewards model-checked. Zbl 1099.68652Andova, Suzana; Hermanns, Holger; Katoen, Joost-Pieter 9 2004 Who is pointing when to whom? On the automated verification of linked list structures. Zbl 1117.68427Distefano, Dino; Katoen, Joost-Pieter; Rensink, Arend 3 2004 Validation of stochastic systems. A guide to current research. Zbl 1047.68001 2 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 Embedded software analysis with MOTOR. Zbl 1105.68335Katoen, Joost-Pieter; Bohnenkamp, Henrik; Klaren, Ric; Hermanns, Holger 1 2004 Model-checking large structured Markov chains. Zbl 1048.68053Buchholz, Peter; Katoen, Joost-Pieter; Kemper, Peter; Tepper, Carsten 5 2003 Comparative branching-time semantics for Markov chains (extended abstract). Zbl 1274.68264Baier, Christel; Hermanns, Holger; Katoen, Joost-Pieter; Wolf, Verena 5 2003 Process algebra for performance evaluation. Zbl 0992.68149Hermanns, Holger; Herzog, Ulrich; Katoen, Joost-Pieter 21 2002 Simulation for continuous-time Markov chains. Zbl 1012.68526Baier, Christel; Katoen, Joost-Pieter; Hermanns, Holger; Haverkort, Boudewijn 5 2002 A probabilistic extension of UML statecharts specification and verification. Zbl 1278.68226Jansen, David N.; Hermanns, Holger; Katoen, Joost-Pieter 4 2002 Automated performance and dependability evaluation using model checking. Zbl 1017.68500Baier, Christel; Haverkort, Boudewijn; Hermanns, Holger; Katoen, Joost-Pieter 1 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 6 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 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 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.00082 1 2001 Model checking continuous-time Markov chains by transient analysis. Zbl 0974.68017Baier, Christel; Haverkort, Boudewijn; Hermanns, Holger; Katoen, Joost-Pieter 28 2000 ...and 11 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 1,025 Authors 49 Katoen, Joost-Pieter 20 Hermanns, Holger 18 Baier, Christel 14 Abate, Alessandro 14 Larsen, Kim Guldstrand 11 Kwiatkowska, Marta Z. 11 Legay, Axel 10 Zhang, Lijun 9 Delahaye, Benoît 9 Junges, Sebastian 8 Bernardo, Marco 8 Zamani, Majid 7 Chatterjee, Krishnendu 7 Křetínský, Jan 7 Tini, Simone 6 D’Argenio, Pedro Rubén 6 Duan, Zhenhua 6 Haverkort, Boudewijn R. 6 Hillston, Jane 6 Jansen, Nils 6 Klein, Joachim 6 Loreti, Michele 6 Silva, Alexandra 6 Soudjani, Sadegh 6 Stoelinga, Mariëlle 6 Tian, Cong 5 Bortolussi, Luca 5 Brázdil, Tomáš 5 Brihaye, Thomas 5 Gebler, Daniel E. 5 Henzinger, Thomas A. 5 Jansen, David N. 5 Kaminski, Benjamin Lucien 5 Kucera, Antonin 5 Lanotte, Ruggero 5 Latella, Diego 5 Lavaei, Abolfazl 5 Massink, Mieke 5 Norman, Gethin 5 Piazza, Carla 5 Sproston, Jeremy 5 Tkachev, Ilya 5 Turrini, Andrea 5 Wąsowski, Andrzej 4 Bertrand, Nathalie 4 Bouyer, Patricia 4 Buchholz, Peter 4 Češka, Milan 4 De Nicola, Rocco 4 Feng, Yuan 4 Forejt, Vojtěch 4 Hahn, Ernst Moritz 4 Kiefer, Stefan 4 Klüppelholz, Sascha 4 Konnov, Igor V. 4 Majumdar, Rupak 4 Mardare, Radu 4 Marin, Andrea 4 Mereacre, Alexandru 4 Pedersen, Mikkel Lykke 4 Raskin, Jean-François 4 Rossi, Sabina 4 Steffen, Bernhard 4 van Breugel, Franck 4 Viswanathan, Mahesh 4 Widder, Josef 4 Wijs, Anton J. 4 Willemse, Tim A. C. 4 Wimmer, Ralf D. 4 Wolf, Verena 4 Worrell, James B. 3 Azgomi, Mohammad Abdollahi 3 Bacci, Giorgio 3 Bartocci, Ezio 3 Becker, Bernd 3 Bérard, Béatrice 3 Bonchi, Filippo 3 Brauer, Jörg 3 Bravetti, Mario 3 Brim, Luboš 3 Chen, Taolue 3 Dal Lago, Ugo 3 Dubslaff, Clemens 3 Esparza, Javier 3 Fecher, Harald 3 Gomez, Rodolfo 3 Haddad, Serge 3 Hashemi, Vahid 3 Howar, Falk 3 Kamgarpour, Maryam 3 Kovács, Laura Ildikó 3 Löding, Christof 3 Lygeros, John 3 Majster-Cederbaum, Mila E. 3 Merro, Massimo 3 Mio, Matteo 3 Movaghar, Ali 3 Neele, Thomas 3 Neuhäußer, Martin R. 3 Olderog, Ernst-Rüdiger ...and 925 more Authors all top 5 Cited in 63 Serials 44 Theoretical Computer Science 37 Formal Aspects of Computing 29 Information and Computation 26 Acta Informatica 26 Formal Methods in System Design 19 Logical Methods in Computer Science 11 The Journal of Logic and Algebraic Programming 10 Discrete Event Dynamic Systems 10 Journal of Logical and Algebraic Methods in Programming 9 Automatica 9 Science of Computer Programming 7 Journal of Automated Reasoning 7 MSCS. Mathematical Structures in Computer Science 5 Journal of Computer and System Sciences 5 Fundamenta Informaticae 4 Information Processing Letters 4 Distributed Computing 4 ACM Transactions on Computational Logic 4 Nonlinear Analysis. Hybrid Systems 3 Artificial Intelligence 3 Computing 3 The Journal of Artificial Intelligence Research (JAIR) 2 Programming and Computer Software 2 SIAM Journal on Control and Optimization 2 Journal of Computer Science and Technology 2 Computers & Operations Research 2 International Journal of Approximate Reasoning 2 Machine Learning 2 International Journal of Foundations of Computer Science 2 Theory of Computing Systems 2 Journal of the ACM 2 Journal of Applied Mathematics 2 Algorithms 1 ACM Computing Surveys 1 Computers & Mathematics with Applications 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 Annals of Pure and Applied Logic 1 International Journal of Parallel Programming 1 Annals of Operations Research 1 Real-Time Systems 1 Numerical Algorithms 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 Journal of Functional Programming 1 Annals of Mathematics and Artificial Intelligence 1 Computer Science Journal of Moldova 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 22 Fields 500 Computer science (68-XX) 89 Mathematical logic and foundations (03-XX) 67 Probability theory and stochastic processes (60-XX) 58 Systems theory; control (93-XX) 35 Operations research, mathematical programming (90-XX) 29 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 17 Biology and other natural sciences (92-XX) 9 Combinatorics (05-XX) 8 Information and communication theory, circuits (94-XX) 7 Numerical analysis (65-XX) 6 Ordinary differential equations (34-XX) 5 Category theory; homological algebra (18-XX) 5 Statistics (62-XX) 4 Calculus of variations and optimal control; optimization (49-XX) 3 General and overarching topics; collections (00-XX) 3 Order, lattices, ordered algebraic structures (06-XX) 2 Convex and discrete geometry (52-XX) 2 Mechanics of particles and systems (70-XX) 2 Quantum theory (81-XX) 1 Number theory (11-XX) 1 Measure and integration (28-XX) 1 General topology (54-XX) Citations by Year