 | 2001 |
|---|
| 32 |       | 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 |
| 31 | | Hans Toetenel,
Ella E. Roubtsova,
Jan van Katwijk:
A Timed Automata Semantics for Real-Time UML Specifications.
HCC 2001: 88-95 |
| 2000 |
|---|
| 30 | | John J. Kyaruzi,
Jan van Katwijk:
Towards Explicit Representation of Architectural Design Assumptions.
ASE 2000: 249-252 |
| 29 | | 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 |
| 28 | | 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): (2000) |
| 1999 |
|---|
| 27 | | John K. Kyaruzi,
Jan van Katwijk:
Beyond Components-Connections-Constraints: Dealing with Software Architecture Difficulties.
ASE 1999: 235-242 |
| 26 | | Ruud C. M. de Rooij,
Jan van Katwijk:
An Approach Towards Formal Verification of Object Oriented Real-Time Systems.
RTCSA 1999: 474- |
| 25 |  | 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) |
| 1998 |
|---|
| 24 | | 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 |
| 23 | | Sylvia Stuurman,
Jan van Katwijk:
On-Line Change Mechanisms.
SIGSOFT FSE 1998: 80-86 |
| 22 | | 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) |
| 1997 |
|---|
| 21 | | Sylvia Stuurman,
Jan van Katwijk:
Evaluation of Software Architecture for a Control System: A Case Study.
COORDINATION 1997: 157-171 |
| 20 | | 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 |
| 19 | | Jan van Katwijk,
Eugène Dürr,
S. J. Goldsack:
Hybrid Object-Oriented Real-Time Software Development with VDM++.
ICFEM 1997: 17- |
| 18 | | K. Brink,
Jan van Katwijk,
R. F. Lutje Spelberg,
W. J. Toetenel:
Experiences with analysis of formal specifications in Astral.
RTCSA 1997: 143- |
| 1996 |
|---|
| 17 | | Hans Toetenel,
R. F. Lutje Spelberg,
Sylvia Stuurman,
Jan van Katwijk:
Modeling and analysis of complex computer systems-the MTCCS approach.
ICECCS 1996: 423- |
| 16 | | B. Noorduin,
Jan van Katwijk,
Cornelis Pronk:
Gnass: a Gnat-based allocation and scheduling system.
RTCSA 1996: 278-285 |
| 15 | | K. Brink,
Jan van Katwijk,
W. J. Toetenel:
Ada 95 as implementation vehicle for formal specifications.
RTCSA 1996: 98-105 |
| 1995 |
|---|
| 14 | | K. Brink,
L. J. G. Bun,
Jan van Katwijk,
W. J. Toetenel:
Hybrid specification of control systems.
ICECCS 1995: 149- |
| 13 | | Jan van Katwijk,
W. J. Toetenel:
Comparing formal specifications by measuring.
RTCSA 1995: 184-191 |
| 12 | | Liesbeth Dusink,
Jan van Katwijk:
Reuse Dimensions.
SSR 1995: 137-149 |
| 11 | | Jan van Katwijk,
Hans Toetenel:
Loose Specification of Real Time Systems.
Informatica (Slovenia) 19(1): (1995) |
| 1994 |
|---|
| 10 | | L. Zhang,
Jan van Katwijk:
Designing Multi-Processor Real-Time Systems with a Multi-view Approach.
IFIP Congress (1) 1994: 195-200 |
| 1993 |
|---|
| 9 | | 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) |
| 1992 |
|---|
| 8 | | Jan van Katwijk:
Ada: Moving Towards 2000, 11th Ada-Europe International Conference, Zandvoort, The Netherlands, June 1-5, 1992, Proceedings
Springer 1992 |
| 7 | | Hans Toetenel,
Jan van Katwijk:
Stepwise Development of Model-Oriented Real-Time Specifications from Action/Event Models.
FTRTFT 1992: 547-570 |
| 6 | | H. Li,
Jan van Katwijk,
A. M. Levy:
The Reuse of Software Design and Software Architecture.
SEKE 1992: 170-177 |
| 5 | | Eugène Dürr,
Jan van Katwijk:
VDM++, A Formal Specification Language for OO Designs.
TOOLS (7) 1992: 63-77 |
| 1991 |
|---|
| 4 | | Nico Plat,
Jan van Katwijk,
Kees Pronk:
A Case for Structured Analysis/Formal Design.
VDM Europe (1) 1991: 81-105 |
| 1990 |
|---|
| 3 | | A. M. Levy,
Jan van Katwijk,
George Pavlidis,
F. Tolsma:
SEPDS: A Support Environment for Prototyping Distributed Systems.
ICSI 1990: 652-661 |
| 2 | | Nico Plat,
Ronald Huijsman,
Jan van Katwijk,
Gertjan van Oosten,
Kees Pronk,
Hans Toetenel:
Type Checking BSI/VDM-SL.
VDM Europe 1990: 399-425 |
| 1987 |
|---|
| 1 | | Jan van Katwijk:
Addressing Types and Objects in Ada.
Softw., Pract. Exper. 17(5): 319-343 (1987) |
