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
8 Citations (Scopus)

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
3 Citations (Scopus)
86 Downloads (Pure)

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
21 Citations (Scopus)
40 Downloads (Pure)

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
33 Citations (Scopus)

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
14 Citations (Scopus)

Model checking for performability

Baier, C., Hahn, E. M., Haverkort, B. R., 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

Performability
Model checking
Model Checking
Evaluation
Temporal logic
2012
7 Citations (Scopus)
68 Downloads (Pure)

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
38 Citations (Scopus)
37 Downloads (Pure)

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
136 Citations (Scopus)

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 (Scopus)
13 Downloads (Pure)

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 (Scopus)
94 Downloads (Pure)

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 (Scopus)

Performability assessment by model checking of Markov reward models

Baier, C., Cloth, L., Haverkort, B. R., 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

Performability
Model checking
Reward
Model Checking
Logic
57 Citations (Scopus)
51 Downloads (Pure)

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
74 Citations (Scopus)
48 Downloads (Pure)

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
17 Downloads (Pure)

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
46 Citations (Scopus)

Model checking mobile stochastic logic

De Nicola, R., Katoen, J-P., Latella, D., Loreti, M. & Massink, M., 2007, In : Theoretical computer science. 382, Suppl. 1, p. 42-70 29 p.

Research output: Contribution to journalArticleAcademicpeer-review

Model checking
Model Checking
Logic
Stochastic models
Specifications
2006
91 Citations (Scopus)

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 (Scopus)
13 Downloads (Pure)

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

Open Access
File
Process Algebra
Stochastic systems
Bisimulation
Stochastic Systems
Algebra
44 Citations (Scopus)
16 Downloads (Pure)

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

Open Access
File
Stochastic systems
Transition Systems
Stochastic Systems
Automata
Probability Space
94 Citations (Scopus)
9 Downloads (Pure)

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

Open Access
File
Temporal logic
Markov processes
Branching
Markov chain
Semantics
92 Citations (Scopus)
40 Downloads (Pure)

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
46 Downloads (Pure)

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
22 Citations (Scopus)
7 Downloads (Pure)

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
19 Downloads (Pure)

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 (Scopus)

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 (Scopus)
43 Downloads (Pure)

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
518 Citations (Scopus)

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 (Scopus)
46 Downloads (Pure)

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
3 Downloads (Pure)

Guest editors' introduction: Model checking in a nutshell

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

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
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

153 Citations (Scopus)
33 Downloads (Pure)

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

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

17 Citations (Scopus)

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.

Research output: Contribution to journalArticleAcademicpeer-review

Event Structures
Concurrent
Semantics
Operational Semantics
Metric

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 (Scopus)

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

9 Downloads (Pure)

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

1998
14 Citations (Scopus)

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

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

Research output: Contribution to journalArticleAcademicpeer-review

Process Algebra
Causality
Algebra
Event Structures
Interleaving
18 Citations (Scopus)

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, 5-6, p. 550-575 26 p.

Research output: Contribution to journalArticleAcademicpeer-review

Automatic Verification
Synchronization
Network protocols
Specification
Specifications
12 Citations (Scopus)

Partial-order models for quantitative extensions of LOTOS

Brinksma, E., Katoen, J-P., Langerak, R. & Latella, D., 1998, In : Computer networks and ISDN systems. 30, 9-10, p. 925-950 26 p.

Research output: Contribution to journalArticleAcademicpeer-review

Specification languages
Semantics
Trajectories
1997
18 Citations (Scopus)
39 Downloads (Pure)

Code generation based on formal BURS theory and heuristic search

Nymeyer, A. & Katoen, J-P., Aug 1997, In : Acta informatica. 34, 8, p. 597-635 39 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Costs
Code generation
Dynamic programming
1996
46 Citations (Scopus)
3 Downloads (Pure)

Design and Analysis of Dynamic Leader Election Protocols in Broadcast Networks

Brunekreef, J., Katoen, J-P., Koymans, R. & Mauw, S., Feb 1996, In : Distributed computing. 9, 4, p. 157-171 15 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Leader Election
Broadcast
Network protocols
Crash
Design Process
15 Downloads (Pure)

Systolic Arrays for the Recognition of P-invariant Segments

Katoen, J-P. & Schoenmakers, B., 1996, In : Science of computer programming. 27, 2, p. 119-137 19 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Systolic arrays