Joost P. Katoen

prof.dr.ir.

1992 …2019

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Conference contribution
2005

Are You Still There? - A Lightweight Algorithm to Monitor Node Presence in Self-Configuring Networks

Bohnenkamp, H., Gorter, J., Guidi, J. & Katoen, J-P., 2005, 2005 International Conference on Dependable Systems and Networks (DSN'05). Los Alamitos, CA: IEEE Computer Society, p. 704-709 7 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

7 Citations (Scopus)
5 Downloads (Pure)

Model Checking Markov Reward Models with Impulse Rewards

Cloth, L., Katoen, J-P., Khattri, M. & Pulungan, R., Jul 2005, 2005 International Conference on Dependable Systems and Networks (DSN'05). Bondavalli, A., Haverkort, B. & Tang, D. (eds.). Los Alamitos, NJ: IEEE Computer Society, p. 722-731 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

26 Citations (Scopus)
9 Downloads (Pure)
2004

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., 29 Mar 2004, Tools and algorithms for the construction and analysis of systems. Jensen, K. & Podelski, A. (eds.). Berlin: Springer, p. 61-76

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Model checking dependabiliy attributes of wireless group communication

Massink, M., Katoen, J-P. & Latella, D., 2004, International Conference on Dependable Systems and Networks, 2004. Piscataway, NJ: IEEE, p. 711-720 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
11 Citations (Scopus)
15 Downloads (Pure)

Who is pointing when to whom?

Distefano, D. S., Katoen, J. P. & Rensink, A., 16 Dec 2004, FSTTCS 2004: foundations of software technology and theoretical computer science. Lodaya, K. & Mahajan, M. (eds.). Berlin: Springer, p. 250-262

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

19 Citations (Scopus)
2003

A QoS-oriented extension of UML statecharts

Jansen, D. N., Hermanns, H. & Katoen, J. P., 2003, «UML» 2003: the unified modeling language. Stevens, P., Whittle, J. & Booch, G. (eds.). Berlin, Germany: Springer, p. 76-91 16 p. (Lecture Notes in Computer Science; vol. 2863, no. XIV).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

23 Citations (Scopus)

Comparative branching-time semantics for Markov chains

Baier, C., Hermanns, H., Katoen, J. P. & Wolf, V., 2003, Concurrency Theory (CONCUR). Amadio, R. & Lugiez, D. (eds.). Berlin: Springer, p. 492-507 16 p. (Lecture Notes in Computer Science; vol. 2761, no. XI).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
12 Citations (Scopus)
68 Downloads (Pure)

Discrete-time rewards model-checked (to appear)

Andova, S., Hermanns, H. & Katoen, J. P., 6 Sep 2003, Formal modeling and analysis of timed systems: FORMATS. Larsen, K. G. & Niebert, P. (eds.). Berlin: Springer, p. 88-104 16 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Model Checking pathCSL

Cloth, L., Haverkort, B., Hermanns, H., Katoen, J-P. & Baier, C., 6 Sep 2003, PMCCS-6: The Sixth International Workshop on Performability Modeling of Computer and Communication Systems. Bobbio, A., Deavours, D. & Ma, Y. (eds.). Urbana-Champaign: University of Illinois at Urbana-Champaign, p. 19-22

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

Open Access
File
8 Downloads (Pure)

On integrating the MÖBIUS and MODEST modeling tools

Bohnenkamp, H. C., Courtney, T., Daly, D., Derisavi, S., Hermanns, H., Katoen, J. P., Klaren, J., Vi Lam, V. & Sanders, W. H., 22 Jun 2003, 2003 International conference on dependable systems and networks. Los Alamitos, USA: IEEE Computer Society, p. 671- 1 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
7 Citations (Scopus)
42 Downloads (Pure)

The MoDeST modeling tool and its implementation

Bohnenkamp, H. C., Hermanns, H., Katoen, J. P. & Klaren, J., 2 Sep 2003, Computer performance evaluations. modelling techniques and tools: 13th International Conference, TOOLS 2003, Urbana, IL, USA, September 2-5, 2003. Proceedings. Kemper, P. & Sanders, W. (eds.). Berlin: Springer, p. 116-133 (Lecture notes in computer science; vol. 2794).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

15 Citations (Scopus)
2002

A probabilistic extension of UML statecharts: specification and verification

Jansen, D. N., Hermanns, H. & Katoen, J. P., 2002, Formal techniques in real-time and fault-tolerant systems: ... FTRTFT. Damm, W. & Olderog, E-R. (eds.). Berlin, Germany: Springer, p. 355-374 20 p. (Lecture Notes in Computer Science; vol. 2469).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Model-checking performability properties

Haverkort, B. R. H. M., Cloth, L., Hermanns, H., Katoen, J. P. & Baier, C., 2002, Proceedings of the Int. IEEE Conference on Dependable Systems and Networks (DSN). Washingthon (D.C.), USA: IEEE CS Press, p. - 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

56 Citations (Scopus)
2001

A model checker for performance and dependability properties

Hermanns, H., Karelse, F. (ed.), Katoen, J. P., Meyer-Kayser, J. & Siegle, M., 2001, Proceedings of the 2nd PROGRESS Workshop on Embedded Systems 2001. Veldhoven, the Netherlands: STW, p. 83-88 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
15 Downloads (Pure)

Faster and symbolic CTMC model checking

Katoen, J. P., Kwiatkowska, M., Norman, G. & Parker, D., 2001, Process Algebra and Probabilistic Methods, Performance Modeling and Verification: Joint International Workshop, PAPM-PROBMIV 2001 Aachen, Germany, September 12–14, 2001 Proceedings. Gilmore, S. & de Alfaro, L. (eds.). Berlin: Springer, p. 23-38 16 p. (Lecture Notes in Computer Science; vol. 2165).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

46 Citations (Scopus)

First passage time analysis of stochastic process algebra using partial orders

Ruys, T. C., Langerak, R., Katoen, J-P., Latella, D. & Massink, M., 2001, Tools and Algorithms for the Construction and Analysis of Systems: 7th International Conference, TACAS 2001, held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2–6, 2001. Proceedings. Berlin, Heidelberg: Springer, p. 220-235 16 p. (Lecture Notes in Computer Science; vol. 2031).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
6 Citations (Scopus)
14 Downloads (Pure)

Implementing a Model Checker for Perfomability Behaviour

Hermanns, H., Katoen, J-P., Meyer-Kayser, J. & Siegle, M., 2001, Proceedings of the Fifth International Workshop on Performability Modelling of Computer and Communication Systems (PMCCS 5). German, R., Lüthi, J. & Telek, M. (eds.). Erlangen: University of Erlangen, 5 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
5 Downloads (Pure)

Model Checking CSRL-Specified Performability Properties

Haverkort, B. R. H. M., Hermanns, H., Katoen, J-P. & Baier, C., 2001, Proceedings of the Fifth International Workshop on Performability Modeling of Computer and Communication Systems (PMCCS 5). German, R., Lüthi, J. & Telek, M. (eds.). Erlangen: University of Erlangen, p. - 5 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Modelling stochastic timed systems

d' Argenio, P. R., Hermanns, H., Katoen, J. P. & Klaren, J., 2001, Proceedings of the 2nd Workshop on Embedded Systems. Utrecht: STW, p. - 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

MODEST: A modelling language for stochastic timed systems

d' Argenio, P. R., Hermanns, H., Katoen, J. P. & Klaren, J., Sep 2001, Joint Int. Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification (PAPM-PROBMIV). de Alfaro, L. & Gilmore, S. (eds.). Berlin: Springer, p. 87-104 18 p. (Lecture Notes in Computer Science 2165; vol. 2165).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
33 Citations (Scopus)
34 Downloads (Pure)
2000

A Markov Chain Model Checker

Hermanns, H., Katoen, J. P., Meyer-Kayser, J. & Siegle, M., Apr 2000, Tools and Algorithms for the Construction and Analysis of Systems, 6th International Conference, TACAS 2000. Graf, S. & Schwartzbach, M. I. (eds.). Berlin: Springer, p. 347-362 16 p. (Lecture Notes in Computer Science; vol. 1785).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
58 Citations (Scopus)
66 Downloads (Pure)

On a Temporal Logic for Object-Based Systems

Distefano, D., Katoen, J-P. & Rensink, A., 2000, Formal Methods for Open Object-Based Distributed Systems IV: IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6–8, 2000, Stanford, California, USA. Smith, S. F. & Talcott, C. L. (eds.). Boston, MA: Kluwer Academic Publishers, p. 305-326 22 p. (IFIP Advances in Information and Communication Technology; vol. 10).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
26 Citations (Scopus)
18 Downloads (Pure)

On the Logical Characterisation of Performability Properties

Baier, C., Haverkort, B., Hermanns, H. & Katoen, J. P., Jul 2000, Automata, Languages and Programming: 27th International Colloquium, ICALP 2000 Geneva, Switzerland, July 9–15, 2000 Proceedings. Montanari, U., Rolin, J. D. P. & Welzl, E. (eds.). Berlin: Springer, p. 780-792 13 p. (Lecture Notes in Computer Science; vol. 1853).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

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

On the Use of Model Checking Techniques for Quantitative Dependability Evaluation

Haverkort, B. R. H. M., Hermanns, H. & Katoen, J. P., 21 Feb 2000, 9th IEEE Symposium on Reliable Distributed Systems, SRDS 2000. Nuremberg, Germany, p. 228-237 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Towards model checking OCL

Distefano, D. S., Katoen, J. P. & Rensink, A., 21 Feb 2000, Defining Precise Semantics for UML (satellite workshop of ECOOP 2000). Cannes, France, p. 0-9 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Towards Model Checking Stochastic Process Algebra

Hermanns, H., Katoen, J. P., Meyer-Kayser, J. & Siegle, M., 22 Feb 2000, Integrated Formal Methods, 2nd international Workshop, IFM 2000. Dagstuhl, Germany, p. 420-439 20 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

36 Citations (Scopus)
1999

Approximate symbolic model checking of continuous-time Markoc chains

Baier, C., Katoen, J. P. & Hermanns, H., 2 Feb 1999, Concurrency Theory (CONCUR'99). Eindhoven, p. 146-161 16 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

154 Citations (Scopus)

Multi-terminal decision diagrams: a data structure for numerical integration

Baier, C., Hermanns, H. & Katoen, J. P., 1 Feb 1999, 1st FLOC Workshop on symbolic Model Checking. Trento (Italy), p. - 12 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

On Generative Parallel Composition

d' Argenio, P. R., Hermanns, H. & Katoen, J. P., Jun 1999, PROBMIV'98: First International Workshop on Probabilistic Methods in Verification. Baier, C., Huth, M., Kwiatkowska, M. & Ryan, M. (eds.). Amsterdam: Elsevier, p. 30-54 25 p. (Electronic Notes in Theoretical Computer Science; vol. 22).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
37 Citations (Scopus)
35 Downloads (Pure)

Specification and Analysis of Soft Real-Time Systems: Quantity and Quality

d' Argenio, P. R., Katoen, J. P. & Brinksma, H., Jan 1999, Real-Time Systems Symposium, 1999. Proceedings. The 20th IEEE. Los Alamitos: IEEE, p. 104-114 11 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
16 Citations (Scopus)
52 Downloads (Pure)
1998

A Compositional Approach to Generalised semi-Markov Processes

d' Argenio, P. R., Katoen, J. P. & Brinksma, E., 1998, WODES'98: International Workshop on Discrete Event Systems: 26-28 August 1998, Grand Hotel Chia Laguna, Cagliari, Sardinia. Giua, A., Smedinga, R. & Spathopoulos, M. P. (eds.). London: Institution of Electrical Engineers (IEE), p. 391-397 7 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

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

d' Argenio, P. R., Katoen, J-P. & Brinksma, E., Jun 1998, Programming Concepts and Methods PROCOMET ’98: IFIP TC2 / WG2.2, 2.3 International Conference on Programming Concepts and Methods (PROCOMET ’98) 8–12 June 1998, Shelter Island, New York, USA. Gries, D. & de Roever, W-P. (eds.). Chapman & Hall, p. 126-147 22 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File

General Purpose Discrete Event Simulation

d' Argenio, P. R., Katoen, J. P. & Brinksma, H., 11 Feb 1998, 6th Internation Workshop on Process Algebra and Performance Modeling (PAPM'98). Nice, France, p. 85-102 18 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Metric semantics for true concurrent real time

Baier, C., Katoen, J. P. & Latella, D., 1998, Automata, Languages and Programming. Larsen, K. G., kyum, S. & Winskel, G. (eds.). Berlin, Heidelberg: Springer, p. 568-580 13 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

15 Citations (Scopus)
1997

A Stochastic Automata Model and its Algebraic Approach

d' Argenio, P. R., Katoen, J. P. & Brinksma, H., 1997, 5th International Workshop on Process Algebra and Performance Modeling (PAPM'97). Enschede: Centre for Telematics and Information Technology (CTIT), p. 1-16 16 p. (CTIT Technical Report Series; no. 97-14).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
30 Downloads (Pure)

Causal ambiguity and partial orders in event structures

Langerak, R., Brinksma, H. & Katoen, J. P., 2 Jul 1997, Proceedings of CONCUR'97, Eighth International Conference on Concurrency Theory (A. Mazurkiewicz, J. Winkowski (Eds.); LNCS 1243, Springer Verlag. Warsaw, Poland, p. - 15 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

The Bounded Retransmission Protocol Must Be on Time!

d' Argenio, P. R., Katoen, J. P., Tretmans, G. J. & Ruys, T. C., 2 Apr 1997, Third International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'97), Lecture Notes in Computer Science 1217, Springer Verlag. University of Twente, Enschede, p. 416-431 16 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

