No photo of Joost P. Katoen

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
Paper
2016
8 Citations

Uncovering dynamic fault trees

Junges, S., Guck, D., Katoen, J. P. & Stoelinga, M. I. A. Jun 2016 p. 299-310 12 p.

Research output: Contribution to conferencePaper

File
2013

Correct and efficient accelerator programming (Dagstuhl Seminar 13142)

Cohen, A., Donaldson, A. F., Huisman, M. & Katoen, J. P. 2013 p. 17-33

Research output: Contribution to conferencePaper

File
Technical presentations
Particle accelerators
Computer science
2012

Efficient Modelling and Generation of Markov Automata

Koutny, M. (ed.), Timmer, M., Ulidowski, I. (ed.), Katoen, J. P., van de Pol, J. C. & Stoelinga, M. I. A. Sep 2012 p. 364-379 16 p.

Research output: Contribution to conferencePaper

File
2011
27 Citations

Efficient CTMC Model Checking of Linear Real-Time Objectives

Barbot, B., Chen, T., Han, T., Katoen, J. P. & Mereacre, A. Mar 2011 p. 128-142 15 p.

Research output: Contribution to conferencePaper

2004

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

Jensen, K. (ed.), Baier, C., Haverkort, B. R. H. M., Podelski, A. (ed.), Hermanns, H. & Katoen, J. P. 2004 p. 61-76 16 p.

Research output: Contribution to conferencePaper

File

Model checking dependabiliy attributes of wireless group communication

Massink, M., Katoen, J. P. & Latella, D. 2004 p. 711-720 10 p.

Research output: Contribution to conferencePaper

Who is pointing when to whom?

Distefano, D. S., Lodaya, K. (ed.), Katoen, J. P., Mahajan, M. (ed.) & Rensink, A. 2004 p. 250-262 13 p.

Research output: Contribution to conferencePaper

2003

Discrete-time rewards model-checked

Larsen, K. G. (ed.), Andova, S., Niebert, P. (ed.), Hermanns, H. & Katoen, J. P. 2003 p. 88-104 16 p.

Research output: Contribution to conferencePaper

File
2002
12 Citations

Model checking birth and death

Distefano, D. S., Rensink, A. & Katoen, J. P. 2002 p. 435-447 13 p.

Research output: Contribution to conferencePaper

File

Model-checking performability properties

Haverkort, B. R. H. M., Cloth, L., Hermanns, H., Katoen, J. P. & Baier, C. 2002 p. 103-112 10 p.

Research output: Contribution to conferencePaper

File
Model checking
Formal logic
Mobile computing
Computational complexity
16 Citations

Simulation for continuous-time Markov chains

Brim, J. (ed.), Baier, C., Katoen, J. P., Jancar, P. (ed.), Hermanns, H., Kretnsk, M. (ed.), Haverkort, B. R. H. M. & Kucera, A. (ed.) 2002 p. 473-489 15 p.

Research output: Contribution to conferencePaper

File
2001

A model checker for performance and dependability properties

Hermanns, H., Karelse, F. (ed.), Katoen, J. P., Meyer-Kayser, J. & Siegle, M. 2001 p. 83-88 6 p.

Research output: Contribution to conferencePaper

File
38 Citations

Beyond memoryless distributions: model checking semi-Markov chains

Infante lopez, G. G., de Alfaro, L. (ed.), Gilmore, S. (ed.), Hermanns, H. & Katoen, J. P. 2001 p. 57-70 14 p.

Research output: Contribution to conferencePaper

File
6 Citations

First passage time analysis of stochastic process algebra using partial orders

Margaria, T. (ed.), Ruys, T. C., Yi, W. (ed.), Langerak, R., Katoen, J. P., Latella, D. & Massink, M. 2001 p. 220-235 16 p.

Research output: Contribution to conferencePaper

Implementing a Model Checker for Performability Behaviour

Hermanns, H., German, R. (ed.), Katoen, J. P. & Meyer-Kayser, J. 2001 p. 110-114 5 p.

Research output: Contribution to conferencePaper

File

Modelling stochastic timed systems

d' Argenio, P. R., Karelse, F. (ed.), Hermanns, H., Katoen, J. P. & Klaren, R. 2001 p. 31-36 6 p.

Research output: Contribution to conferencePaper

File
11 Citations

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

Hermanns, H., Larsen, K. G. (ed.), Nielsen, M. (ed.) & Katoen, J. P. 2001 p. 59-81 23 p.

Research output: Contribution to conferencePaper

File
Model checking
Markov processes
Algebra
Specifications
Agglomeration
2000
92 Citations

Model Checking Continuous-Time Markov Chains by Transient Analysis

Baier, C., Haverkort, B., Hermanns, H. & Katoen, J. P. 2000 p. 358-372 15 p.

