×

zbMATH — the first resource for mathematics

Katoen, Joost-Pieter

Compute Distance To:
Author ID: katoen.joost-pieter Recent zbMATH articles by "Katoen, Joost-Pieter"
Published as: Katoen, J. P.; Katoen, J.-P.; Katoen, Joost-Pieter
Homepage: https://moves.rwth-aachen.de/people/katoen/
External Links: ORCID
Documents Indexed: 133 Publications since 1989, including 10 Books
Reviewing Activity: 14 Reviews
all top 5

Co-Authors

3 single-authored
32 Hermanns, Holger
18 Baier, Christel
12 Kaminski, Benjamin Lucien
11 Jansen, Nils
10 Haverkort, Boudewijn R.
9 Junges, Sebastian
9 Mereacre, Alexandru
7 Han, Tingting
7 Matheja, Christoph
7 Stoelinga, Mariëlle
6 Abate, Alessandro
6 Ábrahám, Erika
6 Rensink, Arend
6 Wimmer, Ralf D.
6 Wolf, Verena
5 D’Argenio, Pedro Rubén
5 Dehnert, Christian
5 Leucker, Martin
5 Olmedo, Federico
4 Becker, Bernd
4 Chen, Taolue
4 Klink, Daniel
4 Latella, Diego
4 Sher, Falak
4 Timmer, Mark
3 Chakraborty, Souymodip
3 Distefano, Dino
3 Guck, Dennis
3 Hartmanns, Arnd
3 Massink, Mieke
3 Neuhäußer, Martin R.
3 Quatmann, Tim
3 Siegle, Markus
3 van de Pol, Jan Cornelis
2 Barthe, Gilles
2 Delahaye, Benoît
2 Fu, Hongfei
2 Gretz, Friedrich
2 Hahn, Ernst Moritz
2 Heinen, Jonathan
2 Jansen, Christina
2 Jansen, David N.
2 Klaren, Ric
2 Langerak, Rom
2 Larsen, Kim Guldstrand
2 Legay, Axel
2 McIver, Annabelle K.
2 Meyer-Kayser, Joachim
2 Noll, Thomas
2 Nymeyer, Albert
2 Pedersen, Mikkel Lykke
2 Silva, Alexandra
2 Tkachev, Ilya
2 Wąsowski, Andrzej
2 Zhang, Lijun
1 Andova, Suzana
1 Barbot, Benoît
1 Batz, Kevin
1 Bohnenkamp, Henrik C.
1 Bollig, Benedikt
1 Bošnački, Dragan
1 Bowman, Howard
1 Bravetti, Mario
1 Brázdil, Tomáš
1 Brinksma, Ed
1 Broy, Manfred
1 Brunekreef, Jacob
1 Buchholz, Peter
1 Cloth, Lucia
1 Cubuktepe, Murat
1 De Nicola, Rocco
1 D’Innocenzo, Alessandro
1 Eisentraut, Christian
1 Faconti, G. P.
1 Fränzle, Martin
1 Gerwinn, Sebastian
1 Guan, Nan
1 Hatefi, Hassan
1 Heggernes, Pinar
1 Hemerik, Cornelis
1 Hensel, Christian
1 Herzog, Ulrich
1 Huang, Mingzhang
1 Hutschenreiter, Lisa
1 Infante-Lopez, Gabriel G.
1 Jonsson, Bengt
1 Katelaan, Jens
1 Kemna, Tim
1 Kemper, Peter
1 Kern, Carsten
1 Kiefer, Stefan
1 Klein, Joachim
1 König, Barbara
1 Koymans, Ron
1 Kröger, Paul
1 Kucera, Antonin
1 Kwiatkowska, Marta Z.
1 Loreti, Michele
1 Lygeros, John
1 Mauw, Sjouke
...and 27 more Co-Authors

Publications by Year

Citations contained in zbMATH