The Systematic Development of a Pattern-Matching Algorithm using Term Rewrite Systems

Katoen, J. P. & Nymeyer, A., 5 Feb 1997, Proceedings of the Computing: The Australasian Theory Symposium. Sydney, Australia, p. 59-71

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1996

A Consistent Causality-Based View on a Timed Process Algebra

Katoen, J-P., Latella, D., Langerak, R., Brinksma, E. & Bolognesi, T., 18 Nov 1996, Third AMAST Workshop on Real-Time Systems: Proceedings: March 6-8, 1996, Salt Lake City, Utah. Salt Lake City, Utah, p. 3-21 19 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
3 Downloads (Pure)

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

Karagiannis, G., Katoen, J. P. & Niemegeers, I. G. M. M., 30 Nov 1996, IEEE ICCS/ISPACS '96 Conference Proceedings "Forging Ahead with Communications". University of Singapore, p. - 5 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Code Generation = A* + BURS

Nymeyer, A., Katoen, J-P., Westra, Y. & Alblas, H., 1996, Compiler Construction: 6th International Conference, CC'96 Linköping, Sweden, April 24–26, 1996. Proceedings. Gyimóthy, T. (ed.). Berlin, Heidelberg: Springer, p. 160-177 18 p. (Lecture Notes in Computer Science; vol. 1060).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
6 Citations (Scopus)
53 Downloads (Pure)

