×

Katoen, Joost-Pieter

Author ID: katoen.joost-pieter Recent zbMATH articles by "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
all top 5

Co-Authors

5 single-authored
33 Hermanns, Holger
28 Junges, Sebastian
20 Jansen, Nils
19 Baier, Christel
17 Kaminski, Benjamin Lucien
11 Matheja, Christoph
10 Haverkort, Boudewijn R.
9 Mereacre, Alexandru
9 Quatmann, Tim
8 Topcu, Ufuk
8 Winkler, Tobias
7 Han, Tingting
7 Stoelinga, Mariëlle
7 Wimmer, Ralf D.
7 Wolf, Verena
6 Abate, Alessandro
6 Ábrahám, Erika
6 Cubuktepe, Murat
6 Leucker, Martin
6 Rensink, Arend
5 Batz, Kevin
5 Becker, Bernd
5 Chen, Mingshuai
5 D’Argenio, Pedro Rubén
5 Dehnert, Christian
5 Olmedo, Federico
5 Spel, Jip
4 Chen, Taolue
4 Hartmanns, Arnd
4 Klink, Daniel
4 Latella, Diego
4 Neuhäußer, Martin R.
4 Noll, Thomas
4 Sher, Falak
4 Timmer, Mark
4 Zhan, Naijun
3 Bartocci, Ezio
3 Češka, Milan
3 Chakraborty, Souymodip
3 Distefano, Dino
3 Guck, Dennis
3 Langerak, Rom
3 Larsen, Kim Guldstrand
3 Massink, Mieke
3 Siegle, Markus
3 van de Pol, Jan Cornelis
2 Barthe, Gilles
2 Brinksma, Ed
2 Chatterjee, Krishnendu
2 Delahaye, Benoît
2 Fu, Hongfei
2 Gehnen, Christina
2 Gretz, Friedrich
2 Hahn, Ernst Moritz
2 Heinen, Jonathan
2 Hensel, Christian
2 Jansen, Christina
2 Jansen, David N.
2 Klaren, Ric
2 Klinkenberg, Lutz
2 Kovács, Laura Ildikó
2 Legay, Axel
2 McIver, Annabelle K.
2 Meyer-Kayser, Joachim
2 Moerman, Joshua
2 Moosbrugger, Marcel
2 Nymeyer, Albert
2 Pedersen, Mikkel Lykke
2 Pérez, Guillermo A.
2 Salmani, Bahare
2 Schröer, Philipp
2 Silva, Alexandra
2 Tkachev, Ilya
2 Volk, Matthias
2 Wang, Qiuye
2 Wąsowski, Andrzej
2 Xue, Bai
2 Zhang, Lijun
1 Aflaki, Saba
1 Ahmadi, Mohamadreza
1 Andova, Suzana
1 Andriushchenko, Roman
1 Arming, Sebastian
1 Badings, Thom S.
1 Barbot, Benoît
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 Bork, Alexander
1 Bošnački, Dragan
1 Bravetti, Mario
1 Brázdil, Tomáš
1 Briones, Laura Brandán
1 Broy, Manfred
1 Bruda, Stefan D.
1 Brunekreef, Jacob
...and 100 more Co-Authors

Publications by Year

Citations contained in zbMATH Open