101 Publications have been cited 806 times in 525 Documents Cited by Year
Principles of model checking. Foreword by Kim Guldstrand Larsen. Zbl 1179.68076
Baier, Christel; Katoen, Joost-Pieter
273
2008
Model checking continuous-time Markov chains by transient analysis. Zbl 0974.68017
Baier, Christel; Haverkort, Boudewijn; Hermanns, Holger; Katoen, Joost-Pieter
39
2000
Comparative branching-time semantics for Markov chains. Zbl 1101.68053
Baier, Christel; Katoen, Joost-Pieter; Hermanns, Holger; Wolf, Verena
25
2005
Process algebra for performance evaluation. Zbl 0992.68149
Hermanns, Holger; Herzog, Ulrich; Katoen, Joost-Pieter
24
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
Model-based testing of reactive systems. Advanced lectures. Zbl 1070.68088
Broy, Manfred (ed.); Jonsson, Bengt (ed.); Katoen, Joost-Pieter (ed.); Leucker, Martin (ed.); Pretschner, Alexander (ed.)
17
2005
Three-valued abstraction for continuous-time Markov chains. Zbl 1135.68476
Katoen, Joost-Pieter; Klink, Daniel; Leucker, Martin; Wolf, Verena
16
2007
Approximate model checking of stochastic hybrid systems. Zbl 1216.93091
Abate, Alessandro; Katoen, Joost-Pieter; Lygeros, John; Prandini, Maria
11
2010
On the logical characterisation of performability properties. Zbl 0973.68014
Baier, Christel; Haverkort, Boudewijn; Hermanns, Holger; Katoen, Joost-Pieter
11
2000
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
9
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
9
2011
Probabilistic weak simulation is decidable in polynomial time. Zbl 1183.68703
Baier, Christel; 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
A compositional modelling and analysis framework for stochastic hybrid systems. Zbl 1291.68293
Hahn, Ernst Moritz; Hartmanns, Arnd; Hermanns, Holger; Katoen, Joost-Pieter
8
2013
Discrete-time rewards model-checked. Zbl 1099.68652
Andova, Suzana; Hermanns, Holger; Katoen, Joost-Pieter
8
2004
Metric semantics for true concurrent real time. Zbl 0976.68103
Katoen, J.-P.; Baier, C.; Latella, D.
8
2001
Weakest precondition reasoning for expected run-times of probabilistic programs. Zbl 1335.68058
Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph; Olmedo, Federico
7
2016
On the hardness of almost-sure termination. Zbl 06482744
Kaminski, Benjamin Lucien; Katoen, Joost-Pieter
7
2015
Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems. Zbl 1362.68189
Tkachev, Ilya; Mereacre, Alexandru; Katoen, Joost-Pieter; Abate, Alessandro
7
2013
A semantics for every GSPN. Zbl 1381.68199
Eisentraut, Christian; Hermanns, Holger; Katoen, Joost-Pieter; Zhang, Lijun
7
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
A theory of stochastic systems. I: Stochastic automata. Zbl 1105.68061
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
Three-valued abstraction for probabilistic systems. Zbl 1277.68219
Katoen, Joost-Pieter; Klink, Daniel; Leucker, Martin; Wolf, Verena
6
2012
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.
6
2010
Delayed nondeterminism in continuous-time Markov decision processes. Zbl 1234.68320
Neuhäußer, Martin R.; Stoelinga, Mariëlle; Katoen, Joost-Pieter
6
2009
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
A theory of stochastic systems. II: Process algebra. Zbl 1106.68073
D’Argenio, Pedro R.; Katoen, Joost-Pieter
6
2005
On generative parallel composition. Zbl 0920.68078
D’Argenio, Pedro R.; Hermanns, Holger; Katoen, Joost-Pieter
6
1998
Conditioning in probabilistic programming. Zbl 1351.68066
Jansen, Nils; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Olmedo, Federico; Gretz, Friedrich; McIver, Annabelle
5
2015
SMT-based bisimulation minimisation of Markov models. Zbl 1426.68168
Dehnert, Christian; Katoen, Joost-Pieter; Parker, David
5
2013
Robust PCTL model checking. Zbl 1361.68140
D’Innocenzo, Alessandro; Abate, Alessandro; Katoen, Joost-Pieter
5
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
YMCA: why Markov chain algebra? Zbl 1316.68088
Bravetti, Mario; Hermanns, Holger; Katoen, Joost-Pieter
5
2006
Comparative branching-time semantics for Markov chains (extended abstract). Zbl 1274.68264
Baier, Christel; Hermanns, Holger; Katoen, Joost-Pieter; Wolf, Verena
5
2003
Model-checking large structured Markov chains. Zbl 1048.68053
Buchholz, Peter; Katoen, Joost-Pieter; Kemper, Peter; Tepper, Carsten
5
2003
Reasoning about recursive probabilistic programs. Zbl 1401.68048
Olmedo, Federico; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph
4
2016
Understanding probabilistic programs. Zbl 1444.68045
Katoen, Joost-Pieter; Gretz, Friedrich; Jansen, Nils; Kaminski, Benjamin Lucien; Olmedo, Federico
4
2015
Analysis of timed and long-run objectives for Markov automata. Zbl 1342.68135
Guck, Dennis; Hatefi, Hassan; Hermanns, Holger; Katoen, Joost-Pieter; Timmer, Mark
4
2014
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
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
A probabilistic extension of UML statecharts specification and verification. Zbl 1278.68226
Jansen, David N.; Hermanns, Holger; Katoen, Joost-Pieter
4
2002
Simulation for continuous-time Markov chains. Zbl 1012.68526
Baier, Christel; Katoen, Joost-Pieter; Hermanns, Holger; Haverkort, Boudewijn
4
2002
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
Parameter synthesis for Markov models: faster than ever. Zbl 1398.68346
Quatmann, Tim; Dehnert, Christian; Jansen, Nils; Junges, Sebastian; Katoen, Joost-Pieter
3
2016
The probabilistic model checking landscape. Zbl 1401.68201
Katoen, Joost-Pieter
3
2016
Minimal critical subsystems for discrete-time Markov models. Zbl 1352.68167
Wimmer, Ralf; Jansen, Nils; Ábrahám, Erika; Becker, Bernd; Katoen, Joost-Pieter
3
2012
A linear process-algebraic format with data for probabilistic automata. Zbl 1283.68246
Katoen, Joost-Pieter; van de Pol, Jaco; Stoelinga, Mariëlle; Timmer, Mark
3
2012
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
Model checking HML on piecewise-constant inhomogeneous Markov chains. Zbl 1171.68550
Katoen, Joost-Pieter; Mereacre, Alexandru
3
2008
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
Safety and liveness in concurrent pointer programs. Zbl 1196.68045
Distefano, Dino; Katoen, Joost-Pieter; Rensink, Arend
3
2006
Validation of stochastic systems. A guide to current research. Zbl 1047.68001
Baier, Christel (ed.); Haverkort, Boudewijn R. (ed.); Hermanns, Holger (ed.); Katoen, Joost-Pieter (ed.); Siegle, Markus (ed.)
3
2004
MoDeST — a modelling and description language for stochastic timed systems. Zbl 1007.68518
D’Argenio, Pedro R.; Hermanns, Holger; Katoen, Joost-Pieter; Klaren, Ric
3
2001
First passage time analysis of stochastic process algebra using partial orders. Zbl 0978.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
Bottom-up tree acceptors. Zbl 0687.68044
Hemerik, C.; Katoen, J. P.
3
1989
On the hardness of analyzing probabilistic programs. Zbl 1417.68054
Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph
2
2019
Multi-cost bounded reachability in MDP. Zbl 1423.68282
Hartmanns, Arnd; Junges, Sebastian; Katoen, Joost-Pieter; Quatmann, Tim
2
2018
Bounded model checking for probabilistic programs. Zbl 1398.68343
Jansen, Nils; Dehnert, Christian; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Westhofen, Lukas
2
2016
Deciding probabilistic simulation between probabilistic pushdown automata and finite-state systems. Zbl 1246.68144
Fu, Hongfei; Katoen, Joost-Pieter
2
2011
LTL model checking of time-inhomogeneous Markov chains. Zbl 1262.68108
Chen, Taolue; Han, Tingting; Katoen, Joost-Pieter; Mereacre, Alexandru
2
2009
Compositional modeling and minimization of time-inhomogeneous Markov chains. Zbl 1144.93379
Han, Tingting; Katoen, Joost-Pieter; Mereacre, Alexandru
2
2008
Bisimulation and simulation relations for Markov chains. Zbl 1316.68085
Baier, Christel; Hermanns, Holger; Katoen, Joost-Pieter; Wolf, Verena
2
2006
Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes. Zbl 1126.68467
Baier, Christel; Haverkort, Boudewijn; Hermanns, Holger; Katoen, Joost-Pieter
2
2004
Who is pointing when to whom? On the automated verification of linked list structures. Zbl 1117.68427
Distefano, Dino; Katoen, Joost-Pieter; Rensink, Arend
2
2004
Automated performance and dependability evaluation using model checking. Zbl 1017.68500
Baier, Christel; Haverkort, Boudewijn; Hermanns, Holger; Katoen, Joost-Pieter
2
2002
On a temporal logic for object-based systems. Zbl 0968.68020
Distefano, Dino; Katoen, Joost-Pieter; Rensink, Arend
2
2000
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
1
2020
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
1
2018
Weakest precondition reasoning for expected runtimes of randomized algorithms. Zbl 1426.68298
Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph; Olmedo, Federico
1
2018
Quantitative model-checking of controlled discrete-time Markov processes. Zbl 1359.68199
Tkachev, Ilya; Mereacre, Alexandru; Katoen, Joost-Pieter; Abate, Alessandro
1
2017
On the satisfiability of some simple probabilistic logics. Zbl 1394.68169
Chakraborty, Souymodip; Katoen, Joost-Pieter
1
2016
Inferring covariances for probabilistic programs. Zbl 1377.68070
Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph
1
2016
Efficient GPU algorithms for parallel decomposition of graphs into strongly connected and maximal end components. Zbl 1404.68204
Wijs, Anton; Katoen, Joost-Pieter; Bošnački, Dragan
1
2016
Confluence reduction for Markov automata. Zbl 1356.68136
Timmer, Mark; Katoen, Joost-Pieter; van de Pol, Jaco; Stoelinga, Mariëlle
1
2016
Model checking of open interval Markov chains. Zbl 1392.68240
Chakraborty, Souymodip; Katoen, Joost-Pieter
1
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
High-level counterexamples for probabilistic automata. Zbl 1347.68211
Wimmer, Ralf; Jansen, Nils; Ábrahám, Erika; Katoen, Joost-Pieter
1
2015
Probably safe or live. Zbl 1394.68231
Katoen, Joost-Pieter; Song, Lei; Zhang, Lijun
1
2014
Counterexample generation for discrete-time Markov models: an introductory survey. Zbl 1445.68130
Ábrahám, Erika; Becker, Bernd; Dehnert, Christian; Jansen, Nils; Katoen, Joost-Pieter; Wimmer, Ralf
1
2014
Abstract probabilistic automata. Zbl 1296.68092
Delahaye, Benoît; Katoen, Joost-Pieter; Larsen, Kim G.; Legay, Axel; Pedersen, Mikkel L.; Sher, Falak; Wąsowski, Andrzej
1
2013
Model checking for performability. Zbl 1358.68181
Baier, C.; Hahn, E. M.; Haverkort, B. R.; Hermanns, H.; Katoen, J.-P.
1
2013
Layered reasoning for randomized distributed algorithms. Zbl 1259.68114
Swaminathan, Mani; Katoen, Joost-Pieter; Olderog, Ernst-Rüdiger
1
2012
Compositional abstraction techniques for probabilistic automata. Zbl 1362.68155
Sher, Falak; Katoen, Joost-Pieter
1
2012
A local Greibach normal form for hyperedge replacement grammars. Zbl 1330.68134
Jansen, Christina; Heinen, Jonathan; Katoen, Joost-Pieter; Noll, Thomas
1
2011
Reachability in continuous-time Markov reward decision processes. Zbl 1222.68120
Baier, Christel; Haverkort, Boudewijn R.; Hermanns, Holger; Katoen, Joost-Pieter
1
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
Embedded software analysis with MOTOR. Zbl 1105.68335
Katoen, Joost-Pieter; Bohnenkamp, Henrik; Klaren, Ric; Hermanns, Holger
1
2004
Lectures on Formal methods and performance analysis. 1st EEF/Euro summer school on trends in computer science, Berg en Dal, the Netherlands, July 3–7, 2000. Revised lectures. Zbl 0969.00082
Brinksma, Ed (ed.); Hermanns, Holger (ed.); Katoen, Joost-Pieter (ed.)
1
2001
Towards model checking stochastic process algebra. Zbl 1043.68594
Hermanns, Holger; Katoen, Joost-Pieter; Meyer-Kayser, Joachim; Siegle, Markus
1
2000
Code generation based on formal BURS theory and heuristic search. Zbl 0869.68030
Nymeyer, A.; Katoen, J.-P.
1
1997
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
1
2020
On the hardness of analyzing probabilistic programs. Zbl 1417.68054
Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph
2
2019
Multi-cost bounded reachability in MDP. Zbl 1423.68282
Hartmanns, Arnd; Junges, Sebastian; Katoen, Joost-Pieter; Quatmann, Tim
2
2018
How long, O Bayesian network, will I sample thee? A program analysis perspective on expected sampling times. Zbl 1418.68050
Batz, Kevin; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph
1
2018
Weakest precondition reasoning for expected runtimes of randomized algorithms. Zbl 1426.68298
Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph; Olmedo, Federico
1
2018
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
7
2016
Reasoning about recursive probabilistic programs. Zbl 1401.68048
Olmedo, Federico; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph
4
2016
Parameter synthesis for Markov models: faster than ever. Zbl 1398.68346
Quatmann, Tim; Dehnert, Christian; Jansen, Nils; Junges, Sebastian; Katoen, Joost-Pieter
3
2016
The probabilistic model checking landscape. Zbl 1401.68201
Katoen, Joost-Pieter
3
2016
Bounded model checking for probabilistic programs. Zbl 1398.68343
Jansen, Nils; Dehnert, Christian; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Westhofen, Lukas
2
2016
On the satisfiability of some simple probabilistic logics. Zbl 1394.68169
Chakraborty, Souymodip; Katoen, Joost-Pieter
1
2016
Inferring covariances for probabilistic programs. Zbl 1377.68070
Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph
1
2016
Efficient GPU algorithms for parallel decomposition of graphs into strongly connected and maximal end components. Zbl 1404.68204
Wijs, Anton; Katoen, Joost-Pieter; Bošnački, Dragan
1
2016
Confluence reduction for Markov automata. Zbl 1356.68136
Timmer, Mark; Katoen, Joost-Pieter; van de Pol, Jaco; Stoelinga, Mariëlle
1
2016
On the hardness of almost-sure termination. Zbl 06482744
Kaminski, Benjamin Lucien; Katoen, Joost-Pieter
7
2015
Conditioning in probabilistic programming. Zbl 1351.68066
Jansen, Nils; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Olmedo, Federico; Gretz, Friedrich; McIver, Annabelle
5
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
1
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
High-level counterexamples for probabilistic automata. Zbl 1347.68211
Wimmer, Ralf; Jansen, Nils; Ábrahám, Erika; Katoen, Joost-Pieter
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
4
2014
Probably safe or live. Zbl 1394.68231
Katoen, Joost-Pieter; Song, Lei; Zhang, Lijun
1
2014
Counterexample generation for discrete-time Markov models: an introductory survey. Zbl 1445.68130
Ábrahám, Erika; Becker, Bernd; Dehnert, Christian; Jansen, Nils; Katoen, Joost-Pieter; Wimmer, Ralf
1
2014
A compositional modelling and analysis framework for stochastic hybrid systems. Zbl 1291.68293
Hahn, Ernst Moritz; Hartmanns, Arnd; Hermanns, Holger; Katoen, Joost-Pieter
8
2013
Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems. Zbl 1362.68189
Tkachev, Ilya; Mereacre, Alexandru; Katoen, Joost-Pieter; Abate, Alessandro
7
2013
A semantics for every GSPN. Zbl 1381.68199
Eisentraut, Christian; Hermanns, Holger; Katoen, Joost-Pieter; Zhang, Lijun
7
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
1
2013
Model checking for performability. Zbl 1358.68181
Baier, C.; Hahn, E. M.; Haverkort, B. R.; Hermanns, H.; Katoen, J.-P.
1
2013
Three-valued abstraction for probabilistic systems. Zbl 1277.68219
Katoen, Joost-Pieter; Klink, Daniel; Leucker, Martin; Wolf, Verena
6
2012
Robust PCTL model checking. Zbl 1361.68140
D’Innocenzo, Alessandro; Abate, Alessandro; Katoen, Joost-Pieter
5
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
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
Compositional abstraction techniques for probabilistic automata. Zbl 1362.68155
Sher, Falak; Katoen, Joost-Pieter
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
9
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
9
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
Deciding probabilistic simulation between probabilistic pushdown automata and finite-state systems. Zbl 1246.68144
Fu, Hongfei; Katoen, Joost-Pieter
2
2011
A local Greibach normal form for hyperedge replacement grammars. Zbl 1330.68134
Jansen, Christina; Heinen, Jonathan; Katoen, Joost-Pieter; Noll, Thomas
1
2011
Approximate model checking of stochastic hybrid systems. Zbl 1216.93091
Abate, Alessandro; Katoen, Joost-Pieter; Lygeros, John; Prandini, Maria
11
2010
The how and why of interactive Markov chains. Zbl 1312.68152
Hermanns, Holger; Katoen, Joost-Pieter
7
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.
6
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
Reachability in continuous-time Markov reward decision processes. Zbl 1222.68120
Baier, Christel; Haverkort, Boudewijn R.; Hermanns, Holger; Katoen, Joost-Pieter
1
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.
17
2007
Three-valued abstraction for continuous-time Markov chains. Zbl 1135.68476
Katoen, Joost-Pieter; Klink, Daniel; Leucker, Martin; Wolf, Verena
16
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
3
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
25
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
Model-based testing of reactive systems. Advanced lectures. Zbl 1070.68088
Broy, Manfred (ed.); Jonsson, Bengt (ed.); Katoen, Joost-Pieter (ed.); Leucker, Martin (ed.); Pretschner, Alexander (ed.)
17
2005
A theory of stochastic systems. I: Stochastic automata. Zbl 1105.68061
D’Argenio, Pedro R.; Katoen, Joost-Pieter
7
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
9
2004
Discrete-time rewards model-checked. Zbl 1099.68652
Andova, Suzana; Hermanns, Holger; Katoen, Joost-Pieter
8
2004
Validation of stochastic systems. A guide to current research. Zbl 1047.68001
Baier, Christel (ed.); Haverkort, Boudewijn R. (ed.); Hermanns, Holger (ed.); Katoen, Joost-Pieter (ed.); Siegle, Markus (ed.)
3
2004
Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes. Zbl 1126.68467
Baier, Christel; Haverkort, Boudewijn; Hermanns, Holger; Katoen, Joost-Pieter
2
2004
Who is pointing when to whom? On the automated verification of linked list structures. Zbl 1117.68427
Distefano, Dino; Katoen, Joost-Pieter; Rensink, Arend
2
2004
Embedded software analysis with MOTOR. Zbl 1105.68335
Katoen, Joost-Pieter; Bohnenkamp, Henrik; Klaren, Ric; Hermanns, Holger
1
2004
Comparative branching-time semantics for Markov chains (extended abstract). Zbl 1274.68264
Baier, Christel; Hermanns, Holger; Katoen, Joost-Pieter; Wolf, Verena
5
2003
Model-checking large structured Markov chains. Zbl 1048.68053
Buchholz, Peter; Katoen, Joost-Pieter; Kemper, Peter; Tepper, Carsten
5
2003
Process algebra for performance evaluation. Zbl 0992.68149
Hermanns, Holger; Herzog, Ulrich; Katoen, Joost-Pieter
24
2002
A probabilistic extension of UML statecharts specification and verification. Zbl 1278.68226
Jansen, David N.; Hermanns, Holger; Katoen, Joost-Pieter
4
2002
Simulation for continuous-time Markov chains. Zbl 1012.68526
Baier, Christel; Katoen, Joost-Pieter; Hermanns, Holger; Haverkort, Boudewijn
4
2002
Automated performance and dependability evaluation using model checking. Zbl 1017.68500
Baier, Christel; Haverkort, Boudewijn; Hermanns, Holger; Katoen, Joost-Pieter
2
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
7
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
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
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
Brinksma, Ed (ed.); Hermanns, Holger (ed.); Katoen, Joost-Pieter (ed.)
1
2001
Model checking continuous-time Markov chains by transient analysis. Zbl 0974.68017
Baier, Christel; Haverkort, Boudewijn; Hermanns, Holger; Katoen, Joost-Pieter
39
2000
On the logical characterisation of performability properties. Zbl 0973.68014
Baier, Christel; Haverkort, Boudewijn; Hermanns, Holger; Katoen, Joost-Pieter
11
2000
Automated compositional Markov chain generation for a plain-old telephone system. Zbl 0941.68649
Hermanns, Holger; Katoen, Joost-Pieter
10
2000
A Markov chain model checker. Zbl 0960.68108
Hermanns, Holger; Katoen, Joost-Pieter; Meyer-Kayser, Joachim; Siegle, Markus
3
2000
On a temporal logic for object-based systems. Zbl 0968.68020
Distefano, Dino; Katoen, Joost-Pieter; Rensink, Arend
2
2000
Towards model checking stochastic process algebra. Zbl 1043.68594
Hermanns, Holger; Katoen, Joost-Pieter; Meyer-Kayser, Joachim; Siegle, Markus
1
2000
Approximate symbolic model checking of continuous-time Markov chains. Zbl 0934.03044
Baier, Christel; Katoen, Joost-Pieter; Hermanns, Holger
20
1999
On generative parallel composition. Zbl 0920.68078
D’Argenio, Pedro R.; Hermanns, Holger; Katoen, Joost-Pieter
6
1998
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
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
...and 1 more Documents
all top 5

