dblp.uni-trier.dewww.uni-trier.de

Jan van Katwijk

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2001
31EEElla E. Roubtsova, Jan van Katwijk, Ruud C. M. de Rooij, Hans Toetenel: Transformation of UML Specification to XTG. Ershov Memorial Conference 2001: 247-254
30EEHans Toetenel, Ella E. Roubtsova, Jan van Katwijk: A Timed Automata Semantics for Real-Time UML Specifications. HCC 2001: 88-95
2000
29EEJohn J. Kyaruzi, Jan van Katwijk: Towards Explicit Representation of Architectural Design Assumptions. ASE 2000: 249-252
28EEJan 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
27EEElla 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
26EEJohn K. Kyaruzi, Jan van Katwijk: Beyond Components-Connections-Constraints: Dealing with Software Architecture Difficulties. ASE 1999: 235-242
25EERuud C. M. de Rooij, Jan van Katwijk: An Approach Towards Formal Verification of Object Oriented Real-Time Systems. RTCSA 1999: 474-
24 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
23EEK. 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
22EESylvia Stuurman, Jan van Katwijk: On-Line Change Mechanisms. SIGSOFT FSE 1998: 80-86
21EETullio 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
20 Sylvia Stuurman, Jan van Katwijk: Evaluation of Software Architecture for a Control System: A Case Study. COORDINATION 1997: 157-171
19 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
18 Jan van Katwijk, Eugène Dürr, S. J. Goldsack: Hybrid Object-Oriented Real-Time Software Development with VDM++. ICFEM 1997: 17-
17EEK. Brink, Jan van Katwijk, R. F. Lutje Spelberg, W. J. Toetenel: Experiences with analysis of formal specifications in Astral. RTCSA 1997: 143-
1996
16EEHans Toetenel, R. F. Lutje Spelberg, Sylvia Stuurman, Jan van Katwijk: Modeling and analysis of complex computer systems-the MTCCS approach. ICECCS 1996: 423-
15EEB. Noorduin, Jan van Katwijk, Cornelis Pronk: Gnass: a Gnat-based allocation and scheduling system. RTCSA 1996: 278-285
14EEK. Brink, Jan van Katwijk, W. J. Toetenel: Ada 95 as implementation vehicle for formal specifications. RTCSA 1996: 98-105
1995
13EEK. Brink, L. J. G. Bun, Jan van Katwijk, W. J. Toetenel: Hybrid specification of control systems. ICECCS 1995: 149-
12EEJan van Katwijk, W. J. Toetenel: Comparing formal specifications by measuring. RTCSA 1995: 184-191
11EELiesbeth Dusink, Jan van Katwijk: Reuse Dimensions. SSR 1995: 137-149
10 Jan van Katwijk, Hans Toetenel: Loose Specification of Real Time Systems. Informatica (Slovenia) 19(1): (1995)
1994
9 L. Zhang, Jan van Katwijk: Designing Multi-Processor Real-Time Systems with a Multi-view Approach. IFIP Congress (1) 1994: 195-200
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
6EEH. 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)

Coauthor Index

1Eric Anderson [28]
2K. Brink [13] [14] [17] [19] [23]
3L. J. G. Bun [13] [23]
4Eugène Dürr [5] [18]
5Liesbeth Dusink [11]
6S. J. Goldsack [18]
7Ronald Huijsman [2]
8John J. Kyaruzi [29]
9John K. Kyaruzi [26]
10A. M. Levy [3] [6]
11H. Li [6]
12B. Noorduin [15]
13Gertjan van Oosten [2]
14George Pavlidis [3]
15Nico Plat [2] [4]
16Cornelis Pronk (Kees Pronk) [2] [4] [15] [27]
17Ruud C. M. de Rooij [25] [27] [31]
18Ella E. Roubtsova [27] [30] [31]
19Abd-El-Kader Sahraoui [28]
20R. F. Lutje Spelberg [16] [17] [19] [23]
21Sylvia Stuurman [16] [20] [22]
22Hans Toetenel (W. J. Toetenel) [2] [7] [10] [12] [13] [14] [16] [17] [19] [23] [27] [28] [30] [31]
23F. Tolsma [3]
24Tullio Vardanega [21] [24]
25Janusz Zalewski [28]
26L. Zhang [9]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)