W. J. Toetenel

17 papers B 6Journal 2Unranked 7
YearRankTypeTitle / 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