Cited by 965 Authors

41 Katoen, Joost-Pieter
20 Hermanns, Holger
19 Baier, Christel
15 Abate, Alessandro
13 Larsen, Kim Guldstrand
12 Kwiatkowska, Marta Z.
10 Chatterjee, Krishnendu
10 Legay, Axel
9 Delahaye, Benoît
9 Zhang, Lijun
8 Bernardo, Marco
7 Norman, Gethin
7 Stoelinga, Mariëlle
6 D’Argenio, Pedro Rubén
6 Duan, Zhenhua
6 Hasan, Osman
6 Haverkort, Boudewijn R.
6 Loreti, Michele
6 Parker, David F.
6 Tahar, Sofiène
6 Tian, Cong
6 Zamani, Majid
5 Bortolussi, Luca
5 Brázdil, Tomáš
5 Buchholz, Peter
5 Feng, Yuan
5 Gebler, Daniel E.
5 Henzinger, Thomas A.
5 Hillston, Jane
5 Jansen, David N.
5 Jansen, Nils
5 Junges, Sebastian
5 Klein, Joachim
5 Křetínský, Jan
5 Latella, Diego
5 Massink, Mieke
5 Tini, Simone
5 Tkachev, Ilya
5 Turrini, Andrea
5 Wąsowski, Andrzej
5 Worrell, James B.
5 Ying, Mingsheng
4 Bouyer, Patricia
4 Brauer, Jörg
4 Cao, Yongzhi
4 Chen, Taolue
4 De Nicola, Rocco
4 Forejt, Vojtěch
4 Hahn, Ernst Moritz
4 Kaminski, Benjamin Lucien
4 Kiefer, Stefan
4 Klüppelholz, Sascha
4 Kucera, Antonin
4 Lanotte, Ruggero
4 Li, Yongming
4 Majster-Cederbaum, Mila E.
4 Majumdar, Rupak
4 Mardare, Radu
4 Mereacre, Alexandru
4 Ouaknine, Joel O.
4 Pedersen, Mikkel Lykke
4 Petrov, Tatjana
4 Raskin, Jean-François
4 Silva, Alexandra
4 Soudjani, Sadegh
4 Steffen, Bernhard
4 van Breugel, Franck
4 Viswanathan, Mahesh
4 Wimmer, Ralf D.
4 Wolf, Verena
3 Baader, Franz
3 Bacci, Giorgio
3 Becker, Bernd
3 Belta, Calin
3 Bérard, Béatrice
3 Bertrand, Nathalie
3 Bravetti, Mario
3 Brihaye, Thomas
3 Castro, Pablo F.
3 Černá, Ivana
3 Chmelík, Martin
3 de Vink, Erik P.
3 Deng, Yuxin
3 Dimarogonas, Dimos V.
3 Dubslaff, Clemens
3 Fecher, Harald
3 Gnesi, Stefania
3 Gomez, Rodolfo
3 Hashemi, Vahid
3 Howar, Falk
3 Kamgarpour, Maryam
3 Koeppl, Heinz
3 Konnov, Igor V.
3 Lavaei, Abolfazl
3 Lazar, Mircea
3 Lygeros, John
3 Ma, Zhanyou
3 Mio, Matteo
3 Movaghar, Ali
3 Neuhäußer, Martin R.
...and 865 more Authors
all top 5

