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
Report
2013

Correct and Efficient Accelerator Programming (Dagstuhl Seminar 13142)

Cohen, A., Donaldson, A. F., Huisman, M. & Katoen, J. P. 2013 Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik. 17 p.

Research output: Book/ReportReport

File

Modelling, Reduction and Analysis of Markov Automata (extended version)

Guck, D., Hatefi, H., Hermanns, H., Katoen, J. P. & Timmer, M. 30 May 2013 Ithaca, NY, USA: Cornell University. 27 p.

Research output: Book/ReportReport

File
2012

Efficient Modelling and Generation of Markov Automata (extended version)

Timmer, M., Katoen, J. P., van de Pol, J. C. & Stoelinga, M. I. A. 11 Jun 2012 Enschede: Centre for Telematics and Information Technology (CTIT). 35 p. (CTIT Technical Report Series; no. TR-CTIT-12-16)

Research output: Book/ReportReport

File
2010
File
2008
1 Citations

Symmetry Reduction For Stochastic Hybrid Systems

Bujorianu, L. M. & Katoen, J. P. 18 Mar 2008 Enschede: Centre for Telematics and Information Technology (CTIT). 25 p. (CTIT Technical Report Series; no. TR-CTIT-08-27)

Research output: Book/ReportReport

File
2006
20 Citations

Probably on time and within budget: on reachability in priced probabilistic timed automata

Berendsen, J., Jansen, D. N. & Katoen, J. P. Jun 2006 Enschede: Centrum voor Telematica en Informatie Technologie. 29 p. (CTIT Technical Report Series; no. 06-26)

Research output: Book/ReportReport

File
2005

Safe On-The-Fly Steady-State Detection for Time-Bounded Reachability

Katoen, J. P. & Zapreev, I. S. Nov 2005 Enschede: Formal Methods and Tools (FMT). 32 p. (CTIT Technical Report Series; no. TR-CTIT-05-52)

Research output: Book/ReportReport

File
2004

Comparative Branching-Time Semantics for Markov Chains

Baier, C., Katoen, J. P., Hermanns, H. & Wolf, V. Aug 2004 Enschede: Centre for Telematics and Information Technology (CTIT). 64 p. (1381-3625; no. 04-32)

Research output: Book/ReportReport

File
7 Citations
File

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

Bohnenkamp, H. C., d' Argenio, P. R., Hermanns, H. & Katoen, J. P. Nov 2004 Enschede: INF-Centre for Telematics and Information Techn.36 p. (CTIT technical report series; no. 1381-3625)

Research output: Book/ReportReport

File

Who is pointing when to whom: on model-checking pointer structures

Distefano, D. S., Rensink, A. & Katoen, J. P. Apr 2003 Enschede: Centre for Telematics and Information Technology (CTIT). 79 p. (CTIT-technical reports; no. 2003-..)

Research output: Book/ReportReport

File
2002
27 Citations

A probabilistic extension of UML statecharts: specification and verification

Jansen, D. N., Hermanns, H. & Katoen, J. P. Sep 2002 Enschede: Centre for Telematics and Information Technology (CTIT). 25 p. (CTIT technical report series; no. TR-CTIT-02-31)

Research output: Book/ReportReport

File

Model-Checking Algorithms for Continuous-Time Markov Chains

Baier, C., Haverkort, B. R. H. M., Hermanns, H. & Katoen, J. P. Apr 2002 Enschede: Centre for Telematics and Information Technology (CTIT). (CTIT technical report series; no. TR-CTI)

Research output: Book/ReportReport

File

Model checking for dynamic allocation and deallocation

Distefano, D. S., Rensink, A. & Katoen, J. P. 2002 Centre for Telematics and Information Technology (CTIT). 57 p. (CTIT Technical Report Series; no. 01-40)

Research output: Book/ReportReport

2001

Model Checking Dynamic Allocation and Deallocation

Distefano, D. S., Rensink, A. & Katoen, J. P. Dec 2001 Enschede: Centre for Telematics and Information Technology (CTIT). (CTIT technical report series; no. TR-CTIT-01-40)

Research output: Book/ReportReport

2000

n a Temporal Logic for Object-Based Systems

Distefano, D. S., Katoen, J. P. & Rensink, A. 2000 Enschede: Centre for Telematics and Information Technology (CTIT). 17 p. (CTIT Technical Report Series; no. 00-06)

Research output: Book/ReportReport

1997
18 Citations

Causal ambiguity and partial orders in event structures

Langerak, R., Brinksma, H. & Katoen, J. P. Apr 1997 Enschede: Centre for Telematics and Information Technology (CTIT). 21 p. (CTIT Technical Report Series; no. 97-11)

Research output: Book/ReportReport

Open Access
File
44 Citations

The Bounded Retransmission Protocol must be on time!

d' Argenio, P. R., Katoen, J. P., Ruys, T. C. & Tretmans, G. J. 1997 Enschede: Centre for Telematics and Information Technology (CTIT). 63 p. (CTIT technical report; no. 97-03)

Research output: Book/ReportReport

File
1996

B-ISDN to the Cell Site Switch versus B-ISDN the Mobile Terminal

Karagiannis, G., Katoen, J. P. & Niemegeers, I. G. M. M. 1996 University of Twente, Enschede: Centre for Telematics and Information Technology (CTIT). 5 p.

Research output: Book/ReportReport

Modelling and Verifying a Bounded Retransmission Protocol

Tretmans, G. J., d' Argenio, P. R., Katoen, J. P. & Ruys, T. C. 1996 University of Twente, Enschede: Centre for Telematics and Information Technology (CTIT). 14 p.

Research output: Book/ReportReport

1993

Evolution Strategies Towards UMTS

Katoen, J. P. & Kremer, H. H. C. 30 Sep 1993 Enschede: Universiteit Twente.

Research output: Book/ReportReport