Jan van Katwijk

Ella E. Roubtsova, Jan van Katwijk, Ruud C. M. de Rooij, Hans Toetenel: Transformation of UML Specification to XTG. Ershov Memorial Conference 2001: 247-254

Hans Toetenel, Ella E. Roubtsova, Jan van Katwijk: A Timed Automata Semantics for Real-Time UML Specifications. HCC 2001: 88-95

Ella E. Roubtsova, Jan van Katwijk, W. J. Toetenel, Cornelis Pronk, Ruud C. M. de Rooij: Specification of Real-Time Systems in UML. Electr. Notes Theor. Comput. Sci. 39(3): 293-305 (2000)

John J. Kyaruzi, Jan van Katwijk: Towards Explicit Representation of Architectural Design Assumptions. ASE 2000: 249-252

Jan van Katwijk, Hans Toetenel, Abd-El-Kader Sahraoui, Eric Anderson, Janusz Zalewski: Specification and Verification of a Safety Shell with Statecharts and Extended Timed Graphs. SAFECOMP 2000: 37-52

Jan van Katwijk, Ruud C. M. de Rooij, Sylvia Stuurman, Hans Toetenel: Software Development and Verification of Dynamic Real-Time Distributed Systems Based on the Radio Broadcast Paradigm. Scalable Computing: Practice and Experience 2(1) (1999)

Jan van Katwijk, Janusz Zalewski: Parallel and Distributed Real-Time Systems: An Introduction. Scalable Computing: Practice and Experience 2(1) (1999)

Tullio Vardanega, Jan van Katwijk: A Software Process for the Construction of Predictable On-Board Embedded Real-Time Systems. Softw., Pract. Exper. 29(3): 235-266 (1999)

John K. Kyaruzi, Jan van Katwijk: Beyond Components-Connections-Constraints: Dealing with Software Architecture Difficulties. ASE 1999: 235-242

Ruud C. M. de Rooij, Jan van Katwijk: An Approach Towards Formal Verification of Object Oriented Real-Time Systems. RTCSA 1999: 474-

Tullio Vardanega, Jan van Katwijk: Productive engineering of predictable embedded real-time systems: the road to maturity. Information & Software Technology 40(13): 745-764 (1998)

K. Brink, L. J. G. Bun, Jan van Katwijk, R. F. Lutje Spelberg, W. J. Toetenel: Automatic Analysis of Embedded Systems Specified in Astral. HICSS (3) 1998: 177-186

Sylvia Stuurman, Jan van Katwijk: On-Line Change Mechanisms. SIGSOFT FSE 1998: 80-86

Sylvia Stuurman, Jan van Katwijk: Evaluation of Software Architecture for a Control System: A Case Study. COORDINATION 1997: 157-171

K. Brink, Jan van Katwijk, R. F. Lutje Spelberg, W. J. Toetenel: Analyzing Schedulability of Astral Specifications using Extended Timed Automata. Euro-Par 1997: 1290-1297

Jan van Katwijk, Eugène Dürr, S. J. Goldsack: Hybrid Object-Oriented Real-Time Software Development with VDM⁺⁺. ICFEM 1997: 17-

K. Brink, Jan van Katwijk, R. F. Lutje Spelberg, W. J. Toetenel: Experiences with analysis of formal specifications in Astral. RTCSA 1997: 143-

Hans Toetenel, R. F. Lutje Spelberg, Sylvia Stuurman, Jan van Katwijk: Modeling and analysis of complex computer systems-the MTCCS approach. ICECCS 1996: 423-

K. Brink, Jan van Katwijk, W. J. Toetenel: Ada 95 as implementation vehicle for formal specifications. RTCSA 1996: 98-105

B. Noorduin, Jan van Katwijk, Cornelis Pronk: Gnass: a Gnat-based allocation and scheduling system. RTCSA 1996: 278-285

Jan van Katwijk, Eugène Dürr, S. J. Goldsack: Real time formal specification using VDM⁺⁺. WORDS 1996: 17-24

Jan van Katwijk, Hans Toetenel: Loose Specification of Real Time Systems. Informatica (Slovenia) 19(1) (1995)

K. Brink, L. J. G. Bun, Jan van Katwijk, W. J. Toetenel: Hybrid specification of control systems. ICECCS 1995: 149-

Jan van Katwijk, W. J. Toetenel: Comparing formal specifications by measuring. RTCSA 1995: 184-191

Liesbeth Dusink, Jan van Katwijk: Reuse Dimensions. SSR 1995: 137-149

L. Zhang, Jan van Katwijk: Designing Multi-Processor Real-Time Systems with a Multi-view Approach. IFIP Congress (1) 1994: 195-200

K. Brink, Ronald Huijsman, Jan van Katwijk: SEAL A simple language for prototyping action-event specifications. Microprocessing and Microprogramming 38(1-5): 87-95 (1993)

Hans Toetenel, Jan van Katwijk: Stepwise Development of Model-Oriented Real-Time Specifications from Action/Event Models. FTRTFT 1992: 547-570

H. Li, Jan van Katwijk, A. M. Levy: The Reuse of Software Design and Software Architecture. SEKE 1992: 170-177

Eugène Dürr, Jan van Katwijk: VDM++, A Formal Specification Language for OO Designs. TOOLS (7) 1992: 63-77

Jan van Katwijk (Ed.): Ada: Moving Towards 2000, 11th Ada-Europe International Conference, Zandvoort, The Netherlands, June 1-5, 1992, Proceedings. Lecture Notes in Computer Science 603, Springer 1992, isbn 3-540-55585-4

Nico Plat, Jan van Katwijk, Kees Pronk: A Case for Structured Analysis/Formal Design. VDM Europe (1) 1991: 81-105

Nico Plat, Ronald Huijsman, Jan van Katwijk, Gertjan van Oosten, Kees Pronk, Hans Toetenel: Type Checking BSI/VDM-SL. VDM Europe 1990: 399-425

A. M. Levy, Jan van Katwijk, George Pavlidis, F. Tolsma: SEPDS: A Support Environment for Prototyping Distributed Systems. ICSI 1990: 652-661

Jan van Katwijk: Addressing Types and Objects in Ada. Softw., Pract. Exper. 17(5): 319-343 (1987)