Modelling and Verifying a Bounded Retransmission Protocol

d' Argenio, P. R., Katoen, J. P., Tretmans, G. J. & Ruys, T. C., 18 Nov 1996, Proceedings of COST 247 Workshop on Applied Formal Methods in System Design. University of Maribor, Slovenia, p. 114-127 15 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

On specifying real-time systems in a causality-based setting

Katoen, J-P., Langerak, R., Latella, D. & Brinksma, E., 1996, Formal Techniques in Real-Time and Fault-Tolerant Systems: 4th International Symposium Uppsala, Sweden, September 9–13, 1996, Proceedings. Jonsson, B. & Parrow, J. (eds.). Berlin, Heidelberg: Springer, p. 385-405 21 p. (Lecture Notes in Computer Science; vol. 1135).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
28 Citations (Scopus)
17 Downloads (Pure)

Stochastic simulation of event structures

Katoen, J-P., Brinksma, E., Latella, D. & Langerak, R., 1996, Proceedings of the Fourth Workshop on Process Algebra and Performance Modelling: Torino, 4-5 July 1996. Ribaudo, M. (ed.). CLUT, p. 21-49 20 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
16 Downloads (Pure)
1995

Causal Behaviours and Nets

Katoen, J. P., De Michelis, G. (ed.) & Diaz, M. (ed.), 1995, Application and Theory of Petri Nets 1995: 16th International Conference Turin, Italy, June 26–30, 1995. Proceedings. De Michelis, G. & Diaz, M. (eds.). Berlin, Heidelberg: Springer, p. 258-278 21 p. (Lecture Notes in Computer Science; vol. 935).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
3 Citations (Scopus)
18 Downloads (Pure)

