×

Katoen, Joost-Pieter

Compute Distance To:
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

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

Publications by Year

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.68076
Baier, Christel; Katoen, Joost-Pieter
273
2008
Comparative branching-time semantics for Markov chains. Zbl 1101.68053
Baier, Christel; Katoen, Joost-Pieter; Hermanns, Holger; Wolf, Verena
28
2005
Model checking continuous-time Markov chains by transient analysis. Zbl 0974.68017
Baier, 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.68149
Hermanns, Holger; Herzog, Ulrich; Katoen, Joost-Pieter
21
2002
Approximate symbolic model checking of continuous-time Markov chains. Zbl 0934.03044
Baier, Christel; Katoen, Joost-Pieter; Hermanns, Holger
20
1999
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.
18
2005
Bisimulation minimisation mostly speeds up probabilistic model checking. Zbl 1186.68296
Katoen, Joost-Pieter; Kemna, Tim; Zapreev, Ivan; Jansen, David N.
17
2007
Approximate model checking of stochastic hybrid systems. Zbl 1216.93091
Abate, Alessandro; Katoen, Joost-Pieter; Lygeros, John; Prandini, Maria
14
2010
Three-valued abstraction for continuous-time Markov chains. Zbl 1135.68476
Katoen, Joost-Pieter; Klink, Daniel; Leucker, Martin; Wolf, Verena
14
2007
Weakest precondition reasoning for expected run-times of probabilistic programs. Zbl 1335.68058
Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph; Olmedo, Federico
13
2016
A compositional modelling and analysis framework for stochastic hybrid systems. Zbl 1291.68293
Hahn, Ernst Moritz; Hartmanns, Arnd; Hermanns, Holger; Katoen, Joost-Pieter
13
2013
On the logical characterisation of performability properties. Zbl 0973.68014
Baier, Christel; Haverkort, Boudewijn; Hermanns, Holger; Katoen, Joost-Pieter
12
2000
Parameter synthesis for Markov models: faster than ever. Zbl 1398.68346
Quatmann, 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.68649
Hermanns, Holger; Katoen, Joost-Pieter
10
2000
Model checking of continuous-time Markov chains against timed automata specifications. Zbl 1233.68156
Chen, Taolue; Han, Tingting; Katoen, Joost-Pieter; Mereacre, Alexandru
10
2011
Probabilistic weak simulation is decidable in polynomial time. Zbl 1183.68703
Baier, Christel; Hermanns, Holger; Katoen, Joost-Pieter
10
2004
A semantics for every GSPN. Zbl 1381.68199
Eisentraut, Christian; Hermanns, Holger; Katoen, Joost-Pieter; Zhang, Lijun
10
2013
The probabilistic model checking landscape. Zbl 1401.68201
Katoen, Joost-Pieter
10
2016
Discrete-time rewards model-checked. Zbl 1099.68652
Andova, Suzana; Hermanns, Holger; Katoen, Joost-Pieter
9
2004
Faster and symbolic CTMC model checking. Zbl 1007.68517
Katoen, Joost-Pieter; Kwiatkowska, Marta; Norman, Gethin; Parker, David
9
2001
On the hardness of almost-sure termination. Zbl 1465.68097
Kaminski, Benjamin Lucien; Katoen, Joost-Pieter
9
2015
A theory of stochastic systems. I: Stochastic automata. Zbl 1105.68061
D’Argenio, Pedro R.; Katoen, Joost-Pieter
8
2005
Metric semantics for true concurrent real time. Zbl 0976.68103
Katoen, J.-P.; Baier, C.; Latella, D.
8
2001
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.
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
Conditioning in probabilistic programming. Zbl 1351.68066
Jansen, 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.68189
Tkachev, Ilya; Mereacre, Alexandru; Katoen, Joost-Pieter; Abate, Alessandro
8
2013
Efficient CTMC model checking of linear real-time objectives. Zbl 1315.68174
Barbot, Benoît; Chen, Taolue; Han, Tingting; Katoen, Joost-Pieter; Mereacre, Alexandru
7
2011
The how and why of interactive Markov chains. Zbl 1312.68152
Hermanns, Holger; Katoen, Joost-Pieter
7
2010
Compositional abstraction for stochastic systems. Zbl 1262.68142
Katoen, Joost-Pieter; Klink, Daniel; Neuhäußer, Martin R.
7
2009
Robust PCTL model checking. Zbl 1361.68140
D’Innocenzo, Alessandro; Abate, Alessandro; Katoen, Joost-Pieter
7
2012
Bisimulation and logical preservation for continuous-time Markov decision processes. Zbl 1151.68549
Neuhäußer, Martin R.; Katoen, Joost-Pieter
6
2007
Delayed nondeterminism in continuous-time Markov decision processes. Zbl 1234.68320
Neuhäußer, Martin R.; Stoelinga, Mariëlle; Katoen, Joost-Pieter
6
2009
A theory of stochastic systems. II: Process algebra. Zbl 1106.68073
D’Argenio, Pedro R.; Katoen, Joost-Pieter
6
2005
Beyond memoryless distributions: model checking semi-Markov chains. Zbl 1007.68514
Infante López, Gabriel G.; Hermanns, Holger; Katoen, Joost-Pieter
6
2001
Counterexamples in probabilistic model checking. Zbl 1186.68293
Han, Tingting; Katoen, Joost-Pieter
6
2007
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
6
2020
Analysis of timed and long-run objectives for Markov automata. Zbl 1342.68135
Guck, Dennis; Hatefi, Hassan; Hermanns, Holger; Katoen, Joost-Pieter; Timmer, Mark
6
2014
Three-valued abstraction for probabilistic systems. Zbl 1277.68219
Katoen, Joost-Pieter; Klink, Daniel; Leucker, Martin; Wolf, Verena
6
2012
Reasoning about recursive probabilistic programs. Zbl 1401.68048
Olmedo, Federico; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph
6
2016
Simulation for continuous-time Markov chains. Zbl 1012.68526
Baier, Christel; Katoen, Joost-Pieter; Hermanns, Holger; Haverkort, Boudewijn
5
2002
Model-checking large structured Markov chains. Zbl 1048.68053
Buchholz, Peter; Katoen, Joost-Pieter; Kemper, Peter; Tepper, Carsten
5
2003
Comparative branching-time semantics for Markov chains (extended abstract). Zbl 1274.68264
Baier, Christel; Hermanns, Holger; Katoen, Joost-Pieter; Wolf, Verena
5
2003
YMCA: why Markov chain algebra? Zbl 1316.68088
Bravetti, Mario; Hermanns, Holger; Katoen, Joost-Pieter
5
2006
Efficient modelling and generation of Markov automata. Zbl 1364.68295
Timmer, Mark; Katoen, Joost-Pieter; van de Pol, Jaco; Stoelinga, Mariëlle I. A.
5
2012
SMT-based bisimulation minimisation of Markov models. Zbl 1426.68168
Dehnert, Christian; Katoen, Joost-Pieter; Parker, David
5
2013
On the hardness of analyzing probabilistic programs. Zbl 1417.68054
Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph
4
2019
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
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
The complexity of reachability in parametric Markov decision processes. Zbl 1477.68124
Junges, 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.68050
Batz, Kevin; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph
4
2018
Multi-cost bounded reachability in MDP. Zbl 1423.68282
Hartmanns, Arnd; Junges, Sebastian; Katoen, Joost-Pieter; Quatmann, Tim
4
2018
Understanding probabilistic programs. Zbl 1444.68045
Katoen, Joost-Pieter; Gretz, Friedrich; Jansen, Nils; Kaminski, Benjamin Lucien; Olmedo, Federico
4
2015
Weighted lumpability on Markov chains. Zbl 1336.68186
Sharma, Arpit; Katoen, Joost-Pieter
4
2012
Quantitative automata model checking of autonomous stochastic hybrid systems. Zbl 1361.68130
Abate, 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.68167
Wimmer, 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.68470
Han, Tingting; Katoen, Joost-Pieter
3
2007
Model checking HML on piecewise-constant inhomogeneous Markov chains. Zbl 1171.68550
Katoen, Joost-Pieter; Mereacre, Alexandru
3
2008
Who is pointing when to whom? On the automated verification of linked list structures. Zbl 1117.68427
Distefano, Dino; Katoen, Joost-Pieter; Rensink, Arend
3
2004
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
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
A Markov chain model checker. Zbl 0960.68108
Hermanns, Holger; Katoen, Joost-Pieter; Meyer-Kayser, Joachim; Siegle, Markus
3
2000
Model checking mobile stochastic logic. Zbl 1159.68478
De Nicola, Rocco; Katoen, Joost-Pieter; Latella, Diego; Loreti, Michele; Massink, Mieke
3
2007
Weakest precondition reasoning for expected runtimes of randomized algorithms. Zbl 1426.68298
Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph; Olmedo, Federico
3
2018
Hierarchical counterexamples for discrete-time Markov chains. Zbl 1348.68139
Jansen, 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.68246
Katoen, Joost-Pieter; van de Pol, Jaco; Stoelinga, Mariëlle; Timmer, Mark
3
2012
Bottom-up tree acceptors. Zbl 0687.68044
Hemerik, C.; Katoen, J. P.
3
1989
On the satisfiability of some simple probabilistic logics. Zbl 1394.68169
Chakraborty, Souymodip; Katoen, Joost-Pieter
3
2016
Automated termination analysis of polynomial probabilistic programs. Zbl 1473.68053
Moosbrugger, Marcel; Bartocci, Ezio; Katoen, Joost-Pieter; Kovács, Laura
3
2021
Confluence reduction for Markov automata. Zbl 1356.68136
Timmer, Mark; Katoen, Joost-Pieter; van de Pol, Jaco; Stoelinga, Mariëlle
2
2016
Compositional modeling and minimization of time-inhomogeneous Markov chains. Zbl 1144.93379
Han, Tingting; Katoen, Joost-Pieter; Mereacre, Alexandru
2
2008
On a temporal logic for object-based systems. Zbl 0968.68020
Distefano, 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.68134
Jansen, 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.68467
Baier, Christel; Haverkort, Boudewijn; Hermanns, Holger; Katoen, Joost-Pieter
2
2004
Bounded model checking for probabilistic programs. Zbl 1398.68343
Jansen, Nils; Dehnert, Christian; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Westhofen, Lukas
2
2016
Are parametric Markov chains monotonic? Zbl 1437.68121
Spel, Jip; Junges, Sebastian; Katoen, Joost-Pieter
2
2019
Model checking of open interval Markov chains. Zbl 1392.68240
Chakraborty, Souymodip; Katoen, Joost-Pieter
2
2015
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
2
2016
LTL model checking of time-inhomogeneous Markov chains. Zbl 1262.68108
Chen, Taolue; Han, Tingting; Katoen, Joost-Pieter; Mereacre, Alexandru
2
2009
Fast debugging of PRISM models. Zbl 1448.68295
Dehnert, Christian; Jansen, Nils; Wimmer, Ralf; Ábrahám, Erika; Katoen, Joost-Pieter
2
2014
High-level counterexamples for probabilistic automata. Zbl 1347.68211
Wimmer, Ralf; Jansen, Nils; Ábrahám, Erika; Katoen, Joost-Pieter
2
2015
Bisimulation and simulation relations for Markov chains. Zbl 1316.68085
Baier, Christel; Hermanns, Holger; Katoen, Joost-Pieter; Wolf, Verena
2
2006
Deciding probabilistic simulation between probabilistic pushdown automata and finite-state systems. Zbl 1246.68144
Fu, Hongfei; Katoen, Joost-Pieter
2
2011
Compositional abstraction techniques for probabilistic automata. Zbl 1362.68155
Sher, Falak; Katoen, Joost-Pieter
2
2012
Minimal counterexamples for linear-time probabilistic verification. Zbl 1360.68604
Wimmer, Ralf; Jansen, Nils; Ábrahám, Erika; Katoen, Joost-Pieter; Becker, Bernd
2
2014
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
2
2013
On generative parallel composition. Zbl 0920.68078
D’Argenio, Pedro R.; Hermanns, Holger; Katoen, Joost-Pieter
2
1998
Abstraction for stochastic systems by Erlang’s method of stages. Zbl 1160.68469
Katoen, Joost-Pieter; Klink, Daniel; Leucker, Martin; Wolf, Verena
1
2008
Code generation based on formal BURS theory and heuristic search. Zbl 0869.68030
Nymeyer, A.; Katoen, J.-P.
1
1997
Systolic arrays for the recognition of permutation-invariant segments. Zbl 0858.68022
Katoen, 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.68500
Baier, Christel; Haverkort, Boudewijn; Hermanns, Holger; Katoen, Joost-Pieter
1
2002
Reachability in continuous-time Markov reward decision processes. Zbl 1222.68120
Baier, Christel; Haverkort, Boudewijn R.; Hermanns, Holger; Katoen, Joost-Pieter
1
2008
Multi-cost bounded tradeoff analysis in MDP. Zbl 1468.68132
Hartmanns, Arnd; Junges, Sebastian; Katoen, Joost-Pieter; Quatmann, Tim
1
2020
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
1
2017
The complexity of reachability in parametric Markov decision processes. Zbl 1477.68124
Junges, Sebastian; Katoen, Joost-Pieter; Pérez, Guillermo A.; Winkler, Tobias
4
2021
Automated termination analysis of polynomial probabilistic programs. Zbl 1473.68053
Moosbrugger, Marcel; Bartocci, Ezio; Katoen, Joost-Pieter; Kovács, Laura
3
2021
Expected runtime analyis by program verification. Zbl 07311046
Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph
1
2021
Multi-objective optimization of long-run average and total rewards. Zbl 1467.68094
Quatmann, Tim; 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
6
2020
Multi-cost bounded tradeoff analysis in MDP. Zbl 1468.68132
Hartmanns, Arnd; Junges, Sebastian; Katoen, Joost-Pieter; Quatmann, Tim
1
2020
On the hardness of analyzing probabilistic programs. Zbl 1417.68054
Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph
4
2019
Are parametric Markov chains monotonic? Zbl 1437.68121
Spel, 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.68050
Batz, Kevin; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph
4
2018
Multi-cost bounded reachability in MDP. Zbl 1423.68282
Hartmanns, Arnd; Junges, Sebastian; Katoen, Joost-Pieter; Quatmann, Tim
4
2018
Weakest precondition reasoning for expected runtimes of randomized algorithms. Zbl 1426.68298
Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph; Olmedo, Federico
3
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
1
2017
A weakest pre-expectation semantics for mixed-sign expectations. Zbl 1458.68038
Kaminski, Benjamin Lucien; Katoen, Joost-Pieter
1
2017
Quantitative model-checking of controlled discrete-time Markov processes. Zbl 1359.68199
Tkachev, Ilya; Mereacre, Alexandru; Katoen, Joost-Pieter; Abate, Alessandro
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
13
2016
Parameter synthesis for Markov models: faster than ever. Zbl 1398.68346
Quatmann, Tim; Dehnert, Christian; Jansen, Nils; Junges, Sebastian; Katoen, Joost-Pieter
11
2016
The probabilistic model checking landscape. Zbl 1401.68201
Katoen, Joost-Pieter
10
2016
Reasoning about recursive probabilistic programs. Zbl 1401.68048
Olmedo, Federico; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph
6
2016
On the satisfiability of some simple probabilistic logics. Zbl 1394.68169
Chakraborty, Souymodip; Katoen, Joost-Pieter
3
2016
Confluence reduction for Markov automata. Zbl 1356.68136
Timmer, Mark; Katoen, Joost-Pieter; van de Pol, Jaco; Stoelinga, Mariëlle
2
2016
Bounded model checking for probabilistic programs. Zbl 1398.68343
Jansen, 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.68204
Wijs, Anton; Katoen, Joost-Pieter; Bošnački, Dragan
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
9
2015
Conditioning in probabilistic programming. Zbl 1351.68066
Jansen, Nils; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Olmedo, Federico; Gretz, Friedrich; McIver, Annabelle
8
2015
Understanding probabilistic programs. Zbl 1444.68045
Katoen, Joost-Pieter; Gretz, Friedrich; Jansen, Nils; Kaminski, Benjamin Lucien; Olmedo, Federico
4
2015
Model checking of open interval Markov chains. Zbl 1392.68240
Chakraborty, Souymodip; Katoen, Joost-Pieter
2
2015
High-level counterexamples for probabilistic automata. Zbl 1347.68211
Wimmer, Ralf; Jansen, Nils; Ábrahám, Erika; Katoen, Joost-Pieter
2
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
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.68295
Dehnert, Christian; Jansen, Nils; Wimmer, Ralf; Ábrahám, Erika; Katoen, Joost-Pieter
2
2014
Minimal counterexamples for linear-time probabilistic verification. Zbl 1360.68604
Wimmer, Ralf; Jansen, Nils; Ábrahám, Erika; Katoen, Joost-Pieter; Becker, Bernd
2
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
1
2014
Probably safe or live. Zbl 1394.68231
Katoen, Joost-Pieter; Song, Lei; Zhang, Lijun
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
13
2013
A semantics for every GSPN. Zbl 1381.68199
Eisentraut, Christian; Hermanns, Holger; Katoen, Joost-Pieter; Zhang, Lijun
10
2013
Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems. Zbl 1362.68189
Tkachev, Ilya; Mereacre, Alexandru; Katoen, Joost-Pieter; Abate, Alessandro
8
2013
SMT-based bisimulation minimisation of Markov models. Zbl 1426.68168
Dehnert, Christian; Katoen, Joost-Pieter; Parker, David
5
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
2
2013
Robust PCTL model checking. Zbl 1361.68140
D’Innocenzo, Alessandro; Abate, Alessandro; Katoen, Joost-Pieter
7
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.
5
2012
Weighted lumpability on Markov chains. Zbl 1336.68186
Sharma, Arpit; Katoen, Joost-Pieter
4
2012
Minimal critical subsystems for discrete-time Markov models. Zbl 1352.68167
Wimmer, 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.68246
Katoen, Joost-Pieter; van de Pol, Jaco; Stoelinga, Mariëlle; Timmer, Mark
3
2012
Compositional abstraction techniques for probabilistic automata. Zbl 1362.68155
Sher, Falak; Katoen, Joost-Pieter
2
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
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
Efficient CTMC model checking of linear real-time objectives. Zbl 1315.68174
Barbot, Benoît; Chen, Taolue; Han, Tingting; Katoen, Joost-Pieter; Mereacre, Alexandru
7
2011
Quantitative automata model checking of autonomous stochastic hybrid systems. Zbl 1361.68130
Abate, Alessandro; Katoen, Joost-Pieter; Mereacre, Alexandru
4
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
3
2011
A local Greibach normal form for hyperedge replacement grammars. Zbl 1330.68134
Jansen, Christina; Heinen, Jonathan; Katoen, Joost-Pieter; Noll, Thomas
2
2011
Deciding probabilistic simulation between probabilistic pushdown automata and finite-state systems. Zbl 1246.68144
Fu, Hongfei; Katoen, Joost-Pieter
2
2011
Approximate model checking of stochastic hybrid systems. Zbl 1216.93091
Abate, Alessandro; Katoen, Joost-Pieter; Lygeros, John; Prandini, Maria
14
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.
8
2010
The how and why of interactive Markov chains. Zbl 1312.68152
Hermanns, Holger; Katoen, Joost-Pieter
7
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
273
2008
Model checking HML on piecewise-constant inhomogeneous Markov chains. Zbl 1171.68550
Katoen, Joost-Pieter; Mereacre, Alexandru
3
2008
Compositional modeling and minimization of time-inhomogeneous Markov chains. Zbl 1144.93379
Han, Tingting; Katoen, Joost-Pieter; Mereacre, Alexandru
2
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
Reachability in continuous-time Markov reward decision processes. Zbl 1222.68120
Baier, Christel; Haverkort, Boudewijn R.; Hermanns, Holger; Katoen, Joost-Pieter
1
2008
Bisimulation minimisation mostly speeds up probabilistic model checking. Zbl 1186.68296
Katoen, Joost-Pieter; Kemna, Tim; Zapreev, Ivan; Jansen, David N.
17
2007
Three-valued abstraction for continuous-time Markov chains. Zbl 1135.68476
Katoen, Joost-Pieter; Klink, Daniel; Leucker, Martin; Wolf, Verena
14
2007
Bisimulation and logical preservation for continuous-time Markov decision processes. Zbl 1151.68549
Neuhäußer, Martin R.; Katoen, Joost-Pieter
6
2007
Counterexamples in probabilistic model checking. Zbl 1186.68293
Han, Tingting; Katoen, Joost-Pieter
6
2007
Providing evidence of likely being on time: Counterexample generation for CTMC model checking. Zbl 1141.68470
Han, Tingting; Katoen, Joost-Pieter
3
2007
Model checking mobile stochastic logic. Zbl 1159.68478
De Nicola, Rocco; Katoen, Joost-Pieter; Latella, Diego; Loreti, Michele; Massink, Mieke
3
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
Bisimulation and simulation relations for Markov chains. Zbl 1316.68085
Baier, Christel; Hermanns, Holger; Katoen, Joost-Pieter; Wolf, Verena
2
2006
Comparative branching-time semantics for Markov chains. Zbl 1101.68053
Baier, 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.90066
Baier, Christel; Hermanns, Holger; Katoen, Joost-Pieter; Haverkort, Boudewijn R.
18
2005
A theory of stochastic systems. I: Stochastic automata. Zbl 1105.68061
D’Argenio, Pedro R.; Katoen, Joost-Pieter
8
2005
A theory of stochastic systems. II: Process algebra. Zbl 1106.68073
D’Argenio, Pedro R.; Katoen, Joost-Pieter
6
2005
Probabilistic weak simulation is decidable in polynomial time. Zbl 1183.68703
Baier, Christel; Hermanns, Holger; Katoen, Joost-Pieter
10
2004
Discrete-time rewards model-checked. Zbl 1099.68652
Andova, Suzana; Hermanns, Holger; Katoen, Joost-Pieter
9
2004
Who is pointing when to whom? On the automated verification of linked list structures. Zbl 1117.68427
Distefano, 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.68467
Baier, Christel; Haverkort, Boudewijn; Hermanns, Holger; Katoen, Joost-Pieter
2
2004
Embedded software analysis with MOTOR. Zbl 1105.68335
Katoen, Joost-Pieter; Bohnenkamp, Henrik; Klaren, Ric; Hermanns, Holger
1
2004
Model-checking large structured Markov chains. Zbl 1048.68053
Buchholz, Peter; Katoen, Joost-Pieter; Kemper, Peter; Tepper, Carsten
5
2003
Comparative branching-time semantics for Markov chains (extended abstract). Zbl 1274.68264
Baier, Christel; Hermanns, Holger; Katoen, Joost-Pieter; Wolf, Verena
5
2003
Process algebra for performance evaluation. Zbl 0992.68149
Hermanns, Holger; Herzog, Ulrich; Katoen, Joost-Pieter
21
2002
Simulation for continuous-time Markov chains. Zbl 1012.68526
Baier, Christel; Katoen, Joost-Pieter; Hermanns, Holger; Haverkort, Boudewijn
5
2002
A probabilistic extension of UML statecharts specification and verification. Zbl 1278.68226
Jansen, David N.; Hermanns, Holger; Katoen, Joost-Pieter
4
2002
Automated performance and dependability evaluation using model checking. Zbl 1017.68500
Baier, Christel; Haverkort, Boudewijn; Hermanns, Holger; Katoen, Joost-Pieter
1
2002
Faster and symbolic CTMC model checking. Zbl 1007.68517
Katoen, Joost-Pieter; Kwiatkowska, Marta; Norman, Gethin; Parker, David
9
2001
Metric semantics for true concurrent real time. Zbl 0976.68103
Katoen, J.-P.; Baier, C.; Latella, D.
8
2001
Beyond memoryless distributions: model checking semi-Markov chains. Zbl 1007.68514
Infante López, Gabriel G.; Hermanns, Holger; Katoen, Joost-Pieter
6
2001
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
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
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.68017
Baier, Christel; Haverkort, Boudewijn; Hermanns, Holger; Katoen, Joost-Pieter
28
2000
...and 11 more Documents
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

Citations by Year