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

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., Larsen, K. G. (ed.), Skyum, S. (ed.), Katoen, J. P., Latella, D. & Winskel, G. (ed.), 1998, p. 568-580. 13 p.

Research output: Contribution to conferencePaperAcademicpeer-review

Semantics
Equivalence classes
Algebra
12 Citations (Scopus)

Partial-order models for quantitative extensions of LOTOS

Brinksma, H., Katoen, J. P., Langerak, R. & Latella, D., 1998, In : Computer networks and ISDN systems. 30, 9/10, p. 925-950 26 p., 10.1016/S0169-7552(97)00134-7.

Research output: Contribution to journalArticleAcademicpeer-review

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

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

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

23 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
49 Citations (Scopus)
40 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

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

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

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

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

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

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

19 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

6 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., 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

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