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

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

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

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

Katoen, J. P., Latella, D., Langerak, R., Brinksma, H. & Bolognesi, T., 1996, University of Twente, Enschede: Centre for Telematics and Information Technology (CTIT). 16 p.

Research output: Book/ReportReportProfessional

14 Citations (Scopus)
44 Downloads (Pure)

A design model for open distributed processing systems

van Sinderen, M. J., Ferreira Pires, L., Vissers, C. A. & Katoen, J. P., 1995, In : Computer networks and ISDN systems. 27, 8, p. 1263-1285 23 p.

Research output: Contribution to journalArticleAcademicpeer-review

File

A Design Model for Open Distributed Processing Systems

van Sinderen, M. J., Pires, L. F., Vissers, C. A. & Katoen, J. P., 1993, In : Computer networks and ISDN systems. p. - 30 p.

Research output: Contribution to journalArticleAcademicpeer-review

A design model for open distributed systems

van Sinderen, M. J., Pires, L. F., Vissers, C. A. & Katoen, J. P., 1994, In : Memoranda informatica. 27, p. - 30 p.

Research output: Contribution to journalArticleProfessional

33 Downloads (Pure)

Advances in Probabilistic Model Checking

Katoen, J. P., Jan 2010, 11th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2010. Barthe, G. & Hermenegildo, M. (eds.). Berlin: Springer, p. 25-25 1 p. (Lecture Notes in Computer Science; vol. 5944).

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

File

Algebraic specification of dynamic leader election protocols in broadcast networks

Brunekreef, J., Katoen, J. P., Koymans, R. & Mauw, S., 1994, Proceedings of Algebra of communicating processes. Utrecht: Springer, p. 338-357

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

5 Citations (Scopus)
52 Downloads (Pure)

A linear process-algebraic format for probabilistic systems with data

Katoen, J. P., van de Pol, J. C., Stoelinga, M. I. A. & Timmer, M., Jun 2010, Application of Concurrency to System Design, Tenth International Conference on. Gomes, L., Khomenko, V. & Fernandes, J. M. (eds.). Los Alamitos: IEEE Computer Society Press, p. 213-222 10 p. 10.1109/ACSD.2010.18

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

File
22 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
7 Citations (Scopus)
54 Downloads (Pure)

A linear process-algebraic format with data for probabilistic automata

Di Pierro, A. (ed.), Katoen, J. P., van de Pol, J. C., Norman, G. (ed.), Stoelinga, M. I. A. & Timmer, M., 6 Jan 2012, In : Theoretical computer science. 413, 1, p. 36-57 22 p.

Research output: Contribution to journalArticleAcademicpeer-review

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

A model checker for performance and dependability properties

Hermanns, H., Karelse, F. (ed.), Katoen, J. P., Meyer-Kayser, J. & Siegle, M., 2001, p. 83-88. 6 p.

Research output: Contribution to conferencePaperAcademic

File

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

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

20 Citations (Scopus)
32 Downloads (Pure)

Analysis of timed and long-run objectives for Markov automata

Guck, D., Hatefi, H., Hermanns, H., Katoen, J. P. & Timmer, M., 10 Sep 2014, In : Logical methods in computer science. 10, 3, p. 17 29 p.

Research output: Contribution to journalArticleAcademicpeer-review

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

A parallel program for the recognition of P-invariant segments.

Katoen, J. P. & Schoenmakers, B., 1992, Algorithms and parallel VLSI architectures II. Elsevier Science, p. 79-84 6 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

40 Citations (Scopus)

Approximate parameter synthesis for probabilistic time-bounded reachability

Han, T., Katoen, J. P. & Mereacre, A., Dec 2008, Proceedings of the IEEE Real-Time Systems Symposium (RTSS 2008). Los Alamitos: IEEE Computer Society Press, p. 173-182 10 p. 10.1109/RTSS.2008.19

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

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

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

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

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

