Jan van Katwijk

	2001
34		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
33		Hans Toetenel, Ella E. Roubtsova, Jan van Katwijk: A Timed Automata Semantics for Real-Time UML Specifications. HCC 2001: 88-95
	2000
32		John J. Kyaruzi, Jan van Katwijk: Towards Explicit Representation of Architectural Design Assumptions. ASE 2000: 249-252
31		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
30		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): 293-305 (2000)
	1999
29		John K. Kyaruzi, Jan van Katwijk: Beyond Components-Connections-Constraints: Dealing with Software Architecture Difficulties. ASE 1999: 235-242
28		Ruud C. M. de Rooij, Jan van Katwijk: An Approach Towards Formal Verification of Object Oriented Real-Time Systems. RTCSA 1999: 474-
27		Jan van Katwijk, Janusz Zalewski: Parallel and Distributed Real-Time Systems: An Introduction. Scalable Computing: Practice and Experience 2(1): (1999)
26		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 Computing: Practice and Experience 2(1): (1999)
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)

Coauthor Index

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

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page