Jan van Katwijk

Publication Activity (10 Years)

Years Active: 1983-2001
Publications (10 Years): 0

Publications

Hans Toetenel, Ella E. Roubtsova, Jan van Katwijk
A Timed Automata Semantics for Real-Time UML Specifications. HCC (2001)
Ella E. Roubtsova, Jan van Katwijk, Ruud C. M. de Rooij, Hans Toetenel
Transformation of UML Specification to XTG. Ershov Memorial Conference (2001)
Ella E. Roubtsova, Jan van Katwijk, W. J. Toetenel, Cornelis Pronk, Ruud C. M. de Rooij
Specification of Real-Time Systems in UML. Electron. Notes Theor. Comput. Sci. 39 (3) (2000)
John J. Kyaruzi, Jan van Katwijk
Concerns on Architecture-Centered Software Development: a Survey. Trans. SDPS 4 (3) (2000)
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)
John J. Kyaruzi, Jan van Katwijk
Towards Explicit Representation of Architectural Design Assumptions. ASE (2000)
Ruud C. M. de Rooij, Jan van Katwijk
An Approach Towards Formal Verification of Object Oriented Real-Time Systems. RTCSA (1999)
John J. Kyaruzi, Jan van Katwijk
Beyond Components-Connections-Constraints: Dealing with Software Architecture Difficulties. ASE (1999)
Jan van Katwijk, Janusz Zalewski
Parallel and Distributed Real-Time Systems: An Introduction. Scalable Comput. Pract. Exp. 2 (1) (1999)
Tullio Vardanega, Jan van Katwijk
A Software Process for the Construction of Predictable On-Board Embedded Real-Time Systems. Softw. Pract. Exp. 29 (3) (1999)
Jan van Katwijk, Yun Peng, Janusz Zalewski
Performance comparison of four software architectures for distributed computations. PARCO (1999)
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 Comput. Pract. Exp. 2 (1) (1999)
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)
Sylvia Stuurman, Jan van Katwijk
On-Line Change Mechanisms. SIGSOFT FSE (1998)
Tullio Vardanega, Jan van Katwijk
Productive engineering of predictable embedded real-time systems: the road to maturity. Inf. Softw. Technol. 40 (13) (1998)
K. Brink, Jan van Katwijk, R. F. Lutje Spelberg, W. J. Toetenel
Experiences with analysis of formal specifications in Astral. RTCSA (1997)
Jan van Katwijk, Eugène Dürr, S. J. Goldsack
. ICFEM (1997)
K. Brink, Jan van Katwijk, R. F. Lutje Spelberg, W. J. Toetenel
Analyzing Schedulability of Astral Specifications using Extended Timed Automata. Euro-Par (1997)
Sylvia Stuurman, Jan van Katwijk
Evaluation of Software Architecture for a Control System: A Case Study. COORDINATION (1997)
Hans Toetenel, R. F. Lutje Spelberg, Sylvia Stuurman, Jan van Katwijk
Modeling and analysis of complex computer systems-the MTCCS approach. ICECCS (1996)
B. Noorduin, Jan van Katwijk, Cornelis Pronk
Gnass: a Gnat-based allocation and scheduling system. RTCSA (1996)
K. Brink, Jan van Katwijk, W. J. Toetenel
Ada 95 as implementation vehicle for formal specifications. RTCSA (1996)
Eugène Dürr, Stephen J. Goldsack, Jan van Katwijk
Real Time Formal Specification using VDM++. SBES (1996)
K. Brink, L. J. G. Bun, Jan van Katwijk, W. J. Toetenel
Closed World Specification of Embedded Real-Time Controllers. RTS (1996)
Jan van Katwijk, Eugène Dürr, S. J. Goldsack
. WORDS (1996)
Liesbeth M. Dusink, Jan van Katwijk
Reuse Dimensions. SSR (1995)
K. Brink, L. J. G. Bun, Jan van Katwijk, W. J. Toetenel
Hybrid specification of control systems. ICECCS (1995)
Jan van Katwijk, W. J. Toetenel
Comparing formal specifications by measuring. RTCSA (1995)
Jan van Katwijk, Hans Toetenel
Loose Specification of Real Time Systems. Informatica (Slovenia) 19 (1) (1995)
L. Zhang, Jan van Katwijk
Designing Multi-Processor Real-Time Systems with a Multi-view Approach. IFIP Congress (1) (1994)
L. Zhang, Jan van Katwijk
Towards a viewpoint oriented design methodology for Multi-processor Real-Time Systems. SBES (1994)
K. Brink, Ronald Huijsman, Jan van Katwijk
SEAL A simple language for prototyping action-event specifications. Microprocess. Microprogramming 38 (1-5) (1993)
Hans Toetenel, Jan van Katwijk
Stepwise Development of Model-Oriented Real-Time Specifications from Action/Event Models. FTRTFT (1992)
Eugène Dürr, Jan van Katwijk
VDM++, A Formal Specification Language for OO Designs. TOOLS (7) (1992)
H. Li, Jan van Katwijk, A. M. Levy
The Reuse of Software Design and Software Architecture. SEKE (1992)
Nico Plat, Jan van Katwijk, Hans Toetenel
Application and benefits of formal methods in software development. Softw. Eng. J. 7 (5) (1992)
Nico Plat, Jan van Katwijk, Kees Pronk
A Case for Structured Analysis/Formal Design. VDM Europe (1) (1991)
Nico Plat, Ronald Huijsman, Jan van Katwijk, Gertjan van Oosten, Kees Pronk, Hans Toetenel
Type Checking BSI/VDM-SL. VDM Europe (1990)
A. M. Levy, Jan van Katwijk, George Pavlidis, F. Tolsma
SEPDS: A Support Environment for Prototyping Distributed Systems. ICSI (1990)
Hans Toetenel, Jan van Katwijk, Nico Plat
Structured analysis - formal design, using stream and object oriented formal specifications. Formal Methods in Software Development (1990)
A. M. Levy, Adrianus J. van de Goor, Jan van Katwijk
Distributed system design using Ada as a tool for prototyping. Microprocessing and Microprogramming 27 (1-5) (1989)
W. J. Toetenel, Jan van Katwijk
Asynchronous transfer of control in Ada. IRTAW (1988)
Jan van Katwijk
Addressing Types and Objects in Ada. Softw. Pract. Exp. 17 (5) (1987)
Ronald Huijsman, Jan van Katwijk, W. J. Toetenel
Performance aspects of Ada tasking in embedded systems. Microprocess. Microprogramming 21 (1-5) (1987)
Jan van Katwijk, J. van Someren
The doublet model: run-time model and implementation of Ada types. ACM SIGPLAN Notices 19 (1) (1984)
Jan van Katwijk
Practical experiences with automatic repair of syntactical errors or syntactical error repair in the DAS compiler. ACM SIGPLAN Notices 19 (9) (1984)
Jan van Katwijk
A preprocessor for YACC or a poor man's approach to parsing attributed grammars. ACM SIGPLAN Notices 18 (10) (1983)