140 Publications have been cited 1,269 times in 769 Documents Cited by Year
Principles of model checking. Foreword by Kim Guldstrand Larsen. Zbl 1179.68076
Baier, Christel; Katoen, Joost-Pieter
393
2008
Comparative branching-time semantics for Markov chains. Zbl 1101.68053
Baier, Christel; Katoen, Joost-Pieter; Hermanns, Holger; Wolf, Verena
35
2005
Model checking continuous-time Markov chains by transient analysis. Zbl 0974.68017
Baier, Christel; Haverkort, Boudewijn; Hermanns, Holger; Katoen, Joost-Pieter
31
2000
Model-based testing of reactive systems. Advanced lectures. Zbl 1070.68088
30
2005
Process algebra for performance evaluation. Zbl 0992.68149
Hermanns, Holger; Herzog, Ulrich; Katoen, Joost-Pieter
24
2002
Approximate model checking of stochastic hybrid systems. Zbl 1216.93091
Abate, Alessandro; Katoen, Joost-Pieter; Lygeros, John; Prandini, Maria
22
2010
Bisimulation minimisation mostly speeds up probabilistic model checking. Zbl 1186.68296
Katoen, Joost-Pieter; Kemna, Tim; Zapreev, Ivan; Jansen, David N.
22
2007
Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes. Zbl 1081.90066
Baier, Christel; Hermanns, Holger; Katoen, Joost-Pieter; Haverkort, Boudewijn R.
21
2005
Approximate symbolic model checking of continuous-time Markov chains. Zbl 0934.03044
Baier, Christel; Katoen, Joost-Pieter; Hermanns, Holger
20
1999
Weakest precondition reasoning for expected run-times of probabilistic programs. Zbl 1335.68058
Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph; Olmedo, Federico
20
2016
Parameter synthesis for Markov models: faster than ever. Zbl 1398.68346
Quatmann, Tim; Dehnert, Christian; Jansen, Nils; Junges, Sebastian; Katoen, Joost-Pieter
20
2016
A compositional modelling and analysis framework for stochastic hybrid systems. Zbl 1291.68293
Hahn, Ernst Moritz; Hartmanns, Arnd; Hermanns, Holger; Katoen, Joost-Pieter
17
2013
The probabilistic model checking landscape. Zbl 1401.68201
Katoen, Joost-Pieter
16
2016
Three-valued abstraction for continuous-time Markov chains. Zbl 1135.68476
Katoen, Joost-Pieter; Klink, Daniel; Leucker, Martin; Wolf, Verena
16
2007
A semantics for every GSPN. Zbl 1381.68199
Eisentraut, Christian; Hermanns, Holger; Katoen, Joost-Pieter; Zhang, Lijun
13
2013
Linear-invariant generation for probabilistic programs: automated support for proof-based methods. Zbl 1239.68020
Katoen, Joost-Pieter; McIver, Annabelle K.; Meinicke, Larissa A.; Morgan, Carroll C.
13
2010
On the hardness of almost-sure termination. Zbl 1465.68097
Kaminski, Benjamin Lucien; Katoen, Joost-Pieter
13
2015
Automated compositional Markov chain generation for a plain-old telephone system. Zbl 0941.68649
Hermanns, Holger; Katoen, Joost-Pieter
12
2000
On the logical characterisation of performability properties. Zbl 0973.68014
Baier, Christel; Haverkort, Boudewijn; Hermanns, Holger; Katoen, Joost-Pieter
12
2000
Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems. Zbl 1362.68189
Tkachev, Ilya; Mereacre, Alexandru; Katoen, Joost-Pieter; Abate, Alessandro
12
2013
Discrete-time rewards model-checked. Zbl 1099.68652
Andova, Suzana; Hermanns, Holger; Katoen, Joost-Pieter
11
2004
Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination. Zbl 1443.68101
Baier, Christel; Hensel, Christian; Hutschenreiter, Lisa; Junges, Sebastian; Katoen, Joost-Pieter; Klein, Joachim
11
2020
Model checking of continuous-time Markov chains against timed automata specifications. Zbl 1233.68156
Chen, Taolue; Han, Tingting; Katoen, Joost-Pieter; Mereacre, Alexandru
11
2011
A theory of stochastic systems. I: Stochastic automata. Zbl 1105.68061
D’Argenio, Pedro R.; Katoen, Joost-Pieter
10
2005
Faster and symbolic CTMC model checking. Zbl 1007.68517
Katoen, Joost-Pieter; Kwiatkowska, Marta; Norman, Gethin; Parker, David
10
2001
Probabilistic weak simulation is decidable in polynomial time. Zbl 1183.68703
Baier, Christel; Hermanns, Holger; Katoen, Joost-Pieter
10
2004
The complexity of reachability in parametric Markov decision processes. Zbl 1477.68124
Junges, Sebastian; Katoen, Joost-Pieter; Pérez, Guillermo A.; Winkler, Tobias
10
2021
Weakest precondition reasoning for expected runtimes of randomized algorithms. Zbl 1426.68298
Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph; Olmedo, Federico
10
2018
Efficient CTMC model checking of linear real-time objectives. Zbl 1315.68174
Barbot, Benoît; Chen, Taolue; Han, Tingting; Katoen, Joost-Pieter; Mereacre, Alexandru
10
2011
Metric semantics for true concurrent real time. Zbl 0976.68103
Katoen, J.-P.; Baier, C.; Latella, D.
9
2001
Reasoning about recursive probabilistic programs. Zbl 1401.68048
Olmedo, Federico; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph
9
2016
Robust PCTL model checking. Zbl 1361.68140
D’Innocenzo, Alessandro; Abate, Alessandro; Katoen, Joost-Pieter
9
2012
Conditioning in probabilistic programming. Zbl 1351.68066
Jansen, Nils; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Olmedo, Federico; Gretz, Friedrich; McIver, Annabelle
9
2015
Counterexamples in probabilistic model checking. Zbl 1186.68293
Han, Tingting; Katoen, Joost-Pieter
9
2007
Multi-cost bounded reachability in MDP. Zbl 1423.68282
Hartmanns, Arnd; Junges, Sebastian; Katoen, Joost-Pieter; Quatmann, Tim
8
2018
Automated termination analysis of polynomial probabilistic programs. Zbl 1473.68053
Moosbrugger, Marcel; Bartocci, Ezio; Katoen, Joost-Pieter; Kovács, Laura
8
2021
The how and why of interactive Markov chains. Zbl 1312.68152
Hermanns, Holger; Katoen, Joost-Pieter
8
2010
Abstract probabilistic automata. Zbl 1317.68095
Delahaye, Benoît; Katoen, Joost-Pieter; Larsen, Kim G.; Legay, Axel; Pedersen, Mikkel L.; Sher, Falak; Wąsowski, Andrzej
8
2011
On the hardness of analyzing probabilistic programs. Zbl 1417.68054
Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph
8
2019
A theory of stochastic systems. II: Process algebra. Zbl 1106.68073
D’Argenio, Pedro R.; Katoen, Joost-Pieter
7
2005
Beyond memoryless distributions: model checking semi-Markov chains. Zbl 1007.68514
Infante López, Gabriel G.; Hermanns, Holger; Katoen, Joost-Pieter
7
2001
Model-checking large structured Markov chains. Zbl 1048.68053
Buchholz, Peter; Katoen, Joost-Pieter; Kemper, Peter; Tepper, Carsten
7
2003
Analysis of timed and long-run objectives for Markov automata. Zbl 1342.68135
Guck, Dennis; Hatefi, Hassan; Hermanns, Holger; Katoen, Joost-Pieter; Timmer, Mark
7
2014
SMT-based bisimulation minimisation of Markov models. Zbl 1426.68168
Dehnert, Christian; Katoen, Joost-Pieter; Parker, David
7
2013
Compositional abstraction for stochastic systems. Zbl 1262.68142
Katoen, Joost-Pieter; Klink, Daniel; Neuhäußer, Martin R.
7
2009
Are parametric Markov chains monotonic? Zbl 1437.68121
Spel, Jip; Junges, Sebastian; Katoen, Joost-Pieter
7
2019
Sequential convex programming for the efficient verification of parametric MDPs. Zbl 1452.68117
Cubuktepe, Murat; Jansen, Nils; Junges, Sebastian; Katoen, Joost-Pieter; Papusha, Ivan; Poonawala, Hasan A.; Topcu, Ufuk
7
2017
Bisimulation and logical preservation for continuous-time Markov decision processes. Zbl 1151.68549
Neuhäußer, Martin R.; Katoen, Joost-Pieter
7
2007
Understanding probabilistic programs. Zbl 1444.68045
Katoen, Joost-Pieter; Gretz, Friedrich; Jansen, Nils; Kaminski, Benjamin Lucien; Olmedo, Federico
7
2015
How long, O Bayesian network, will I sample thee? A program analysis perspective on expected sampling times. Zbl 1418.68050
Batz, Kevin; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph
6
2018
Comparative branching-time semantics for Markov chains (extended abstract). Zbl 1274.68264
Baier, Christel; Hermanns, Holger; Katoen, Joost-Pieter; Wolf, Verena
6
2003
Delayed nondeterminism in continuous-time Markov decision processes. Zbl 1234.68320
Neuhäußer, Martin R.; Stoelinga, Mariëlle; Katoen, Joost-Pieter
6
2009
Three-valued abstraction for probabilistic systems. Zbl 1277.68219
Katoen, Joost-Pieter; Klink, Daniel; Leucker, Martin; Wolf, Verena
6
2012
Efficient modelling and generation of Markov automata. Zbl 1364.68295
Timmer, Mark; Katoen, Joost-Pieter; van de Pol, Jaco; Stoelinga, Mariëlle I. A.
6
2012
Bounded model checking for probabilistic programs. Zbl 1398.68343
Jansen, Nils; Dehnert, Christian; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Westhofen, Lukas
6
2016
Simulation for continuous-time Markov chains. Zbl 1012.68526
Baier, Christel; Katoen, Joost-Pieter; Hermanns, Holger; Haverkort, Boudewijn
5
2002
On the satisfiability of some simple probabilistic logics. Zbl 1394.68169
Chakraborty, Souymodip; Katoen, Joost-Pieter
5
2016
Efficient GPU algorithms for parallel decomposition of graphs into strongly connected and maximal end components. Zbl 1404.68204
Wijs, Anton; Katoen, Joost-Pieter; Bošnački, Dragan
5
2016
Quantitative automata model checking of autonomous stochastic hybrid systems. Zbl 1361.68130
Abate, Alessandro; Katoen, Joost-Pieter; Mereacre, Alexandru
5
2011
PrIC3: property directed reachability for MDPs. Zbl 1478.68143
Batz, Kevin; Junges, Sebastian; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph; Schröer, Philipp
5
2020
Minimal critical subsystems for discrete-time Markov models. Zbl 1352.68167
Wimmer, Ralf; Jansen, Nils; Ábrahám, Erika; Becker, Bernd; Katoen, Joost-Pieter
5
2012
YMCA: why Markov chain algebra? Zbl 1316.68088
Bravetti, Mario; Hermanns, Holger; Katoen, Joost-Pieter
5
2006
Causal ambiguity and partial orders in event structures. Zbl 1512.68171
Langerak, Rom; Brinksma, Ed; Katoen, Joost-Pieter
5
1997
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
5
2014
Automatic verification of a lip-synchronisation protocol using UPPAAL. Zbl 0951.68533
Bowman, H.; Faconti, G.; Katoen, J.-P.; Latella, D.; Massink, M.
4
1998
Who is pointing when to whom? On the automated verification of linked list structures. Zbl 1117.68427
Distefano, Dino; Katoen, Joost-Pieter; Rensink, Arend
4
2004
Bottom-up tree acceptors. Zbl 0687.68044
Hemerik, C.; Katoen, J. P.
4
1989
Hierarchical counterexamples for discrete-time Markov chains. Zbl 1348.68139
Jansen, Nils; Ábrahám, Erika; Katelaan, Jens; Wimmer, Ralf; Katoen, Joost-Pieter; Becker, Bernd
4
2011
Zero-reachability in probabilistic multi-counter automata. Zbl 1401.68151
Brázdil, Tomáš; Kiefer, Stefan; Kučera, Antonín; Novotný, Petr; Katoen, Joost-Pieter
4
2014
Quantitative model-checking of controlled discrete-time Markov processes. Zbl 1359.68199
Tkachev, Ilya; Mereacre, Alexandru; Katoen, Joost-Pieter; Abate, Alessandro
4
2017
Foundations of probabilistic programming. Zbl 1458.68003
4
2021
A probabilistic extension of UML statecharts specification and verification. Zbl 1278.68226
Jansen, David N.; Hermanns, Holger; Katoen, Joost-Pieter
4
2002
Performability assessment by model checking of Markov reward models. Zbl 1209.68309
Baier, Christel; Cloth, Lucia; Haverkort, Boudewijn R.; Hermanns, Holger; Katoen, Joost-Pieter
4
2010
Safety and liveness in concurrent pointer programs. Zbl 1196.68045
Distefano, Dino; Katoen, Joost-Pieter; Rensink, Arend
4
2006
Minimal counterexamples for linear-time probabilistic verification. Zbl 1360.68604
Wimmer, Ralf; Jansen, Nils; Ábrahám, Erika; Katoen, Joost-Pieter; Becker, Bernd
4
2014
The 10,000 facets of MDP model checking. Zbl 1482.68133
Baier, Christel; Hermanns, Holger; Katoen, Joost-Pieter
4
2019
Model checking HML on piecewise-constant inhomogeneous Markov chains. Zbl 1171.68550
Katoen, Joost-Pieter; Mereacre, Alexandru
4
2008
Compositional modeling and minimization of time-inhomogeneous Markov chains. Zbl 1144.93379
Han, Tingting; Katoen, Joost-Pieter; Mereacre, Alexandru
4
2008
Finding provably optimal Markov chains. Zbl 1467.68095
Spel, Jip; Junges, Sebastian; Katoen, Joost-Pieter
4
2021
Weighted lumpability on Markov chains. Zbl 1336.68186
Sharma, Arpit; Katoen, Joost-Pieter
4
2012
First passage time analysis of stochastic process algebra using partial orders. Zbl 0978.68103
Ruys, Theo C.; Langerak, Rom; Katoen, Joost-Pieter; Latella, Diego; Massink, Mieke
3
2001
A Markov chain model checker. Zbl 0960.68108
Hermanns, Holger; Katoen, Joost-Pieter; Meyer-Kayser, Joachim; Siegle, Markus
3
2000
Validation of stochastic systems. A guide to current research. Zbl 1047.68001
3
2004
MoDeST — a modelling and description language for stochastic timed systems. Zbl 1007.68518
D’Argenio, Pedro R.; Hermanns, Holger; Katoen, Joost-Pieter; Klaren, Ric
3
2001
Bayesian inference by symbolic model checking. Zbl 1483.68204
Salmani, Bahare; Katoen, Joost-Pieter
3
2020
Stochastic games with lexicographic reachability-safety objectives. Zbl 1478.68151
Chatterjee, Krishnendu; Katoen, Joost-Pieter; Weininger, Maximilian; Winkler, Tobias
3
2020
Reachability in continuous-time Markov reward decision processes. Zbl 1222.68120
Baier, Christel; Haverkort, Boudewijn R.; Hermanns, Holger; Katoen, Joost-Pieter
3
2008
Compositional abstraction techniques for probabilistic automata. Zbl 1362.68155
Sher, Falak; Katoen, Joost-Pieter
3
2012
A linear process-algebraic format with data for probabilistic automata. Zbl 1283.68246
Katoen, Joost-Pieter; van de Pol, Jaco; Stoelinga, Mariëlle; Timmer, Mark
3
2012
Model checking mobile stochastic logic. Zbl 1159.68478
De Nicola, Rocco; Katoen, Joost-Pieter; Latella, Diego; Loreti, Michele; Massink, Mieke
3
2007
Providing evidence of likely being on time: Counterexample generation for CTMC model checking. Zbl 1141.68470
Han, Tingting; Katoen, Joost-Pieter
3
2007
A local Greibach normal form for hyperedge replacement grammars. Zbl 1330.68134
Jansen, Christina; Heinen, Jonathan; Katoen, Joost-Pieter; Noll, Thomas
3
2011
Abstract probabilistic automata. Zbl 1296.68092
Delahaye, Benoît; Katoen, Joost-Pieter; Larsen, Kim G.; Legay, Axel; Pedersen, Mikkel L.; Sher, Falak; Wąsowski, Andrzej
3
2013
High-level counterexamples for probabilistic automata. Zbl 1347.68211
Wimmer, Ralf; Jansen, Nils; Ábrahám, Erika; Katoen, Joost-Pieter
3
2015
Model checking of open interval Markov chains. Zbl 1392.68240
Chakraborty, Souymodip; Katoen, Joost-Pieter
3
2015
Latticed \(k\)-induction with an application to probabilistic programs. Zbl 1493.68204
Batz, Kevin; Chen, Mingshuai; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph; Schröer, Philipp
3
2021
On generative parallel composition. Zbl 0920.68078
D’Argenio, Pedro R.; Hermanns, Holger; Katoen, Joost-Pieter
2
1998
Systolic arrays for the recognition of permutation-invariant segments. Zbl 0858.68022
Katoen, Joost-Pieter; Schoenmakers, Berry
2
1996
General distributions in process algebra. Zbl 0990.68091
Katoen, Joost-Pieter; D’Argenio, Pedro R.
2
2001
On a temporal logic for object-based systems. Zbl 0968.68020
Distefano, Dino; Katoen, Joost-Pieter; Rensink, Arend
2
2000
Gradient-descent for randomized controllers under partial observability. Zbl 1498.68159
Heck, Linus; Spel, Jip; Junges, Sebastian; Moerman, Joshua; Katoen, Joost-Pieter
1
2022
The complexity of reachability in parametric Markov decision processes. Zbl 1477.68124
Junges, Sebastian; Katoen, Joost-Pieter; Pérez, Guillermo A.; Winkler, Tobias
10
2021
Automated termination analysis of polynomial probabilistic programs. Zbl 1473.68053
Moosbrugger, Marcel; Bartocci, Ezio; Katoen, Joost-Pieter; Kovács, Laura
8
2021
Foundations of probabilistic programming. Zbl 1458.68003
4
2021
Finding provably optimal Markov chains. Zbl 1467.68095
Spel, Jip; Junges, Sebastian; Katoen, Joost-Pieter
4
2021
Latticed \(k\)-induction with an application to probabilistic programs. Zbl 1493.68204
Batz, Kevin; Chen, Mingshuai; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph; Schröer, Philipp
3
2021
Inductive synthesis for probabilistic programs reaches new horizons. Zbl 1467.68035
Andriushchenko, Roman; Češka, Milan; Junges, Sebastian; Katoen, Joost-Pieter
2
2021
Fine-tuning the odds in Bayesian networks. Zbl 07542348
Salmani, Bahare; Katoen, Joost-Pieter
2
2021
Expected runtime analyis by program verification. Zbl 07311046
Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph
1
2021
Strategy synthesis for POMDPs in robot planning via game-based abstractions. Zbl 07352056
Winterer, Leonore; Junges, Sebastian; Wimmer, Ralf; Jansen, Nils; Topcu, Ufuk; Katoen, Joost-Pieter; Becker, Bernd
1
2021
Multi-objective optimization of long-run average and total rewards. Zbl 1467.68094
Quatmann, Tim; Katoen, Joost-Pieter
1
2021
Generating functions for probabilistic programs. Zbl 07496650
Klinkenberg, Lutz; Batz, Kevin; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Moerman, Joshua; Winkler, Tobias
1
2021
Tweaking the odds in probabilistic timed automata. Zbl 1491.68098
Hartmanns, Arnd; Katoen, Joost-Pieter; Kohlen, Bram; Spel, Jip
1
2021
Synthesizing invariant barrier certificates via difference-of-convex programming. Zbl 1493.68222
Wang, Qiuye; Chen, Mingshuai; Xue, Bai; Zhan, Naijun; Katoen, Joost-Pieter
1
2021
Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination. Zbl 1443.68101
Baier, Christel; Hensel, Christian; Hutschenreiter, Lisa; Junges, Sebastian; Katoen, Joost-Pieter; Klein, Joachim
11
2020
PrIC3: property directed reachability for MDPs. Zbl 1478.68143
Batz, Kevin; Junges, Sebastian; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph; Schröer, Philipp
5
2020
Bayesian inference by symbolic model checking. Zbl 1483.68204
Salmani, Bahare; Katoen, Joost-Pieter
3
2020
Stochastic games with lexicographic reachability-safety objectives. Zbl 1478.68151
Chatterjee, Krishnendu; Katoen, Joost-Pieter; Weininger, Maximilian; Winkler, Tobias
3
2020
Multi-cost bounded tradeoff analysis in MDP. Zbl 1468.68132
Hartmanns, Arnd; Junges, Sebastian; Katoen, Joost-Pieter; Quatmann, Tim
2
2020
Scenario-based verification of uncertain MDPs. Zbl 1507.68182
Cubuktepe, Murat; Jansen, Nils; Junges, Sebastian; Katoen, Joost-Pieter; Topcu, Ufuk
2
2020
Simple strategies in multi-objective MDPs. Zbl 1507.68183
Delgrange, Florent; Katoen, Joost-Pieter; Quatmann, Tim; Randour, Mickael
2
2020
Probabilistic model checking of AODV. Zbl 1483.68037
Kamali, Mojgan; Katoen, Joost-Pieter
1
2020
On the hardness of analyzing probabilistic programs. Zbl 1417.68054
Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph
8
2019
Are parametric Markov chains monotonic? Zbl 1437.68121
Spel, Jip; Junges, Sebastian; Katoen, Joost-Pieter
7
2019
The 10,000 facets of MDP model checking. Zbl 1482.68133
Baier, Christel; Hermanns, Holger; Katoen, Joost-Pieter
4
2019
Weakest precondition reasoning for expected runtimes of randomized algorithms. Zbl 1426.68298
Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph; Olmedo, Federico
10
2018
Multi-cost bounded reachability in MDP. Zbl 1423.68282
Hartmanns, Arnd; Junges, Sebastian; Katoen, Joost-Pieter; Quatmann, Tim
8
2018
How long, O Bayesian network, will I sample thee? A program analysis perspective on expected sampling times. Zbl 1418.68050
Batz, Kevin; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph
6
2018
Improving generalization in software IC3. Zbl 1508.68066
Lange, Tim; Prinz, Frederick; Neuhäußer, Martin R.; Noll, Thomas; Katoen, Joost-Pieter
1
2018
Parameter-independent strategies for pMDPs via POMDPs. Zbl 1514.68190
Arming, Sebastian; Bartocci, Ezio; Chatterjee, Krishnendu; Katoen, Joost-Pieter; Sokolova, Ana
1
2018
Model checking for safe navigation among humans. Zbl 1514.68136
Junges, Sebastian; Jansen, Nils; Katoen, Joost-Pieter; Topcu, Ufuk; Zhang, Ruohan; Hayhoe, Mary
1
2018
Sequential convex programming for the efficient verification of parametric MDPs. Zbl 1452.68117
Cubuktepe, Murat; Jansen, Nils; Junges, Sebastian; Katoen, Joost-Pieter; Papusha, Ivan; Poonawala, Hasan A.; Topcu, Ufuk
7
2017
Quantitative model-checking of controlled discrete-time Markov processes. Zbl 1359.68199
Tkachev, Ilya; Mereacre, Alexandru; Katoen, Joost-Pieter; Abate, Alessandro
4
2017
A weakest pre-expectation semantics for mixed-sign expectations. Zbl 1458.68038
Kaminski, Benjamin Lucien; Katoen, Joost-Pieter
2
2017
Markov automata with multiple objectives. Zbl 1494.68146
Quatmann, Tim; Junges, Sebastian; Katoen, Joost-Pieter
1
2017
Weakest precondition reasoning for expected run-times of probabilistic programs. Zbl 1335.68058
Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph; Olmedo, Federico
20
2016
Parameter synthesis for Markov models: faster than ever. Zbl 1398.68346
Quatmann, Tim; Dehnert, Christian; Jansen, Nils; Junges, Sebastian; Katoen, Joost-Pieter
20
2016
The probabilistic model checking landscape. Zbl 1401.68201
Katoen, Joost-Pieter
16
2016
Reasoning about recursive probabilistic programs. Zbl 1401.68048
Olmedo, Federico; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph
9
2016
Bounded model checking for probabilistic programs. Zbl 1398.68343
Jansen, Nils; Dehnert, Christian; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Westhofen, Lukas
6
2016
On the satisfiability of some simple probabilistic logics. Zbl 1394.68169
Chakraborty, Souymodip; Katoen, Joost-Pieter
5
2016
Efficient GPU algorithms for parallel decomposition of graphs into strongly connected and maximal end components. Zbl 1404.68204
Wijs, Anton; Katoen, Joost-Pieter; Bošnački, Dragan
5
2016
Confluence reduction for Markov automata. Zbl 1356.68136
Timmer, Mark; Katoen, Joost-Pieter; van de Pol, Jaco; Stoelinga, Mariëlle
2
2016
Inferring covariances for probabilistic programs. Zbl 1377.68070
Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph
1
2016
On the hardness of almost-sure termination. Zbl 1465.68097
Kaminski, Benjamin Lucien; Katoen, Joost-Pieter
13
2015
Conditioning in probabilistic programming. Zbl 1351.68066
Jansen, Nils; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Olmedo, Federico; Gretz, Friedrich; McIver, Annabelle
9
2015
Understanding probabilistic programs. Zbl 1444.68045
Katoen, Joost-Pieter; Gretz, Friedrich; Jansen, Nils; Kaminski, Benjamin Lucien; Olmedo, Federico
7
2015
High-level counterexamples for probabilistic automata. Zbl 1347.68211
Wimmer, Ralf; Jansen, Nils; Ábrahám, Erika; Katoen, Joost-Pieter
3
2015
Model checking of open interval Markov chains. Zbl 1392.68240
Chakraborty, Souymodip; Katoen, Joost-Pieter
3
2015
Fault trees on a diet – automated reduction by graph rewriting. Zbl 1369.68172
Junges, 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.68135
Guck, Dennis; Hatefi, Hassan; Hermanns, Holger; Katoen, Joost-Pieter; Timmer, Mark
7
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
5
2014
Zero-reachability in probabilistic multi-counter automata. Zbl 1401.68151
Brázdil, Tomáš; Kiefer, Stefan; Kučera, Antonín; Novotný, Petr; Katoen, Joost-Pieter
4
2014
Minimal counterexamples for linear-time probabilistic verification. Zbl 1360.68604
Wimmer, Ralf; Jansen, Nils; Ábrahám, Erika; Katoen, Joost-Pieter; Becker, Bernd
4
2014
Probably safe or live. Zbl 1394.68231
Katoen, Joost-Pieter; Song, Lei; Zhang, Lijun
2
2014
Fast debugging of PRISM models. Zbl 1448.68295
Dehnert, Christian; Jansen, Nils; Wimmer, Ralf; Ábrahám, Erika; Katoen, Joost-Pieter
2
2014
Parametric LTL on Markov chains. Zbl 1417.68099
Chakraborty, Souymodip; Katoen, Joost-Pieter
1
2014
A compositional modelling and analysis framework for stochastic hybrid systems. Zbl 1291.68293
Hahn, Ernst Moritz; Hartmanns, Arnd; Hermanns, Holger; Katoen, Joost-Pieter
17
2013
A semantics for every GSPN. Zbl 1381.68199
Eisentraut, Christian; Hermanns, Holger; Katoen, Joost-Pieter; Zhang, Lijun
13
2013
Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems. Zbl 1362.68189
Tkachev, Ilya; Mereacre, Alexandru; Katoen, Joost-Pieter; Abate, Alessandro
12
2013
SMT-based bisimulation minimisation of Markov models. Zbl 1426.68168
Dehnert, Christian; Katoen, Joost-Pieter; Parker, David
7
2013
Abstract probabilistic automata. Zbl 1296.68092
Delahaye, Benoît; Katoen, Joost-Pieter; Larsen, Kim G.; Legay, Axel; Pedersen, Mikkel L.; Sher, Falak; Wąsowski, Andrzej
3
2013
Model checking for performability. Zbl 1358.68181
Baier, C.; Hahn, E. M.; Haverkort, B. R.; Hermanns, H.; Katoen, J.-P.
2
2013
Robust PCTL model checking. Zbl 1361.68140
D’Innocenzo, Alessandro; Abate, Alessandro; Katoen, Joost-Pieter
9
2012
Three-valued abstraction for probabilistic systems. Zbl 1277.68219
Katoen, Joost-Pieter; Klink, Daniel; Leucker, Martin; Wolf, Verena
6
2012
Efficient modelling and generation of Markov automata. Zbl 1364.68295
Timmer, Mark; Katoen, Joost-Pieter; van de Pol, Jaco; Stoelinga, Mariëlle I. A.
6
2012
Minimal critical subsystems for discrete-time Markov models. Zbl 1352.68167
Wimmer, Ralf; Jansen, Nils; Ábrahám, Erika; Becker, Bernd; Katoen, Joost-Pieter
5
2012
Weighted lumpability on Markov chains. Zbl 1336.68186
Sharma, Arpit; Katoen, Joost-Pieter
4
2012
Compositional abstraction techniques for probabilistic automata. Zbl 1362.68155
Sher, Falak; Katoen, Joost-Pieter
3
2012
A linear process-algebraic format with data for probabilistic automata. Zbl 1283.68246
Katoen, Joost-Pieter; van de Pol, Jaco; Stoelinga, Mariëlle; Timmer, Mark
3
2012
Layered reasoning for randomized distributed algorithms. Zbl 1259.68114
Swaminathan, Mani; Katoen, Joost-Pieter; Olderog, Ernst-Rüdiger
1
2012
Model checking of continuous-time Markov chains against timed automata specifications. Zbl 1233.68156
Chen, Taolue; Han, Tingting; Katoen, Joost-Pieter; Mereacre, Alexandru
11
2011
Efficient CTMC model checking of linear real-time objectives. Zbl 1315.68174
Barbot, Benoît; Chen, Taolue; Han, Tingting; Katoen, Joost-Pieter; Mereacre, Alexandru
10
2011
Abstract probabilistic automata. Zbl 1317.68095
Delahaye, Benoît; Katoen, Joost-Pieter; Larsen, Kim G.; Legay, Axel; Pedersen, Mikkel L.; Sher, Falak; Wąsowski, Andrzej
8
2011
Quantitative automata model checking of autonomous stochastic hybrid systems. Zbl 1361.68130
Abate, Alessandro; Katoen, Joost-Pieter; Mereacre, Alexandru
5
2011
Hierarchical counterexamples for discrete-time Markov chains. Zbl 1348.68139
Jansen, Nils; Ábrahám, Erika; Katelaan, Jens; Wimmer, Ralf; Katoen, Joost-Pieter; Becker, Bernd
4
2011
A local Greibach normal form for hyperedge replacement grammars. Zbl 1330.68134
Jansen, Christina; Heinen, Jonathan; Katoen, Joost-Pieter; Noll, Thomas
3
2011
Deciding probabilistic simulation between probabilistic pushdown automata and finite-state systems. Zbl 1246.68144
Fu, Hongfei; Katoen, Joost-Pieter
2
2011
Observing continuous-time MDPs by 1-clock timed automata. Zbl 1348.68127
Chen, Taolue; Han, Tingting; Katoen, Joost-Pieter; Mereacre, Alexandru
1
2011
Approximate model checking of stochastic hybrid systems. Zbl 1216.93091
Abate, Alessandro; Katoen, Joost-Pieter; Lygeros, John; Prandini, Maria
22
2010
Linear-invariant generation for probabilistic programs: automated support for proof-based methods. Zbl 1239.68020
Katoen, Joost-Pieter; McIver, Annabelle K.; Meinicke, Larissa A.; Morgan, Carroll C.
13
2010
The how and why of interactive Markov chains. Zbl 1312.68152
Hermanns, Holger; Katoen, Joost-Pieter
8
2010
Performability assessment by model checking of Markov reward models. Zbl 1209.68309
Baier, Christel; Cloth, Lucia; Haverkort, Boudewijn R.; Hermanns, Holger; Katoen, Joost-Pieter
4
2010
Compositional abstraction for stochastic systems. Zbl 1262.68142
Katoen, Joost-Pieter; Klink, Daniel; Neuhäußer, Martin R.
7
2009
Delayed nondeterminism in continuous-time Markov decision processes. Zbl 1234.68320
Neuhäußer, Martin R.; Stoelinga, Mariëlle; Katoen, Joost-Pieter
6
2009
LTL model checking of time-inhomogeneous Markov chains. Zbl 1262.68108
Chen, Taolue; Han, Tingting; Katoen, Joost-Pieter; Mereacre, Alexandru
2
2009
Principles of model checking. Foreword by Kim Guldstrand Larsen. Zbl 1179.68076
Baier, Christel; Katoen, Joost-Pieter
393
2008
Model checking HML on piecewise-constant inhomogeneous Markov chains. Zbl 1171.68550
Katoen, Joost-Pieter; Mereacre, Alexandru
4
2008
Compositional modeling and minimization of time-inhomogeneous Markov chains. Zbl 1144.93379
Han, Tingting; Katoen, Joost-Pieter; Mereacre, Alexandru
4
2008
Reachability in continuous-time Markov reward decision processes. Zbl 1222.68120
Baier, Christel; Haverkort, Boudewijn R.; Hermanns, Holger; Katoen, Joost-Pieter
3
2008
Abstraction for stochastic systems by Erlang’s method of stages. Zbl 1160.68469
Katoen, Joost-Pieter; Klink, Daniel; Leucker, Martin; Wolf, Verena
1
2008
Bisimulation minimisation mostly speeds up probabilistic model checking. Zbl 1186.68296
Katoen, Joost-Pieter; Kemna, Tim; Zapreev, Ivan; Jansen, David N.
22
2007
Three-valued abstraction for continuous-time Markov chains. Zbl 1135.68476
Katoen, Joost-Pieter; Klink, Daniel; Leucker, Martin; Wolf, Verena
16
2007
Counterexamples in probabilistic model checking. Zbl 1186.68293
Han, Tingting; Katoen, Joost-Pieter
9
2007
Bisimulation and logical preservation for continuous-time Markov decision processes. Zbl 1151.68549
Neuhäußer, Martin R.; Katoen, Joost-Pieter
7
2007
Model checking mobile stochastic logic. Zbl 1159.68478
De Nicola, Rocco; Katoen, Joost-Pieter; Latella, Diego; Loreti, Michele; Massink, Mieke
3
2007
Providing evidence of likely being on time: Counterexample generation for CTMC model checking. Zbl 1141.68470
Han, Tingting; Katoen, Joost-Pieter
3
2007
Replaying play in and play out: Synthesis of design models from scenarios by learning. Zbl 1186.68106
Bollig, Benedikt; Katoen, Joost-Pieter; Kern, Carsten; Leucker, Martin
2
2007
YMCA: why Markov chain algebra? Zbl 1316.68088
Bravetti, Mario; Hermanns, Holger; Katoen, Joost-Pieter
5
2006
Safety and liveness in concurrent pointer programs. Zbl 1196.68045
Distefano, Dino; Katoen, Joost-Pieter; Rensink, Arend
4
2006
...and 40 more Documents
all top 5

