Joost P. Katoen

prof.dr.ir.

1992 …2018
If you made any changes in Pure these will be visible here soon.

Research Output 1992 2018

Filter
Article
2017
5 Citations

Fault trees on a diet: automated reduction by graph rewriting

Junges, S., Guck, D., Katoen, J. P., Rensink, A. & Stoelinga, M., 2017, In : Formal aspects of computing. 29, 4, p. 651-703

Research output: Contribution to journalArticleAcademicpeer-review

Graph Rewriting
Fault Tree
Nutrition
Directed graphs
Reliability Modeling
2016
2 Citations

Confluence reduction for Markov automata

Timmer, M., Katoen, J. P., van de Pol, J. & Stoelinga, M. I. A., 6 Dec 2016, In : Theoretical computer science. 655, B, p. 193-219 27 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Confluence
Automata
Explosions
Nondeterminism
Bisimulation
2014
19 Citations

Analysis of timed and long-run objectives for Markov automata

Guck, D., Hatefi, H., Hermanns, H., Katoen, J. P. & Timmer, M., 10 Sep 2014, In : Logical methods in computer science. 10, 3, p. 17 29 p.

Research output: Contribution to journalArticleAcademicpeer-review

File
23 Citations

Spacecraft early design validation using formal methods

Bozzano, M., Cimatti, A., Katoen, J. P., Katsaros, P., Mokos, K., Nguyen, V. Y., Noll, T., Postma, B. & Roveri, M., Dec 2014, In : Reliability engineering & system safety. 132, p. 20-35 16 p.

Research output: Contribution to journalArticleAcademicpeer-review

2013
11 Citations

Model checking for performability

Baier, C., Hahn, E. M., Haverkort, B. R. H. M., Hermanns, H. & Katoen, J. P., Aug 2013, In : Mathematical structures in computer science. 23, Special Issue 04, p. 751-795 45 p.

Research output: Contribution to journalArticleAcademicpeer-review

2012
7 Citations

A linear process-algebraic format with data for probabilistic automata

Di Pierro, A. (ed.), Katoen, J. P., van de Pol, J. C., Norman, G. (ed.), Stoelinga, M. I. A. & Timmer, M., 6 Jan 2012, In : Theoretical computer science. 413, 1, p. 36-57 22 p.

Research output: Contribution to journalArticleAcademicpeer-review

File
2011
37 Citations

Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications

Chen, T., Han, T., Katoen, J. P. & Mereacre, A., 2011, In : Logical methods in computer science. 7, 1-12, p. 12:1-12:34 34 p.

Research output: Contribution to journalArticleAcademicpeer-review

File
126 Citations

The ins and outs of the probabilistic model checker MRMC

Katoen, J. P., Zapreev, I. S., Hahn, E. M., Hermanns, H. & Jansen, D. N., Feb 2011, In : Performance evaluation. 68, 2, p. 90-104 15 p.

Research output: Contribution to journalArticleAcademicpeer-review

4 Citations

Time-bounded reachability in tree-structured QBDs by abstraction

Klink, D., Remke, A. K. I., Haverkort, B. R. H. M. & Katoen, J. P., Feb 2011, In : Performance evaluation. 68, 2, p. 105-125 21 p.

Research output: Contribution to journalArticleAcademicpeer-review

File
2010
29 Citations

Computing Optimal Schedules of Battery Usage in Embedded Systems

Jongerden, M. R., Mereacre, A., Bohnenkamp, H. C., Haverkort, B. R. H. M. & Katoen, J. P., 2010, In : IEEE transactions on industrial informatics. 6, 3, p. 276-286 11 p.

Research output: Contribution to journalArticleAcademicpeer-review

File
21 Citations

Performability assessment by model checking of Markov reward models

Baier, C., Cloth, L., Haverkort, B. R. H. M., Hermanns, H. & Katoen, J. P., 2010, In : Formal methods in system design. 36, 1, p. 1-36 36 p.

Research output: Contribution to journalArticleAcademicpeer-review

53 Citations

Performance Evaluation and Model Checking Join Forces

Baier, C., Haverkort, B. R. H. M., Hermanns, H. & Katoen, J. P., Sep 2010, In : Communications of the ACM. 53, 9, p. 76-85 10 p.

Research output: Contribution to journalArticleAcademicpeer-review

File
2009
67 Citations

Counterexample Generation in Probabilistic Model Checking

Han, T., Katoen, J. P. & Damman, B., 2009, In : IEEE transactions on software engineering. 35, 2, p. 241-257 17 p., 10.1109/TSE.2009.5.

Research output: Contribution to journalArticleAcademicpeer-review

File

Towards an Information Retrieval Theory of Everything

Hiemstra, D., Lammerink, J. M. W. (ed.), Katoen, J. P. (ed.), Kok, J. N. (ed.), van de Pol, J. C. (ed.) & Raamsdonk, F. (ed.), 2009, In : Nieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica. 2009, p. 27-38 12 p.

Research output: Contribution to journalArticleAcademic

File
2007
41 Citations

Model checking mobile stochastic logic.