A Semi-markov model of a home network access protocol

Katoen, J. P., 1992, In : Memoranda informatica. 92, 71, p. - 6 p.

Research output: Contribution to journalArticleProfessional

A Semi-Markov Model of a Home Network Access Protocol (MASCOTS: Modeling, Analysis and Simulation of computer and Telecommunication Systems)

Katoen, J. P., 1993, Proceedings of MASCOTS, Simulation Series, vol. 25, no. 1. p. 293-298 6 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

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

A stochastic causality-based process algebra

Brinksma, H., Katoen, J. P., Langerak, R. & Latella, D., 1995, In : Computer journal. 38, 7, p. 552-565 14 p., 10.1093/comjnl/38.7.552.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Algebra
Distribution functions
Semantics

A Stochastic Causality-based Process Algebra

Brinksma, H., Katoen, J. P., Langerak, R. & Latella, D., 1995, In : Memoranda informatica. 34, p. - 14 p.

Research output: Contribution to journalArticleAcademic

21 Citations (Scopus)
13 Downloads (Pure)

A theory of stochastic systems. Part II: Process algebra

d' Argenio, P. R. & Katoen, J. P., 2005, In : Information and computation. 203, 1, p. 39-74 36 p.

Research output: Contribution to journalArticleAcademicpeer-review

File
44 Citations (Scopus)
15 Downloads (Pure)

A theory of stochastic systems part I: Stochastic automata

d' Argenio, P. R. & Katoen, J. P., 2005, In : Information and computation. 203, 1, p. 1-38 38 p.

Research output: Contribution to journalArticleAcademicpeer-review

File

A tool for model-checking Markov chains

Hermanns, H., Katoen, J. P., Meyer-Kayser, J. & Siegle, M., 2003, In : International journal on software tools for technology transfer. 4, 2, p. - 20 p.

Research output: Contribution to journalArticleAcademicpeer-review

51 Citations (Scopus)
30 Downloads (Pure)

A tool for model-checking Markov chains

Hermanns, H., Katoen, J. P., Meyer-Kayser, J. & Siegle, M., 2003, In : International journal on software tools for technology transfer. 4, 2, p. 153-172 20 p., 10.1007/s100090100072.

Research output: Contribution to journalArticleAcademicpeer-review

File
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

A UMTS network architecture

Katoen, J. P., Saidi, A. & Baccaro, I., 1994, In : Memoranda informatica. 44, p. - 13 p.

Research output: Contribution to journalArticleProfessional

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

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

22 Citations (Scopus)
20 Downloads (Pure)

Automated performance and dependability evaluation using model checking

Baier, C., Haverkort, B. R. H. M., Hermanns, H. & Katoen, J. P., 2002, Computer Performance Evaluation. Calzarossa, M. & Tucci, S. (eds.). Berlin: Springer, p. 261-289 29 p. (Lecture Notes in Computer Science; vol. 2459).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

File

Automated performance and dependability evaluation using model checking

Baier, C., Haverkort, B. R. H. M., Hermanns, H. & Katoen, J. P., 2002, Lecture Notes in Computer Science 2459: Performance Evaluation of Complex Systems: Techniques and Tools, Performance 2002, Tutorial Lectures. Calzarossa, M. & Tucci, S. (eds.). Rome, Italy: Springer, p. - 29 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

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

Beyond memoryless distributions: model checking semi-Markov chains

Infante lopez, G. G., Hermanns, H. & Katoen, J. P., 2001, In : Lecture notes in artificial intelligence. 2165, p. -

Research output: Contribution to journalArticleAcademicpeer-review

38 Citations (Scopus)
54 Downloads (Pure)

Beyond memoryless distributions: model checking semi-Markov chains

Infante lopez, G. G., de Alfaro, L. (ed.), Gilmore, S. (ed.), Hermanns, H. & Katoen, J. P., 2001, p. 57-70. 14 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File

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