Cited by 1,343 Authors

71 Katoen, Joost-Pieter
29 Baier, Christel
25 Hermanns, Holger
19 Junges, Sebastian
18 Abate, Alessandro
17 Zhang, Lijun
16 Larsen, Kim Guldstrand
13 Kwiatkowska, Marta Z.
13 Legay, Axel
12 Křetínský, Jan
11 Delahaye, Benoît
11 Jansen, Nils
11 Zamani, Majid
10 Chatterjee, Krishnendu
9 Kucera, Antonin
9 Loreti, Michele
9 Stoelinga, Mariëlle
9 Tini, Simone
8 Bernardo, Marco
8 Klein, Joachim
8 Randour, Mickael
8 Soudjani, Sadegh
8 Sproston, Jeremy
7 Brihaye, Thomas
7 D’Argenio, Pedro Rubén
7 Hahn, Ernst Moritz
7 Henzinger, Thomas A.
7 Kaminski, Benjamin Lucien
7 Lavaei, Abolfazl
7 Mereacre, Alexandru
7 Silva, Alexandra
6 Bartocci, Ezio
6 Bortolussi, Luca
6 Bouyer, Patricia
6 Duan, Zhenhua
6 Dubslaff, Clemens
6 Haverkort, Boudewijn R.
6 Hillston, Jane
6 Jansen, David N.
6 Kiefer, Stefan
6 Kovács, Laura Ildikó
6 Norman, Gethin
6 Piazza, Carla
6 Seshia, Sanjit Arunkumar
6 Tian, Cong
6 Turrini, Andrea
6 Wąsowski, Andrzej
6 Winkler, Tobias
5 Bertrand, Nathalie
5 Brázdil, Tomáš
5 Brim, Luboš
5 Chen, Taolue
5 Feng, Yuan
5 Gebler, Daniel E.
5 Haddad, Serge
5 Han, Tingting
5 Jantsch, Simon
5 Klüppelholz, Sascha
5 Konnov, Igor V.
5 Lanotte, Ruggero
5 Latella, Diego
5 Leucker, Martin
5 Majumdar, Rupak
5 Marin, Andrea
5 Massink, Mieke
5 Mio, Matteo
5 Raskin, Jean-François
5 Rossi, Sabina
5 Schewe, Sven
5 Spel, Jip
5 Tkachev, Ilya
5 Vardi, Moshe Ya’akov
5 Widder, Josef
5 Wijs, Anton J.
5 Worrell, James B.
4 Beneš, Nikola
4 Bonchi, Filippo
4 Buchholz, Peter
4 Češka, Milan
4 De Nicola, Rocco
4 Eisentraut, Christian
4 Forejt, Vojtěch
4 Funke, Florian
4 Mardare, Radu
4 Matheja, Christoph
4 Otop, Jan
4 Pedersen, Mikkel Lykke
4 Pérez, Guillermo A.
4 Šafránek, David
4 Sokolova, Ana
4 Srba, Jiří
4 Steffen, Bernhard
4 Topcu, Ufuk
4 van Breugel, Franck
4 van de Pol, Jan Cornelis
4 Viswanathan, Mahesh
4 Willemse, Tim A. C.
4 Wimmer, Ralf D.
4 Wolf, Verena
4 Xu, Ming
...and 1,243 more Authors
all top 5