De Nicola, R., Katoen, J. P., Latella, D., Loreti, M. & Massink, M., 2007, In : Theoretical computer science. 382, Supplement/1, p. 42-70 29 p., 10.1016/j.tcs.2007.05.008.

Research output: Contribution to journalArticleAcademicpeer-review

2006
85 Citations

MoDeST: A compositional modeling formalism for real-time and stochastic systems

Bohnenkamp, H. C., d' Argenio, P. R., Hermanns, H. & Katoen, J. P., 2006, In : IEEE transactions on software engineering. 32, 10/10, p. 812-830 19 p., 10.1109/TSE.2006.104.

Research output: Contribution to journalArticleAcademicpeer-review

2005
21 Citations

A theory of stochastic systems. Part II: Process algebra

d' Argenio, P. R. & Katoen, J. P., 2005, In : Information and computation. 203, 1, p. 39-74 36 p.

Research output: Contribution to journalArticleAcademicpeer-review

File
42 Citations

A theory of stochastic systems part I: Stochastic automata

d' Argenio, P. R. & Katoen, J. P., 2005, In : Information and computation. 203, 1, p. 1-38 38 p.

Research output: Contribution to journalArticleAcademicpeer-review

File
93 Citations

Comparative branching-time semantics for Markov chains

Baier, C., Katoen, J. P., Hermanns, H. & Wolf, V., 2005, In : Information and computation. 200, 2, p. 149-214 66 p.

Research output: Contribution to journalArticleAcademicpeer-review

File
90 Citations

Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes

Baier, C., Hermanns, H., Katoen, J. P. & Haverkort, B. R. H. M., 2005, In : Theoretical computer science. 345, 1, p. 2-26 25 p.

Research output: Contribution to journalArticleAcademicpeer-review

File

Model checking meets performance evaluation

Baier, C., Haverkort, B. R. H. M., Hermanns, H. & Katoen, J. P., 2005, In : SIGMETRICS performance evaluation review. 32, 4, p. 10-16 7 p.

Research output: Contribution to journalArticleAcademicpeer-review

File

Performance and verification

Haverkort, B. R. H. M. & Katoen, J. P., 2005, In : SIGMETRICS performance evaluation review. 32, 4, p. 3-3 1 p.

Research output: Contribution to journalArticleAcademic

File

QoS modelling and analysis with UML-statecharts: the StoCharts approach

Jansen, D. N., Haverkort, B. R. H. M. (ed.), Hermanns, H. & Katoen, J. P. (ed.), Mar 2005, In : SIGMETRICS performance evaluation review. 32, 4, p. 28-33 6 p.

Research output: Contribution to journalArticleAcademicpeer-review

File
2004

Probabilistic weak simulation is decidable in polynomial time

Baier, C., Hermanns, H. & Katoen, J. P., 2004, In : Information processing letters. 89, 3, p. 123-140

Research output: Contribution to journalArticleAcademicpeer-review

15 Citations

Probabilistic weak simulation is polynomially decidable

Baier, C., Hermanns, H. & Katoen, J. P., 2004, In : Information processing letters. 89, 3, p. 123-252 130 p., 10.1016/j.ipl.2003.10.001.

Research output: Contribution to journalArticleAcademicpeer-review

2003

A tool for model-checking Markov chains

Hermanns, H., Katoen, J. P., Meyer-Kayser, J. & Siegle, M., 2003, In : International journal on software tools for technology transfer. 4, 2, p. - 20 p.

Research output: Contribution to journalArticleAcademicpeer-review

51 Citations

A tool for model-checking Markov chains

Hermanns, H., Katoen, J. P., Meyer-Kayser, J. & Siegle, M., 2003, In : International journal on software tools for technology transfer. 4, 2, p. 153-172 20 p., 10.1007/s100090100072.

Research output: Contribution to journalArticleAcademicpeer-review

File
508 Citations

Model-checking algorithms for continuous-time Markov chains

Baier, C., Haverkort, B. R. H. M., Hermanns, H. & Katoen, J. P., Jun 2003, In : IEEE transactions on software engineering. 29, 6, p. 524-541 18 p., 10.1109/TSE.2003.1205180.

Research output: Contribution to journalArticleAcademicpeer-review

29 Citations

Model-checking large structured Markov chains

Buchholz, P., Katoen, J. P., Kemper, P. & Tepper, C., May 2003, In : Journal of logic and algebraic programming. 56, 1-2, p. 69-97 28 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Continuous-time Markov Chain
Model checking
Markov processes
Model Checking
Markov chain
2002

Guest editors'introduction: Model checking in a nutshell

Hermanns, H. & Katoen, J. P., 2002, In : Journal of logic and algebraic programming. 0, C, p. 1-5

Research output: Contribution to journalArticleAcademicpeer-review

Guest editors' introduction: Model checking in a nutshell

Hermanns, H. & Katoen, J. P., 2002, In : Journal of logic and algebraic programming. 52-53, 10.1016/S1567-8326(02)00030-9, p. 1-5 5 p., 10.1016/S1567-8326(02)00030-9.

Research output: Contribution to journalArticleAcademic

File

Model checking birth and death.

