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

2001
22 Citations (Scopus)

General distributions in process algebra

Katoen, J. P. & d' Argenio, P. R., 2001, Lectures on Formal Methods and Performance Analysis: First EEF/Euro Summer School on Trends in Computer Science Bergen Dal, The Netherlands, July 3–7, 2000 Revised Lectures. Brinksma, H., Hermanns, H. & Katoen, J. P. (eds.). London: Springer, p. 375-428 54 p. (Lecture notes in Computer Science; vol. 2090).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Process Algebra
Stochastic Process Algebra
Markov chain
Discrete Event Systems
Contention

Hooggespannen verwachtingen model checking

Brinksma, H. & Katoen, J. P., 2001, In : Bits en chips. 3, 4, p. - 4 p.

Research output: Contribution to journalArticleProfessional

Hooggespannen verwachtingen model checking

Brinksma, H. & Katoen, J. P., 2001, In : Bits en chips. 3, 4, p. 31-34 4 p.

Research output: Contribution to journalArticleAcademic

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

Lectures on Formal Methods and Performance Analysis: First EEF/Euro Summer School on Trends in Computer Science Bergen Dal, The Netherlands, July 3–7, 2000 Revised Lectures

Brinksma, H. (ed.), Hermanns, H. (ed.) & Katoen, J. P. (ed.), Aug 2001, Berlin: Springer. 430 p. (Lecture Notes in Computer Science; vol. 2090)

Research output: Book/ReportBook editingAcademic

File
16 Citations (Scopus)

Metric semantics for true concurrent real time

Katoen, J-P., Baier, C. & Latella, D., 2001, In : Theoretical computer science. 254, 1-2, p. 501-542 42 p.

Research output: Contribution to journalArticleAcademicpeer-review

Event Structures
Concurrent
Semantics
Operational Semantics
Metric

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

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

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

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

Performance analysis := (process algebra + model checking) x Markov chains

Hermanns, H. & Katoen, J. P., 2001, In : Lecture notes in artificial intelligence. 2154, p. - 23 p.

Research output: Contribution to journalArticleAcademicpeer-review

11 Citations (Scopus)
113 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
58 Citations (Scopus)
47 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

Automated compositional Markov chain generation for a plain-old telephone system

Hermanns, H. & Katoen, J. P., 2000, In : Science of computer programming. 36, 1, p. 97-127 31 p.

Research output: Contribution to journalArticleAcademicpeer-review

60 Citations (Scopus)

Automated compositional Markov chain generation for a plain-old telephone system

Hermanns, H. & Katoen, J. P., Jan 2000, In : Science of computer programming. 36, 1, p. 97-127 31 p.

Research output: Contribution to journalArticleAcademicpeer-review

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

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

26 Citations (Scopus)
1 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
Temporal logic
Semantics
Object oriented programming
Specifications
80 Citations (Scopus)
30 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

35 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

Pattern-matching algorithms based on term rewrite systems

Katoen, J. P. & Nymeyer, A., 2000, In : Theoretical computer science. 238, 1-2, p. 439-463 25 p., 10.1016/S0304_3975(00)00041-4.

Research output: Contribution to journalArticleAcademicpeer-review

8 Downloads (Pure)

Stochastic Process Algebras: Linking Process Descriptions with Performance

Brinksma, H., d' Argenio, P. R. & Katoen, J. P., 2000, In : Nieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica. 4, p. 34-42

Research output: Contribution to journalArticleProfessional

File

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

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

153 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

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

Concepts, Algorithms, and Tools for Model Checking

Katoen, J. P., 1999, In : Arbeitsberichte des Instituts für Mathematische Maschinen und Datenverarbeitung. Band, 1, p. - 292 p.

Research output: Contribution to journalArticleAcademic

Formal Methods for Real-Time and Probabilistic Systems: 5th International AMAST Workshop, ARTS’99 Bamberg, Germany, May 26–28, 1999 Proceedings

Katoen, J. P. (ed.), 1999, Berlijn: Springer. 355 p. (Lecture notes in computer science; vol. 1601)

Research output: Book/ReportBook editingAcademic

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)
33 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)
29 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
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

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

14 Citations (Scopus)

A consistent causality-based view on a timed process algebra including urgent interactions

Katoen, J-P., Langerak, R., Brinksma, E., Latella, D. & Bolognesi, T., 1998, In : Formal methods in system design. 12, 2, p. 189-216 28 p.

Research output: Contribution to journalArticleAcademicpeer-review

Process Algebra
Causality
Algebra
Event Structures
Interleaving

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

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

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

Automatic verification of a lip-synchronisation protocol using Uppaal

Bowman, H., Faconti, G., Katoen, J-P., Latella, D. & Massink, M., 1998, In : Formal aspects of computing. 10, 5-6, p. 550-575 26 p.

Research output: Contribution to journalArticleAcademicpeer-review

Automatic Verification
Synchronization
Network protocols
Specification
Specifications

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

15 Citations (Scopus)

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

Semantics
Equivalence classes
Algebra
12 Citations (Scopus)

Partial-order models for quantitative extensions of LOTOS

Brinksma, E., Katoen, J-P., Langerak, R. & Latella, D., 1998, In : Computer networks and ISDN systems. 30, 9-10, p. 925-950 26 p.

Research output: Contribution to journalArticleAcademicpeer-review

Specification languages
Semantics
Trajectories

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