W. J. Toetenel

17 papers B 6Journal 2Unranked 7

Year	Rank	Type	Title / Venue / Authors
2002	—	`conf`	Splitting Trees and Partition Refinement in Real-Time Model Checking. HICSS Ronald F. Lutje Spelberg, W. J. Toetenel
2001	J	`jnl`	Parametric Real-Time Model Checking Using Splitting Trees. Nord. J. Comput. Ronald F. Lutje Spelberg, W. J. Toetenel
2000	—	`conf`	Specification of Real-Time Systems in UML. MTCS Ella E. Roubtsova, Jan van Katwijk, W. J. Toetenel, Cornelis Pronk, Ruud C. M. de Rooij
1999	B	`conf`	Experiments with parametric verification of real-time systems. ECRTS Ronald F. Lutje Spelberg, Ruud C. M. de Rooij, W. J. Toetenel
1998	—	`conf`	Automatic Analysis of Embedded Systems Specified in Astral. HICSS (3) Klaas Brink, Leon J. G. Bun, Jan van Katwijk, Ronald F. Lutje Spelberg, W. J. Toetenel
1998	—	`conf`	TTT - A simple type-checked C language abstract data type generator. Systems Implementation 2000 W. J. Toetenel
1998	B	`conf`	XTG-an engineering approach to modelling and analysis of real-time systems. ECRTS Marcel Ammerlaan, Ronald F. Lutje Spelberg, W. J. Toetenel
1997	—	`conf`	Analyzing Schedulability of Astral Specifications using Extended Timed Automata. Euro-Par Klaas Brink, Jan van Katwijk, Ronald F. Lutje Spelberg, W. J. Toetenel
1997	B	`conf`	Experiences with analysis of formal specifications in Astral. RTCSA Klaas Brink, Jan van Katwijk, Ronald F. Lutje Spelberg, W. J. Toetenel
1996	B	`conf`	Ada 95 as implementation vehicle for formal specifications. RTCSA Klaas Brink, Jan van Katwijk, W. J. Toetenel
1996	—	`conf`	Closed World Specification of Embedded Real-Time Controllers. RTS Klaas Brink, Leon J. G. Bun, Jan van Katwijk, W. J. Toetenel
1995	B	`conf`	Comparing formal specifications by measuring. RTCSA Jan van Katwijk, W. J. Toetenel
1995	B	`conf`	Hybrid specification of control systems. ICECCS Klaas Brink, Leon J. G. Bun, Jan van Katwijk, W. J. Toetenel
1991	—	`ed.`	VDM '91 - Formal Software Development, 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991, Proceedings, Volume 1: Conference Contributions VDM Europe (1) Søren Prehn, W. J. Toetenel
1991	—	`ed.`	VDM '91 - Formal Software Development, 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991, Proceedings, Volume 2: Tutorials VDM Europe (2) Søren Prehn, W. J. Toetenel
1988	—	`conf`	Asynchronous transfer of control in Ada. IRTAW W. J. Toetenel, Jan van Katwijk
1987	J	`jnl`	Performance aspects of Ada tasking in embedded systems. Microprocess. Microprogramming Ronald Huijsman, Jan van Katwijk, W. J. Toetenel