Cited in 63 Serials

61 Theoretical Computer Science
37 Information and Computation
29 Formal Aspects of Computing
25 Formal Methods in System Design
24 Acta Informatica
16 Automatica
14 Logical Methods in Computer Science
12 The Journal of Logic and Algebraic Programming
11 Science of Computer Programming
10 Journal of Logical and Algebraic Methods in Programming
9 Journal of Computer and System Sciences
9 Discrete Event Dynamic Systems
6 Information Processing Letters
6 Journal of Automated Reasoning
6 MSCS. Mathematical Structures in Computer Science
6 Nonlinear Analysis. Hybrid Systems
4 ACM Transactions on Computational Logic
3 Fuzzy Sets and Systems
3 International Journal of Approximate Reasoning
3 Distributed Computing
3 Journal of Applied Logic
2 Artificial Intelligence
2 Computers & Mathematics with Applications
2 Computing
2 Programming and Computer Software
2 SIAM Journal on Control and Optimization
2 Journal of Computer Science and Technology
2 Computers & Operations Research
2 Machine Learning
2 Theory of Computing Systems
2 Journal of the ACM
2 Journal of Applied Mathematics
2 Algorithms
2 Computer Science Review
1 ACM Computing Surveys
1 International Journal of General Systems
1 International Journal of Theoretical Physics
1 Journal of Mathematical Analysis and Applications
1 Applied Mathematics and Computation
1 Journal of Applied Probability
1 Journal of Mathematical Psychology
1 Systems & Control Letters
1 Annals of Pure and Applied Logic
1 International Journal of Parallel Programming
1 Annals of Operations Research
1 Real-Time Systems
1 International Journal of Foundations of Computer Science
1 Journal of Statistical Computation and Simulation
1 Linear Algebra and its Applications
1 Journal of Applied Non-Classical Logics
1 Journal of Mathematical Sciences (New York)
1 The Journal of Artificial Intelligence Research (JAIR)
1 Annals of Mathematics and Artificial Intelligence
1 European Journal of Control
1 Journal of Combinatorial Optimization
1 International Journal of Applied Mathematics and Computer Science
1 Journal of Applied Mathematics and Computing
1 Sibirskie Èlektronnye Matematicheskie Izvestiya
1 Mathematics in Computer Science
1 Optimization Letters
1 Science China. Information Sciences
1 Symmetry
1 International Journal of Systems Science. Principles and Applications of Systems and Integration

Citations by Year