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

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/ReportReportAcademic

File
2012
20 Downloads (Pure)

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/ReportReportAcademic

File
2010
25 Downloads (Pure)

A linear process-algebraic format for probabilistic systems with data (extended version)

Katoen, J. P., van de Pol, J. C., Stoelinga, M. I. A. & Timmer, M., 7 Apr 2010, Enschede: Centre for Telematics and Information Technology (CTIT). 18 p. (CTIT Technical Report Series; no. TR-CTIT-10-11)

Research output: Book/ReportReportAcademic

File
2008
1 Citation (Scopus)
31 Downloads (Pure)

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/ReportReportProfessional

File
2006
20 Citations (Scopus)
20 Downloads (Pure)

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/ReportReportProfessional

File
2005
29 Downloads (Pure)

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/ReportReportProfessional

File
2004
25 Downloads (Pure)

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/ReportReportProfessional

File
7 Citations (Scopus)
44 Downloads (Pure)

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

Baier, C., Haverkort, B. R. H. M., Hermanns, H. & Katoen, J. P., 2004, Enschede: Elektrotechniek, Wiskunde & Informatica. 30 p. (1381-3625; no. 03-50)

Research output: Book/ReportReportProfessional

File
69 Downloads (Pure)

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/ReportReportProfessional

File
2003
6 Downloads (Pure)

An efficient algorithm tocompute the minimal and maximal probabilities for timed reachability incontinuous-time Markov decision processes

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

Research output: Book/ReportReportOther research output

File
13 Downloads (Pure)

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/ReportReportProfessional

File
2002
32 Citations (Scopus)
21 Downloads (Pure)

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/ReportReportOther research output

File
35 Downloads (Pure)

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/ReportReportOther research output

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/ReportReportAcademic

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/ReportReportOther research output

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/ReportReportProfessional

1998

An Algebraic Approach to the Specification of Stochastic Systems

d' Argenio, P. R., Katoen, J. P. & Brinksma, H., Jun 1998, Enschede: Centre for Telematics and Information Technology (CTIT).

Research output: Book/ReportReportOther research output

1997
20 Citations (Scopus)
32 Downloads (Pure)

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/ReportReportProfessional

Open Access
File
50 Citations (Scopus)
51 Downloads (Pure)

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/ReportReportProfessional

File
1996

A Consistent Causality-Based View on a Timed Process Algebra including Urgent Interactions

Katoen, J-P., Langerak, R., Brinksma, E., Latella, D. & Bolognesi, T., 1996, Enschede: Centre for Telematics and Information Technology (CTIT). 16 p. (CTIT Technical Report Series; no. 96-03)

Research output: Book/ReportReportProfessional

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/ReportReportProfessional

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/ReportReportProfessional

1995

A Stochastic Causality-based Process Algebra

Brinksma, E., Katoen, J-P., Langerak, R. & Latella, D., 1995, Enschede: University of Twente. 14 p. (Memoranda Informatica; no. 95-34)(TIOS; no. 95-13)

Research output: Book/ReportReportAcademic

2 Downloads (Pure)

Code Generation = A* + BURS

Nymeyer, A., Katoen, J-P., Westra, Y. & Alblas, H., 1995, Enschede: University of Twente. 14 p. (Memoranda Informatica; no. 95-43)(Memorandum TIOS; no. 95-17)

Research output: Book/ReportReportAcademic

Open Access
File
Costs
Code generation

Code Generation based on formal BURS theory and heuristic search

Nymeyer, A. & Katoen, J. P., 1995, Enschede: University of Twente. 40 p. (Memoranda Informatica; no. 95-42)(Memorandum TIOS; no. 95-16)

Research output: Book/ReportReportAcademic

Costs
Code generation
Dynamic programming

Design and analysis of dynamic leader election protocols in broadcast networks

Brunekreef, J., Katoen, J-P., Koymans, R. & Mauw, S., 1995, Enschede: University of Twente. 26 p. (Memoranda informatica; no. 95-33)(Memorandum TIOS; no. 95-12)

Research output: Book/ReportReportAcademic

Functional integration of UMTS and B-ISDN

Katoen, J-P., 1995, 02 ed. Enschede: University of Twente. 12 p. (Memoranda Informatica; no. 95-02)(Memorandum TIOS; no. 95-01)

Research output: Book/ReportReportAcademic

2 Downloads (Pure)

Systolic arrays for the recognition of permutation-invariant segments

Katoen, J-P. & Schoenmakers, B., 1995, Enschede: University of Twente. 24 p. (Memoranda Informatica; no. 95-27)(Memorandum TIOS; no. 95-11)

Research output: Book/ReportReportAcademic

Open Access
File
Systolic arrays
1994

A design model for Open Distributed Processing systems

van Sinderen, M., Pires, L. F., Vissers, C. A. & Katoen, J-P., 1994, Enschede: University of Twente. 30 p. (Memoranda Informatica; no. 94-27)(Memorandum TIOS; no. 94-06)

Research output: Book/ReportReportAcademic

A UMTS network architecture

Katoen, J. P., Saidi, A. & Baccaro, I., 1994, Enschede: University of Twente. 13 p. (Memoranda Informatica; no. 94-44)(Memorandum TIOS; no. 94-14)

Research output: Book/ReportReportProfessional

Causal behaviours and nets

Katoen, J-P., 1994, 70 ed. Enschede: University of Twente. 28 p. (Memoranda Informatica; no. 94-70)(Memorandum TIOS; no. 94-23)

Research output: Book/ReportReportProfessional

2 Downloads (Pure)

Performance analysis and true concurrency semantics

Brinksma, E., Katoen, J-P., Langerak, R. & Latella, D., 1994, Enschede: University of Twente. 28 p. (Memoranda informatica; no. 94-39)(Memorandum TIOS; no. 94-10)

Research output: Book/ReportReportProfessional

Open Access
File
Semantics
Specification languages
Markov processes
Explosions
Specifications
1993
1 Downloads (Pure)

Design and analysis of dynamic leader election protocols in broadcast networks

Brunekreef, J., Katoen, J-P., Koymans, R. & Mauw, S., 1993, 43 ed. Enschede: University of Twente. 73 p. (Memoranda Informatica; no. 93-43)(Memorandum TIOS; no. 93-26)

Research output: Book/ReportReportProfessional

Open Access
File

Evolution Strategies Towards UMTS

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

Research output: Book/ReportReportProfessional

Modeling systems by probabilistic process algebra: an event structures approach

Katoen, J-P., Langerak, R. & Latella, D., 1993, Enschede: University of Twente. 22 p. (Memoranda informatica; no. 93-29)(Memorandum TIOS; no. 93-17)

Research output: Book/ReportReportProfessional

Specification and Verification of a Dynamic Leader Election Protocol in a Broadcast Network

Brunekreef, J. J., Katoen, J. P., Koymans, R. L. C. & Mauw, S., 1993, Enschede: University of Twente. 16 p. (Memoranda Informatica; no. 93-05)(Memorandum TIOS; no. 93-03)

Research output: Book/ReportReportAcademic

1992

A Semi-markov model of a home network access protocol

Katoen, J-P., 1992, Enschede: University of Twente. 6 p. (Memoranda Informatica; no. 92-71)(Memorandum TIOS; no. 92-29)

Research output: Book/ReportReportProfessional

Open Access
File
Home networks
Network protocols
Carrier sense multiple access
Consumer products
Throughput