Functional integration of UMTS and B-ISDN

Katoen, J-P., 24 Jul 1995, Proceedings of the 45th IEEE Vehicular Technology Conference: Countdown to the Wireless Twenty-First Century. Piscataway, NJ: IEEE, Vol. 1. p. 163-168 (Proceedings IEEE Vehicular Technology Conference; vol. 1995).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
26 Downloads (Pure)

Reference Configurations for Umts

van den Broek, W. & Katoen, J. P., 12 Apr 1995, Participants Proceedings of the second International Workshop on Mobile Multi-Media. Bristol, United Kingdom, p. -

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1994

A UMTS network architecture

Katoen, J-P., Sai͏̈di, A. & Baccaro, I., 3 Nov 1994, Second RACE Mobile Telecommunications Workshop: Amsterdam, 17-19, may 1994. Amsterdam, p. 285-290

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
1 Downloads (Pure)

Performance analysis and true concurrency semantics (extended abstract)

Brinksma, H., Katoen, J. P., Langerak, R. & Latella, D., 1 Dec 1994, 2nd Workshop on process algebras and performance modelling. Erlangen, p. 157-174

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1993

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., 1 Mar 1993, Participants Proceedings 2nd International Workshop on Protocol Verification 1993. Eindhoven: Eindhoven University of Technology, 16 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review