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
Conference contribution
1993

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

Brunekreef, J., Katoen, J. P., Koymans, R. & Mauw, S., 1 Mar 1993, Participants Proceedings 2nd International Workshop on Protocol Verification. TU Eindhoven, p. - 16 p.

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

1994

A UMTS network architecture

Katoen, J. P., Saidi, A. & Baccaro, I., 3 Nov 1994, Second RACE mobile telecommunications workshop. Amsterdam, p. 285-290

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

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

1995
3 Citations (Scopus)

Causal Behaviours and Nets

Katoen, J. P., 23 Jan 1995, Proceedings of Application and Theory of Petri Nets 1995. p. 258-277

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

6 Downloads (Pure)

Functional Integration of B-ISDN and Umts

Katoen, J. P., 24 Jul 1995, Proceedings of the 45th IEEE Vehicular Technology Conference. Chicago, USA: IEEE, p. 163-168

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

File

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

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

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

5 Citations (Scopus)
48 Downloads (Pure)

Code Generation = A* + BURS

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

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

File

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

28 Citations (Scopus)

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

Katoen, J. P., Latella, D., Langerak, R. & Brinksma, H., 1996, Formal Techniques in Real-Time and Fault-Tolerant Systems. Jonsson, B. & Parrow, J. (eds.). Berlin: Springer, p. 385-405 21 p. (Lecture Notes in Computer Science; vol. 1135).

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

On Specifying Real-Time Systems in a Causality-Based Setting

Katoen, J. P., Latella, D., Langerak, R. & Brinksma, H., 13 Sep 1996, Proceedings "Formal Techniques in Real-Time and Fault-Tolerant Systems", Vol. 1135 of Lecture Notes in Computer Science. Uppsala, Sweden, p. 385-404 20 p.

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

Stochastic Simulation of Event Structures

Katoen, J. P., Brinksma, H., Latella, D. & Langerak, R., 31 Jul 1996, Proceedings of the 4th Workshop on Process Algebra and Performance Modelling (PAPM'96). Universita di Torino, Italy, p. 21-40 20 p.

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

1997
25 Downloads (Pure)

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

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

1998

A Compositional Approach to Generalised Semi-Markov Processes

d' Argenio, P. R., Katoen, J. P. & Brinksma, H., 11 Feb 1998, 4th International Workshop on Discrete Event Systems (WODES'98). Gagliari, Italy, 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, H., 8 Feb 1998, IFIP Working Conference on Programming Concepts and Methods, PROCOMET'98. Skelter Island, New York, USA, p. 126-147 22 p.

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

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

1999
152 Citations (Scopus)

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

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

34 Citations (Scopus)
13 Downloads (Pure)

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
Chemical analysis
Random processes
16 Citations (Scopus)
23 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
2000
58 Citations (Scopus)
41 Downloads (Pure)

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

On a temporal Logic for Object-based Systems

Distefano, D. S., Katoen, J. P. & Rensink, A., 21 Feb 2000, Fourth International Conference on Formal Methods for Open Object-based Distributed Systems. Stanford, California, USA, p. 305-325 21 p.

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

Open Access
File
80 Citations (Scopus)
25 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
Performability
Reward
Logic
Dependability
Specification

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

37 Citations (Scopus)

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

2001

A Model Checker for Performance and Dependability Properties

Hermanns, H., Katoen, J. P. & Meyer-Kayser, J., 2001, Proceedings of the 2nd Workshop on Embedded Systems. Veldhoven, the Netherlands: STW Technology Foundation, p. - 6 p.

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

47 Citations (Scopus)

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

1 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
Performability
Temporal Logic
Stochastic Systems
Model Checking
Model

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 Technology Foundation, p. - 6 p.

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

16 Downloads (Pure)

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

56 Citations (Scopus)

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

2003
21 Citations (Scopus)

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

12 Citations (Scopus)
44 Downloads (Pure)

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

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

2 Downloads (Pure)

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
Performability
Reward
Model Checking
Logic
Path
7 Citations (Scopus)
19 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
15 Citations (Scopus)

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

Simulators
Specifications
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

11 Citations (Scopus)

Model checking dependabiliy attributes of wireless group communication

Massink, M., Katoen, J. P. & Latella, D., 28 Jun 2004, 2004 international conference on dependable systems and networks (DSN'04). Los Alamitos: IEEE Computer Society, p. 711-720

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

19 Citations (Scopus)

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

2005
169 Citations (Scopus)
39 Downloads (Pure)

A Markov reward model checker

Katoen, J. P., Maneesh Khattri, M., Zapreev, I. S. & Zapreev, I. S., 2005, 2nd Int. Conf. on Quantitative Evaluation of Systems. Los Alamitos, California: IEEE Computer Society, p. 243-245 3 p.

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

File
7 Citations (Scopus)
5 Downloads (Pure)

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

Parallel algorithms
Personal digital assistants
Mobile phones
Topology
Availability
24 Citations (Scopus)
6 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

Model checking
Markov processes
Energy utilization