Research output: Contribution to conferencePaper

Open Access
File
Model checking
Transient analysis
Markov processes
Specifications
Temporal logic
24 Citations

On a Temporal Logic for Object-Based Systems

Distefano, D. S., Smith, S. F. (ed.), Katoen, J. P., Talcott, C. L. (ed.) & Rensink, A. 2000 p. 305-326 22 p.

Research output: Contribution to conferencePaper

On the Use of Model Checking Techniques for Quantitative Dependability Evaluation

Haverkort, B. R. H. M., Hermanns, H. & Katoen, J. P. 2000 p. 228-237 10 p.

Research output: Contribution to conferencePaper

File

Towards Model Checking OCL

Distefano, D. S., Katoen, J. P. & Rensink, A. 12 Jun 2000 10 p.

Research output: Contribution to conferencePaper

Towards Model Checking Stochastic Process Algebra

Hermanns, H., Grieskamp, W. (ed.), Santen, T. (ed.), Katoen, J. P., Stoddart, B. (ed.), Meyer-Kayser, J. & Siegle, M. Nov 2000 p. 420-439 20 p.

Research output: Contribution to conferencePaper

Model checking
Random processes
Algebra
Temporal logic
Numerical analysis
1999

Approximate symbolic model checking of continous-time Markov chains

Baier, C., Baeten, J. C. M. (ed.), Mauw, S. (ed.), Katoen, J. P. & Hermanns, H. 1999 p. 146-162 17 p.

Research output: Contribution to conferencePaper

Bisimulation Algorithms for StochasticProcess Algebras and their BDD-based Implementation

Katoen, J. P. (ed.), Hermanns, H. & Siegle, M. 1999 p. 144-264 121 p.

Research output: Contribution to conferencePaper

1998

A Compositional Approach to Generalised semi-Markov Processes

d' Argenio, P. R., Katoen, J. P. & Brinksma, H. 1998 p. 391-397 7 p.

Research output: Contribution to conferencePaper

An Algebraic Approach to the Specification of Stochastic Systems (Extended Abstract)

d' Argenio, P. R., Gries, D. (ed.), de Roever, W. P. (ed.), Katoen, J. P. & Brinksma, H. Jun 1998 p. 126-147 22 p.

Research output: Contribution to conferencePaper

10 Citations

A true concurrency semantics for ET-LOTOS

Bowman, H. & Katoen, J. P. Mar 1998 p. 228-239 12 p.

Research output: Contribution to conferencePaper

Specification languages
Semantics
Specifications
14 Citations

Metric semantics for true concurrent real time

Baier, C., Larsen, K. G. (ed.), Skyum, S. (ed.), Katoen, J. P., Latella, D. & Winskel, G. (ed.) 1998 p. 568-580 13 p.

Research output: Contribution to conferencePaper

Semantics
Equivalence classes
Algebra

Pomsets for message sequence charts

Katoen, J. P., König, H. (ed.), Lambert, L. & Langendörfer, P. (ed.) 1998 p. 197-207 12 p.

Research output: Contribution to conferencePaper

1997

Causal ambiguity and partial orders in event structures

Langerak, R., Mazurkiewizc, A. W. (ed.), Brinksma, H., Winkowski, J. (ed.) & Katoen, J. P. 1997 p. 317-332 16 p.

Research output: Contribution to conferencePaper

File

The bounded retransmission protocol must be on time!

Brinksma, H. (ed.), d' Argenio, P. R., Katoen, J. P., Ruys, T. C. & Tretmans, G. J. 1997 p. 416-431 16 p.

Research output: Contribution to conferencePaper

File

The systematic development of a pattern-matching algorithm using term rewrite systems

Katoen, J. P., Harland, J. (ed.) & Nymeyer, A. 1997 p. 59-72 14 p.

Research output: Contribution to conferencePaper

File
1996

Stochastic simulation of event structures

Katoen, J. P., Ribaudo, M. (ed.), Brinksma, H., Latella, D. & Langerak, R. 1996 p. 21-49 29 p.

Research output: Contribution to conferencePaper

File
1995

Causal Behaviours and Nets

Katoen, J. P., De Michelis, G. (ed.) & Diaz, M. (ed.) 1995 p. 258-278 21 p.

Research output: Contribution to conferencePaper

File
1994

Mapping of some mobility procedures on UMTS reference configurations

Katoen, J. P. & van den Broek, W. 1 Nov 1994 p. -

Research output: Contribution to conferencePaper

UMTS functional and network architecture

Katoen, J. P. 1 Sep 1994 p. -

Research output: Contribution to conferencePaper

UMTS requirements on B-ISDN and IN

Katoen, J. P. 1 Nov 1994 p. -

Research output: Contribution to conferencePaper