Hans Toetenel

18 papers B 4Misc 1Journal 5Unranked 8
YearRankTypeTitle / Venue / Authors
2003 J jnl
Embedded Software Engineering: The State of the Practice.
IEEE Softw.
Bas Graaf, Marco Lormans, Hans Toetenel
2002 B conf
Software Technologies for Embedded Systems: An Industry Inventory.
PROFES
Bas Graaf, Marco Lormans, Hans Toetenel
2001 — conf
A Timed Automata Semantics for Real-Time UML Specifications.
HCC
Hans Toetenel, Ella E. Roubtsova, Jan van Katwijk
2001 — conf
Application of Parametric Model Checking - The Root Contention Protocol.
HICSS
G. Bandini, Ronald F. Lutje Spelberg, Ruud C. M. de Rooij, Hans Toetenel
2001 — conf
Transformation of UML Specification to XTG.
Ershov Memorial Conference
Ella E. Roubtsova, Jan van Katwijk, Ruud C. M. de Rooij, Hans Toetenel
2000 B conf
Parametric verification of the IEEE 1394a Root Contention protocol using LPMC.
RTCSA
Hans Toetenel, Ronald F. Lutje Spelberg, G. Bandini
2000 B conf
Specification and Verification of a Safety Shell with Statecharts and Extended Timed Graphs.
SAFECOMP
Jan van Katwijk, Hans Toetenel, Abd-El-Kader Sahraoui, Eric Anderson, Janusz Zalewski
1999 J jnl
Software Development and Verification of Dynamic Real-Time Distributed Systems Based on the Radio Broadcast Paradigm.
Parallel Distributed Comput. Pract.
Jan van Katwijk, Ruud C. M. de Rooij, Sylvia Stuurman, Hans Toetenel
1998 — conf
Partition Refinement in Real-Time Model Checking.
FTRTFT
Ronald F. Lutje Spelberg, Hans Toetenel, Marcel Ammerlaan
1996 B conf
Modeling and analysis of complex computer systems-the MTCCS approach.
ICECCS
Hans Toetenel, Ronald F. Lutje Spelberg, Sylvia Stuurman, Jan van Katwijk
1995 J jnl
Loose Specification of Real Time Systems.
Informatica (Slovenia)
Jan van Katwijk, Hans Toetenel
1994 J jnl
A Formal Semantics of Data Flow Diagrams.
Formal Aspects Comput.
Peter Gorm Larsen, Nico Plat, Hans Toetenel
1993 — conf
Loose Real-Time Communicating Agents.
Semantics of Specification Languages
Hans Toetenel
1992 J jnl
Application and benefits of formal methods in software development.
Softw. Eng. J.
Nico Plat, Jan van Katwijk, Hans Toetenel
1992 Misc conf
Simulation of Mosca Specifications in Ada.
Ada-Europe
Arlet Ottens, Hans Toetenel
1992 — conf
Stepwise Development of Model-Oriented Real-Time Specifications from Action/Event Models.
FTRTFT
Hans Toetenel, Jan van Katwijk
1990 — conf
Structured analysis - formal design, using stream and object oriented formal specifications.
Formal Methods in Software Development
Hans Toetenel, Jan van Katwijk, Nico Plat
1990 — conf
Type Checking BSI/VDM-SL.
VDM Europe
Nico Plat, Ronald Huijsman, Jan van Katwijk, Gertjan van Oosten, Kees Pronk, Hans Toetenel