Hans Toetenel

Publication Activity (10 Years)

Years Active: 1990-2003
Publications (10 Years): 0

Publications

Bas Graaf, Marco Lormans, Hans Toetenel
Embedded Software Engineering: The State of the Practice. IEEE Softw. 20 (6) (2003)
Bas Graaf, Marco Lormans, Hans Toetenel
Software Technologies for Embedded Systems: An Industry Inventory. PROFES (2002)
G. Bandini, R. F. Lutje Spelberg, Ruud C. M. de Rooij, Hans Toetenel
Application of Parametric Model Checking - The Root Contention Protocol. HICSS (2001)
Hans Toetenel, Ella E. Roubtsova, Jan van Katwijk
A Timed Automata Semantics for Real-Time UML Specifications. HCC (2001)
Ella E. Roubtsova, Jan van Katwijk, Ruud C. M. de Rooij, Hans Toetenel
Transformation of UML Specification to XTG. Ershov Memorial Conference (2001)
Hans Toetenel, R. F. Lutje Spelberg, G. Bandini
Parametric verification of the IEEE 1394a Root Contention protocol using LPMC. RTCSA (2000)
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)
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 Comput. Pract. Exp. 2 (1) (1999)
R. F. Lutje Spelberg, Hans Toetenel, Marcel Ammerlaan
Partition Refinement in Real-Time Model Checking. FTRTFT (1998)
Hans Toetenel, R. F. Lutje Spelberg, Sylvia Stuurman, Jan van Katwijk
Modeling and analysis of complex computer systems-the MTCCS approach. ICECCS (1996)
Jan van Katwijk, Hans Toetenel
Loose Specification of Real Time Systems. Informatica (Slovenia) 19 (1) (1995)
Peter Gorm Larsen, Nico Plat, Hans Toetenel
A Formal Semantics of Data Flow Diagrams. Formal Aspects Comput. 6 (6) (1994)
Hans Toetenel
Loose Real-Time Communicating Agents. Semantics of Specification Languages (1993)
Hans Toetenel, Jan van Katwijk
Stepwise Development of Model-Oriented Real-Time Specifications from Action/Event Models. FTRTFT (1992)
Arlet Ottens, Hans Toetenel
Simulation of Mosca Specifications in Ada. Ada-Europe (1992)
Nico Plat, Jan van Katwijk, Hans Toetenel
Application and benefits of formal methods in software development. Softw. Eng. J. 7 (5) (1992)
Nico Plat, Ronald Huijsman, Jan van Katwijk, Gertjan van Oosten, Kees Pronk, Hans Toetenel
Type Checking BSI/VDM-SL. VDM Europe (1990)
Hans Toetenel, Jan van Katwijk, Nico Plat
Structured analysis - formal design, using stream and object oriented formal specifications. Formal Methods in Software Development (1990)