| 2000 | SAFECOMP | 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 |
| 1999 | RTCSA | An Approach Towards Formal Verification of Object Oriented Real-Time Systems. | Ruud C. M. de Rooij, Jan van Katwijk |
| 1997 | Coordination | Evaluation of Software Architecture for a Control System: A Case Study. | Sylvia Stuurman, Jan van Katwijk |
| 1997 | EuroPar | Analyzing Schedulability of Astral Specifications using Extended Timed Automata. | Klaas Brink, Jan van Katwijk, Ronald F. Lutje Spelberg, W. J. Toetenel |
| 1997 | ICFEM | Hybrid Object-Oriented Real-Time Software Development with VDM | Jan van Katwijk, Eugne Drr, Stephen J. Goldsack |
| 1997 | RTCSA | Experiences with analysis of formal specifications in Astral. | Klaas Brink, Jan van Katwijk, Ronald F. Lutje Spelberg, W. J. Toetenel |
| 1996 | ECRTS | Closed World Specification of Embedded Real-Time Controllers. | Klaas Brink, Leon J. G. Bun, Jan van Katwijk, W. J. Toetenel |
| 1996 | ICECCS | Modeling and analysis of complex computer systems-the MTCCS approach. | Hans Toetenel, Ronald F. Lutje Spelberg, Sylvia Stuurman, Jan van Katwijk |
| 1996 | RTCSA | Ada 95 as implementation vehicle for formal specifications. | Klaas Brink, Jan van Katwijk, W. J. Toetenel |
| 1996 | RTCSA | Gnass: a Gnat-based allocation and scheduling system. | B. Noorduin, Jan van Katwijk, Cornelis Pronk |
| 1995 | ICECCS | Hybrid specification of control systems. | Klaas Brink, Leon J. G. Bun, Jan van Katwijk, W. J. Toetenel |
| 1995 | RTCSA | Comparing formal specifications by measuring. | Jan van Katwijk, W. J. Toetenel |
| 1992 | SEKE | The Reuse of Software Design and Software Architecture. | H. Li, Jan van Katwijk, A. M. Levy |
| 1991 | FM | A Case for Structured Analysis/Formal Design. | Nico Plat, Jan van Katwijk, Kees Pronk |
| 1990 | FM | Type Checking BSI/VDM-SL. | Nico Plat, Ronald Huijsman, Jan van Katwijk, Gertjan van Oosten, Kees Pronk, Hans Toetenel |