Cited in 69 Serials

46 Theoretical Computer Science
37 Formal Aspects of Computing
33 Information and Computation
32 Logical Methods in Computer Science
29 Formal Methods in System Design
26 Acta Informatica
14 Discrete Event Dynamic Systems
13 Automatica
13 The Journal of Logic and Algebraic Programming
12 Journal of Logical and Algebraic Methods in Programming
9 Science of Computer Programming
8 Journal of Automated Reasoning
8 MSCS. Mathematical Structures in Computer Science
7 Journal of Computer and System Sciences
6 Machine Learning
6 ACM Transactions on Computational Logic
5 Information Processing Letters
5 Distributed Computing
5 Fundamenta Informaticae
5 Nonlinear Analysis. Hybrid Systems
5 Modelirovanie i Analiz Informatsionnykh Sistem
4 Artificial Intelligence
3 Computing
3 SIAM Journal on Control and Optimization
3 International Journal of Foundations of Computer Science
2 Computers & Mathematics with Applications
2 Programming and Computer Software
2 Journal of Computer Science and Technology
2 Computers & Operations Research
2 International Journal of Approximate Reasoning
2 Journal of Logic, Language and Information
2 Theory of Computing Systems
2 Journal of the ACM
2 Journal of Applied Mathematics
2 Sibirskie Èlektronnye Matematicheskie Izvestiya
2 Algorithms
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 Annals of Pure and Applied Logic
1 International Journal of Parallel Programming
1 AI Communications
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 The Journal of Artificial Intelligence Research (JAIR)
1 Annals of Mathematics and Artificial Intelligence
1 Computer Science Journal of Moldova
1 Constraints
1 European Journal of Control
1 Journal of Combinatorial Optimization
1 Discrete Mathematics and Theoretical Computer Science. DMTCS
1 International Journal of Applied Mathematics and Computer Science
1 Journal of Applied Mathematics and Computing
1 Mathematics in Computer Science
1 Optimization Letters
1 Science China. Information Sciences
1 Symmetry
1 Control Theory and Technology
1 International Journal of Systems Science. Principles and Applications of Systems and Integration

Citations by Year