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
15 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

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

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
35 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)
24 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)
7 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
9 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)
43 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
6 Citations (Scopus)

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

9 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
15 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)
85 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
94 Citations (Scopus)
19 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
26 Citations (Scopus)

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

32 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

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

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

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

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

1997
22 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
19 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
1996
17 Downloads (Pure)

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

File
1995
14 Downloads (Pure)

Causal Behaviours and Nets

Katoen, J. P., De Michelis, G. (ed.) & Diaz, M. (ed.), 1995, p. 258-278. 21 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