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

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 conferencePaperAcademic

Open Access
File
Technical presentations
Particle accelerators
Computer science
2011
31 Citations (Scopus)

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 conferencePaperAcademicpeer-review

2004
5 Downloads (Pure)

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 conferencePaperAcademicpeer-review

File

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 conferencePaperAcademicpeer-review

2003
56 Downloads (Pure)

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 conferencePaperAcademicpeer-review

File
2002
12 Citations (Scopus)
43 Downloads (Pure)

Model checking birth and death

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

Research output: Contribution to conferencePaperAcademicpeer-review

File
13 Downloads (Pure)

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 conferencePaperAcademicpeer-review

File
Model checking
Formal logic
Mobile computing
Computational complexity
17 Citations (Scopus)
14 Downloads (Pure)

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 conferencePaperAcademicpeer-review

File
2001
11 Downloads (Pure)

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 conferencePaperAcademic

File
38 Citations (Scopus)
67 Downloads (Pure)

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 conferencePaperAcademicpeer-review

File
14 Downloads (Pure)

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 conferencePaperAcademicpeer-review

File
17 Downloads (Pure)

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 conferencePaperAcademic

File
11 Citations (Scopus)
115 Downloads (Pure)

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 conferencePaperAcademic

File
Model checking
Markov processes
Algebra
Specifications
Agglomeration
2000
96 Citations (Scopus)
43 Downloads (Pure)

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 conferencePaperAcademicpeer-review

Open Access
File
Model checking
Transient analysis
Markov processes
Specifications
Temporal logic
38 Downloads (Pure)

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 conferencePaperAcademicpeer-review

File

Towards Model Checking OCL

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

Research output: Contribution to conferencePaperAcademic

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 conferencePaperAcademicpeer-review

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 conferencePaperAcademicpeer-review

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 conferencePaperAcademicpeer-review

1998

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 conferencePaperAcademicpeer-review

10 Citations (Scopus)

A true concurrency semantics for ET-LOTOS

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

Research output: Contribution to conferencePaperAcademicpeer-review

Specification languages
Semantics
Specifications

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 conferencePaperAcademicpeer-review

1997
46 Downloads (Pure)

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 conferencePaperAcademicpeer-review

File
29 Downloads (Pure)

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 conferencePaperAcademicpeer-review

File
6 Downloads (Pure)

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 conferencePaperAcademicpeer-review

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 conferencePaperAcademic

UMTS functional and network architecture

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

Research output: Contribution to conferencePaperAcademic

UMTS requirements on B-ISDN and IN

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

Research output: Contribution to conferencePaperAcademic