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

First passage time analysis of stochastic process algebra using partial orders

Ruys, T. C., Langerak, R., Katoen, J. P., Latella, D. & Massink, M., 2001, In : Lecture notes in artificial intelligence. 2031, p. - 16 p.

Research output: Contribution to journalArticleAcademicpeer-review

6 Citations (Scopus)

First passage time analysis of stochastic process algebra using partial orders

Margaria, T. (ed.), Ruys, T. C., Yi, W. (ed.), Langerak, R., Katoen, J. P., Latella, D. & Massink, M., 2001, p. 220-235. 16 p.

Research output: Contribution to conferencePaperAcademicpeer-review

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. 31-34 4 p.

Research output: Contribution to journalArticleAcademic

Hooggespannen verwachtingen model checking

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

Research output: Contribution to journalArticleProfessional

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
9 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
43 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., 10.1016/S0304-3975(99)00342-4.

Research output: Contribution to journalArticleAcademicpeer-review

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

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

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

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

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

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

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

On a Temporal Logic for Object-Based Systems

Distefano, D. S., Smith, S. F. (ed.), Katoen, J. P., Talcott, C. L. (ed.) & Rensink, A., 2000, p. 305-326. 22 p.

Research output: Contribution to conferencePaperAcademicpeer-review

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

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

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

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

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

On generative parallel composition

d' Argenio, P. R., Hermanns, H. & Katoen, J. P., 1999, In : Theoretical computer science. 22, p. - 25 p.

Research output: Contribution to journalArticleAcademicpeer-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
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, p. 550-575 26 p., 10.1007/s001650050032.

Research output: Contribution to journalArticleAcademicpeer-review

Automatic Verification
Synchronization
Network protocols
Specification
Specifications