Distefano, D. S., Rensink, A. & Katoen, J. P., 2002, In : Theoretical computer science. p. -

Research output: Contribution to journalArticleAcademicpeer-review

151 Citations

Process algebra for performance evaluation

Hermanns, H., Herzog, U. & Katoen, J. P., 2002, In : Theoretical computer science. 274, 1-2, p. 43-87 44 p., 10.1016/S0304-3975(00)00305-4.

Research output: Contribution to journalArticleAcademicpeer-review

File

Real-time and probabilistic systems - Foreword

Katoen, J. P., 2002, In : Theoretical computer science. 282, 1, p. 1-3

Research output: Contribution to journalArticleAcademicpeer-review

Simulation for continuous-time Markov chains

Baier, C., Katoen, J. P., Hermanns, H. & Haverkort, B. R. H. M., 2002, In : Lecture notes in artificial intelligence. 2421, p. -

Research output: Contribution to journalArticleAcademicpeer-review

2001

Beyond memoryless distributions: model checking semi-Markov chains

Infante lopez, G. G., Hermanns, H. & Katoen, J. P., 2001, In : Lecture notes in artificial intelligence. 2165, p. -

Research output: Contribution to journalArticleAcademicpeer-review

First passage time analysis of stochastic process algebra using partial orders

Ruys, T. C., Langerak, R., Katoen, J. P., Latella, D. & Massink, M., 2001, In : Lecture notes in artificial intelligence. 2031, p. - 16 p.

Research output: Contribution to journalArticleAcademicpeer-review

Hooggespannen verwachtingen model checking

Brinksma, H. & Katoen, J. P., 2001, In : Bits en chips. 3, 4, p. - 4 p.

Research output: Contribution to journalArticleProfessional

Hooggespannen verwachtingen model checking

Brinksma, H. & Katoen, J. P., 2001, In : Bits en chips. 3, 4, p. 31-34 4 p.

Research output: Contribution to journalArticleAcademic

16 Citations

Metric semantics for true concurrent real time

Katoen, J. P., Baier, C. & Latella, D., 2001, In : Theoretical computer science. 254, 1/2, p. 501-542 42 p., 10.1016/S0304-3975(99)00342-4.

Research output: Contribution to journalArticleAcademicpeer-review

Performance analysis := (process algebra + model checking) x Markov chains

Hermanns, H. & Katoen, J. P., 2001, In : Lecture notes in artificial intelligence. 2154, p. - 23 p.

Research output: Contribution to journalArticleAcademicpeer-review

2000

Automated compositional Markov chain generation for a plain-old telephone system

Hermanns, H. & Katoen, J. P., 2000, In : Science of computer programming. 36, 1, p. 97-127 31 p.

Research output: Contribution to journalArticleAcademicpeer-review

60 Citations

Automated compositional Markov chain generation for a plain-old telephone system

Hermanns, H. & Katoen, J. P., Jan 2000, In : Science of computer programming. 36, 1, p. 97-127 31 p.

Research output: Contribution to journalArticleAcademicpeer-review

Pattern-matching algorithms based on term rewrite systems

Katoen, J. P. & Nymeyer, A., 2000, In : Theoretical computer science. 238, 1-2, p. 439-463 25 p., 10.1016/S0304_3975(00)00041-4.

Research output: Contribution to journalArticleAcademicpeer-review

Stochastic Process Algebras: Linking Process Descriptions with Performance

Brinksma, H., d' Argenio, P. R. & Katoen, J. P., 2000, In : Nieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica. 4, p. 34-42

Research output: Contribution to journalArticleProfessional

File
1999

Concepts, Algorithms, and Tools for Model Checking

Katoen, J. P., 1999, In : Arbeitsberichte des Instituts für Mathematische Maschinen und Datenverarbeitung. Band, 1, p. - 292 p.

Research output: Contribution to journalArticleAcademic

On generative parallel composition

d' Argenio, P. R., Hermanns, H. & Katoen, J. P., 1999, In : Theoretical computer science. 22, p. - 25 p.

Research output: Contribution to journalArticleAcademicpeer-review

1998

A consistent causality-based view on a fined process algebra including urgent interaction

Katoen, J. P., Latella, D., Langerak, R., Brinksma, H. & Bolognesi, T., 1998, In : Formal methods in system design. 12, 2, p. 189-216 28 p.

Research output: Contribution to journalArticleAcademicpeer-review

14 Citations

A consistent causality-based view on a timed process algebra including urgent interactions

Katoen, J. P., Latella, D., Langerak, R., Brinksma, H. & Bolognesi, T., 1998, In : Formal methods in system design. 12, 2, p. 189-216 28 p.

Research output: Contribution to journalArticleAcademicpeer-review

18 Citations

Automatic verification of a lip-synchronisation protocol using Uppaal

Bowman, H., Faconti, G., Katoen, J-P., Latella, D. & Massink, M., 1998, In : Formal aspects of computing. 10, p. 550-575 26 p., 10.1007/s001650050032.

Research output: Contribution to journalArticleAcademicpeer-review

Automatic Verification
Synchronization
Network protocols
Specification
Specifications