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

1994
11 Citations (Scopus)

Modeling systems by probabilistic process algebra: an event structure approach

Katoen, J. P., Langerak, R. & Latella, D., 1994, Proceedings of the formal description techniques VI. Boston: North Holland, p. 253-269

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Packet switching

Katoen, J. P. & van de Lagemaat, J., 1994, Handboek telematica deel II. Amsterdam: Samson BedrijfsInformatie, p. 2020-1-2020-20 20 p.

Research output: Chapter in Book/Report/Conference proceedingChapterProfessional

Performance analysis and true concurrency semantics

Brinksma, H., Katoen, J. P., Langerak, R. & Latella, D., 1994, Theories and experiences for real time system development. World Scientific, p. 309-337

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Performance analysis and true concurrency semantics

Brinksma, H., Katoen, J. P., Langerak, R. & Latella, D., 1994, In : Memoranda informatica. 39, p. - 28 p.

Research output: Contribution to journalArticleProfessional

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

Report on 1st AMAST international workshop on real-time systems

Katoen, J. P., 1 Feb 1994, In : Bulletin of the EATCS. p. 384-386

Research output: Contribution to journalArticlePopular

UMTS functional and network architecture

Katoen, J. P., 1 Sep 1994, p. -.

Research output: Contribution to conferencePaperAcademic

UMTS requirements on B-ISDN and IN

Katoen, J. P., 1 Nov 1994, p. -.

Research output: Contribution to conferencePaperAcademic

1993

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

Design and Analysis of Dynamic Leader Election Protocols in Broadcast Networks

Brunekreef, J., Katoen, J. P., Koymans, R. & Mauw, S., 1993, In : Memoranda informatica. 43, p. - 73 p.

Research output: Contribution to journalArticleProfessional

Evolution Strategies Towards UMTS

Katoen, J. P. & Kremer, H. H. C., 30 Sep 1993, Enschede: Universiteit Twente.

Research output: Book/ReportReportProfessional

Modelling Systems by Probabilitstic Process Algebra: An Event Structures Approach

Katoen, J. P., Langerak, R. & Latella, D., 1993, In : Memoranda informatica. 29, p. - 22 p.

Research output: Contribution to journalArticleProfessional

Performance Analysis and True Concurrency Semantics

Katoen, J. P., 3 Nov 1993, Iowa-City, U.S.A.

Research output: Other contributionOther research output

Proposal for a new Modelling Concept: the Functional Architecture

van den Broek, W., Lensink, A. & Katoen, J. P., 14 Feb 1993

Research output: Other contributionOther research output

Proposal for a UMTS Functional Architecture

van den Broek, W., Lensink, A. & Katoen, J. P., 14 Feb 1993

Research output: Other contributionOther research output

Recognizing K-rotated Segments

Katoen, J. P. & Rem, M., 1993, In : International journal of high speed computing. 5, 2, p. 293-305

Research output: Contribution to journalArticleAcademic

Specification, Design and Verification of Dynamic Leader Election Protocols in a Broadcast Network

Katoen, J. P., 18 Oct 1993, De Lutte, Nederland

Research output: Other contributionOther research output

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

Katoen, J. P., 9 Mar 1993, Mierlo, Nederland

Research output: Other contributionOther research output

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

UMTS Functional Model

Katoen, J. P. & Kremer, H. H. C., 28 Feb 1993

Research output: Other contributionOther research output

UMTS Network Architecture

Katoen, J. P. & Kremer, H. H. C., 30 Jun 1993

Research output: Other contributionOther research output

1992

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

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