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

1998

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

Causal ambiguity and partial orders in event structures

Langerak, R., Mazurkiewizc, A. W. (ed.), Brinksma, H., Winkowski, J. (ed.) & Katoen, J. P., 1997, p. 317-332. 16 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File
20 Citations (Scopus)
28 Downloads (Pure)

Causal ambiguity and partial orders in event structures

Langerak, R., Brinksma, H. & Katoen, J. P., Apr 1997, Enschede: Centre for Telematics and Information Technology (CTIT). 21 p. (CTIT Technical Report Series; no. 97-11)

Research output: Book/ReportReportProfessional

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

18 Citations (Scopus)
40 Downloads (Pure)

Code generation based on formal BURS theory and heuristic search

Nymeyer, A. & Katoen, J. P., Aug 1997, In : Acta informatica. 34, 8, p. 597-635 39 p., 10.1007/s002360050099.

Research output: Contribution to journalArticleAcademicpeer-review

File

Partial Order Models for Quantitative Extensions of LOTOS (to appear)

Brinksma, H., Katoen, J. P., Langerak, R. & Latella, D., 1997, In : Computer networks and ISDN systems. p. - 28 p.

Research output: Contribution to journalArticleAcademicpeer-review

29 Downloads (Pure)

The bounded retransmission protocol must be on time!

Brinksma, H. (ed.), d' Argenio, P. R., Katoen, J. P., Ruys, T. C. & Tretmans, G. J., 1997, p. 416-431. 16 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File
50 Citations (Scopus)
48 Downloads (Pure)

The Bounded Retransmission Protocol must be on time!

d' Argenio, P. R., Katoen, J. P., Ruys, T. C. & Tretmans, G. J., 1997, Enschede: Centre for Telematics and Information Technology (CTIT). 63 p. (CTIT technical report; no. 97-03)

Research output: Book/ReportReportProfessional

File

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

6 Downloads (Pure)

The systematic development of a pattern-matching algorithm using term rewrite systems

Katoen, J. P., Harland, J. (ed.) & Nymeyer, A., 1997, p. 59-72. 14 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File

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

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

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

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

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

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

Design and analysis of dynamic leader election protocols in broadcast networks

Brunekreef, J., Katoen, J. P., Koymans, R. & Mauw, S., 1996, In : Distributed computing. 9, 4, p. 157-171 15 p.

Research output: Contribution to journalArticleAcademicpeer-review

46 Citations (Scopus)

Design and Analysis of Dynamic Leader Election Protocols in Broadcast Networks

Brunekreef, J. J., Katoen, J. P., Koymans, R. L. C. & Mauw, S., Feb 1996, In : Distributed computing. 9, 4, p. 157-171 15 p.

Research output: Contribution to journalArticleAcademicpeer-review

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

Modelling and Verifying a Bounded Retransmission Protocol

Tretmans, G. J., d' Argenio, P. R., Katoen, J. P. & Ruys, T. C., 1996, University of Twente, Enschede: Centre for Telematics and Information Technology (CTIT). 14 p.

Research output: Book/ReportReportProfessional

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

46 Downloads (Pure)

Quantitative and Qualitative Extensions of Event Structures

Katoen, J. P., 1996, Enschede: University of Twente. 303 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

File
18 Downloads (Pure)

Stochastic simulation of event structures

Katoen, J. P., Ribaudo, M. (ed.), Brinksma, H., Latella, D. & Langerak, R., 1996, p. 21-49. 29 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File

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

22 Downloads (Pure)

Systolic Arrays for the Recognition of P-invariant Segments

Katoen, J. P. & Schoenmakers, B., 1996, In : Science of computer programming. 27, 2, p. 119-137 19 p.

Research output: Contribution to journalArticleAcademicpeer-review

File
1995
14 Citations (Scopus)
59 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
33 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

25 Downloads (Pure)

Causal Behaviours and Nets

Katoen, J. P., De Michelis, G. (ed.) & Diaz, M. (ed.), 1995, p. 258-278. 21 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File
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

Code Generation = A* + BURS

Nymeyer, A., Katoen, J. P., Westra, Y. & Alblas, H., 1995, In : Memoranda informatica. 43, p. - 14 p.

Research output: Contribution to journalArticleAcademic

Code Generation based on formal BURS theory and heuristic search

Nymeyer, A. & Katoen, J. P., 1995, In : Memoranda informatica. 1995, 42, p. - 40 p.

Research output: Contribution to journalArticleAcademic

Design and Analysis of Dynamic Leader Election Protocols in Broadcast Networks

Brunekreef, J., Katoen, J. P., Koymans, R. & Mauw, S., 1995, In : Memoranda informatica. 33, p. - 26 p.

Research output: Contribution to journalArticleAcademic

Functional Integration of B-ISDN and Umts

Katoen, J. P., 1995, In : Memoranda informatica. 02, p. - 12 p.

Research output: Contribution to journalArticleAcademic

9 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

Systolic arrays for the recognition of permutation-invariant segments

Katoen, J. P. & Schoenmakers, B., 1995, In : Memoranda informatica. 27, p. - 24 p.

Research output: Contribution to journalArticleAcademic

1994

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

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

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

A UMTS network architecture

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

Research output: Contribution to journalArticleProfessional

Causal behaviours and nets

Katoen, J. P., 1994, In : Memoranda informatica. 70, p. 1-28 28 p.

Research output: Contribution to journalArticleProfessional

Circuit switching

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

Research output: Chapter in Book/Report/Conference proceedingChapterProfessional

Mapping of some mobility procedures on UMTS reference configurations

Katoen, J. P. & van den Broek, W., 1 Nov 1994, p. -.

Research output: Contribution to conferencePaperAcademic

Mobiele communicatie - het monet project

Katoen, J. P. & van der Zee, T. M., 1 Sep 1994, In : Re-cursief. 2, 2, p. -

Research output: Contribution to journalArticlePopular

12 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