W. J. Toetenel

Publication Activity (10 Years)

Years Active: 1987-2002
Publications (10 Years): 0

Publications

R. F. Lutje Spelberg, W. J. Toetenel
Splitting Trees and Partition Refinement in Real-Time Model Checking. HICSS (2002)
R. F. Lutje Spelberg, W. J. Toetenel
Parametric Real-Time Model Checking Using Splitting Trees. Nord. J. Comput. 8 (1) (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)
R. F. Lutje Spelberg, Ruud C. M. de Rooij, W. J. Toetenel
Experiments with parametric verification of real-time systems. ECRTS (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)
Marcel Ammerlaan, R. F. Lutje Spelberg, W. J. Toetenel
XTG-an engineering approach to modelling and analysis of real-time systems. ECRTS (1998)
W. J. Toetenel
TTT - A simple type-checked C language abstract data type generator. Systems Implementation 2000 (1998)
K. Brink, Jan van Katwijk, R. F. Lutje Spelberg, W. J. Toetenel
Experiences with analysis of formal specifications in Astral. RTCSA (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)
K. Brink, Jan van Katwijk, W. J. Toetenel
Ada 95 as implementation vehicle for formal specifications. RTCSA (1996)
K. Brink, L. J. G. Bun, Jan van Katwijk, W. J. Toetenel
Closed World Specification of Embedded Real-Time Controllers. RTS (1996)
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)
W. J. Toetenel, Jan van Katwijk
Asynchronous transfer of control in Ada. IRTAW (1988)
Ronald Huijsman, Jan van Katwijk, W. J. Toetenel
Performance aspects of Ada tasking in embedded systems. Microprocess. Microprogramming 21 (1-5) (1987)