A preprocessor for YACC or a poor man's approach to parsing attributed grammars. - Jan van Katwijk (ACM SIGPLAN Notices, 1983)

Practical experiences with automatic repair of syntactical errors or syntactical error repair in the DAS compiler. - Jan van Katwijk (ACM SIGPLAN Notices, 1984)

The doublet model: run-time model and implementation of Ada types. - Jan van Katwijk; J. van Someren 001 (ACM SIGPLAN Notices, 1984)

Performance aspects of Ada tasking in embedded systems. - Ronald Huijsman; Jan van Katwijk; W. J. Toetenel (Microprocess. Microprogramming, 1987)

Addressing Types and Objects in Ada. - Jan van Katwijk (Softw. Pract. Exp., 1987)

Asynchronous transfer of control in Ada. - W. J. Toetenel; Jan van Katwijk (IRTAW, 1988)

Distributed system design using Ada as a tool for prototyping. - A. M. Levy; Adrianus J. van de Goor; Jan van Katwijk (Microprocessing and Microprogramming, 1989)

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

Structured analysis - formal design, using stream and object oriented formal specifications. - Hans Toetenel; Jan van Katwijk; Nico Plat (Formal Methods in Software Development, 1990)

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

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

Stepwise Development of Model-Oriented Real-Time Specifications from Action/Event Models. - Hans Toetenel; Jan van Katwijk (FTRTFT, 1992)

The Reuse of Software Design and Software Architecture. - H. Li; Jan van Katwijk; A. M. Levy (SEKE, 1992)

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

Application and benefits of formal methods in software development. - Nico Plat; Jan van Katwijk; Hans Toetenel (Softw. Eng. J., 1992)

SEAL A simple language for prototyping action-event specifications. - Klaas Brink; Ronald Huijsman; Jan van Katwijk (Microprocess. Microprogramming, 1993)

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

Towards a viewpoint oriented design methodology for Multi-processor Real-Time Systems. - L. Zhang; Jan van Katwijk (SBES, 1994)

Hybrid specification of control systems. - Klaas Brink; Leon J. G. Bun; Jan van Katwijk; W. J. Toetenel (ICECCS, 1995)

Comparing formal specifications by measuring. - Jan van Katwijk; W. J. Toetenel (RTCSA, 1995)

Reuse Dimensions. - Liesbeth M. Dusink; Jan van Katwijk (SSR, 1995)

Loose Specification of Real Time Systems. - Jan van Katwijk; Hans Toetenel (Informatica (Slovenia), 1995)

Closed World Specification of Embedded Real-Time Controllers. - Klaas Brink; Leon J. G. Bun; Jan van Katwijk; W. J. Toetenel (RTS, 1996)

Modeling and analysis of complex computer systems-the MTCCS approach. - Hans Toetenel; Ronald F. Lutje Spelberg; Sylvia Stuurman; Jan van Katwijk (ICECCS, 1996)

Ada 95 as implementation vehicle for formal specifications. - Klaas Brink; Jan van Katwijk; W. J. Toetenel (RTCSA, 1996)

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

Real Time Formal Specification using VDM++. - Eugène Dürr; Stephen J. Goldsack; Jan van Katwijk (SBES, 1996)

Real time formal specification using VDM++. - Jan van Katwijk; Eugène Dürr; Stephen J. Goldsack (WORDS, 1996)

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

Analyzing Schedulability of Astral Specifications using Extended Timed Automata. - Klaas Brink; Jan van Katwijk; Ronald F. Lutje Spelberg; W. J. Toetenel (Euro-Par, 1997)

Hybrid Object-Oriented Real-Time Software Development with VDM++. - Jan van Katwijk; Eugène Dürr; Stephen J. Goldsack (ICFEM, 1997)

Experiences with analysis of formal specifications in Astral. - Klaas Brink; Jan van Katwijk; Ronald F. Lutje Spelberg; W. J. Toetenel (RTCSA, 1997)

Automatic Analysis of Embedded Systems Specified in Astral. - Klaas Brink; Leon J. G. Bun; Jan van Katwijk; Ronald F. Lutje Spelberg; W. J. Toetenel (HICSS (3), 1998)

On-Line Change Mechanisms. - Sylvia Stuurman; Jan van Katwijk (SIGSOFT FSE, 1998)

Productive engineering of predictable embedded real-time systems: the road to maturity. - Tullio Vardanega; Jan van Katwijk (Inf. Softw. Technol., 1998)

Beyond Components-Connections-Constraints: Dealing with Software Architecture Difficulties. - John J. Kyaruzi; Jan van Katwijk (ASE, 1999)

Performance comparison of four software architectures for distributed computations. - Jan van Katwijk; Yun Peng; Janusz Zalewski (PARCO, 1999)

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

Software Development and Verification of Dynamic Real-Time Distributed Systems Based on the Radio Broadcast Paradigm. - Jan van Katwijk; Ruud C. M. de Rooij; Sylvia Stuurman; Hans Toetenel (Parallel Distributed Comput. Pract., 1999)

Parallel and Distributed Real-Time Systems: An Introduction. - Jan van Katwijk; Janusz Zalewski (Parallel Distributed Comput. Pract., 1999)

A Software Process for the Construction of Predictable On-Board Embedded Real-Time Systems. - Tullio Vardanega; Jan van Katwijk (Softw. Pract. Exp., 1999)

Towards Explicit Representation of Architectural Design Assumptions. - John J. Kyaruzi; Jan van Katwijk (ASE, 2000)

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

Specification of Real-Time Systems in UML. - Ella E. Roubtsova; Jan van Katwijk; W. J. Toetenel; Cornelis Pronk; Ruud C. M. de Rooij (MTCS, 2000)

Concerns on Architecture-Centered Software Development: a Survey. - John J. Kyaruzi; Jan van Katwijk (Trans. SDPS, 2000)

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

A Timed Automata Semantics for Real-Time UML Specifications. - Hans Toetenel; Ella E. Roubtsova; Jan van Katwijk (HCC, 2001)