Hans Toetenel

According to our database, Hans Toetenel authored at least 33 papers between 1987 and 2003.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2003

Embedded Software Engineering: The State of the Practice.

Bas Graaf, Marco Lormans, Hans Toetenel

IEEE Softw., 2003

2002

Software Technologies for Embedded Systems: An Industry Inventory.

Bas Graaf, Marco Lormans, Hans Toetenel

Proceedings of the Product Focused Software Process Improvement, 2002

Splitting Trees and Partition Refinement in Real-Time Model Checking.

Ronald F. Lutje Spelberg, W. J. Toetenel

Proceedings of the 35th Hawaii International Conference on System Sciences (HICSS-35 2002), 2002

2001

Parametric Real-Time Model Checking Using Splitting Trees.

Ronald F. Lutje Spelberg, W. J. Toetenel

Nord. J. Comput., 2001

A Timed Automata Semantics for Real-Time UML Specifications.

Hans Toetenel, Ella E. Roubtsova, Jan van Katwijk

Proceedings of the 2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2001), 2001

Application of Parametric Model Checking - The Root Contention Protocol.

G. Bandini, Ronald F. Lutje Spelberg, Ruud C. M. de Rooij, Hans Toetenel

Proceedings of the 34th Annual Hawaii International Conference on System Sciences (HICSS-34), 2001

Transformation of UML Specification to XTG.

Ella E. Roubtsova, Jan van Katwijk, Ruud C. M. de Rooij, Hans Toetenel

Proceedings of the Perspectives of System Informatics, 2001

2000

Specification of Real-Time Systems in UML.

Ella E. Roubtsova, Jan van Katwijk, W. J. Toetenel, Cornelis Pronk, Ruud C. M. de Rooij

Proceedings of the International Workshop on Models for Time-Critical Systems, 2000

Specification and Verification of a Safety Shell with Statecharts and Extended Timed Graphs.

Jan van Katwijk, Hans Toetenel, Abd-El-Kader Sahraoui, Eric Anderson, Janusz Zalewski

Proceedings of the Computer Safety, 2000

Parametric verification of the IEEE 1394a Root Contention protocol using LPMC.

Hans Toetenel, Ronald F. Lutje Spelberg, G. Bandini

Proceedings of the 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 2000

1999

Software Development and Verification of Dynamic Real-Time Distributed Systems Based on the Radio Broadcast Paradigm.

Jan van Katwijk, Ruud C. M. de Rooij, Sylvia Stuurman, Hans Toetenel

Scalable Comput. Pract. Exp., 1999

Experiments with parametric verification of real-time systems.

Ronald F. Lutje Spelberg, Ruud C. M. de Rooij, W. J. Toetenel

Proceedings of the 11th Euromicro Conference on Real-Time Systems (ECRTS 1999), 1999

1998

TTT - A simple type-checked C language abstract data type generator.

W. J. Toetenel

Proceedings of the Systems Implementation 2000, 1998

Automatic Analysis of Embedded Systems Specified in Astral.

Klaas Brink, Leon J. G. Bun, Jan van Katwijk, Ronald F. Lutje Spelberg, W. J. Toetenel

Proceedings of the Thirty-First Annual Hawaii International Conference on System Sciences, 1998

Partition Refinement in Real-Time Model Checking.

Ronald F. Lutje Spelberg, Hans Toetenel, Marcel Ammerlaan

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1998

XTG-an engineering approach to modelling and analysis of real-time systems.

Marcel Ammerlaan, Ronald F. Lutje Spelberg, W. J. Toetenel

Proceedings of the 10th Euromicro Conference on Real-Time Systems (ECRTS 1998), 1998

1997

Experiences with analysis of formal specifications in Astral.

Klaas Brink, Jan van Katwijk, Ronald F. Lutje Spelberg, W. J. Toetenel

Proceedings of the 4th International Workshop on Real-Time Computing Systems and Applications (RTCSA '97), 1997

Analyzing Schedulability of Astral Specifications using Extended Timed Automata.

Klaas Brink, Jan van Katwijk, Ronald F. Lutje Spelberg, W. J. Toetenel

Proceedings of the Euro-Par '97 Parallel Processing, 1997

1996

Ada 95 as implementation vehicle for formal specifications.

Klaas Brink, Jan van Katwijk, W. J. Toetenel

Proceedings of the Third International Workshop on Real-Time Computing Systems Application (RTCSA '96), October 30, 1996

Modeling and analysis of complex computer systems-the MTCCS approach.

Hans Toetenel, Ronald F. Lutje Spelberg, Sylvia Stuurman, Jan van Katwijk

Proceedings of the 2nd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '96), 1996

Closed World Specification of Embedded Real-Time Controllers.

Klaas Brink, Leon J. G. Bun, Jan van Katwijk, W. J. Toetenel

Proceedings of the Eighth Euromicro Workshop on Real-Time Systems, 1996

1995

Loose Specification of Real Time Systems.

Jan van Katwijk, Hans Toetenel

Informatica (Slovenia), 1995

Comparing formal specifications by measuring.

Jan van Katwijk, W. J. Toetenel

Proceedings of the 2nd International Workshop on Real-Time Computing Systems and Applications, October 25, 1995

Hybrid specification of control systems.

Klaas Brink, Leon J. G. Bun, Jan van Katwijk, W. J. Toetenel

Proceedings of the 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), 1995

1994

A Formal Semantics of Data Flow Diagrams.

Peter Gorm Larsen, Nico Plat, Hans Toetenel

Formal Aspects Comput., 1994

1993

Loose Real-Time Communicating Agents.

Hans Toetenel

Proceedings of the Semantics of Specification Languages (SoSL), 1993

1992

Application and benefits of formal methods in software development.

Nico Plat, Jan van Katwijk, Hans Toetenel

Softw. Eng. J., 1992

Stepwise Development of Model-Oriented Real-Time Specifications from Action/Event Models.

Hans Toetenel, Jan van Katwijk

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1992

Simulation of Mosca Specifications in Ada.

Arlet Ottens, Hans Toetenel

Proceedings of the Ada: Moving Towards 2000, 1992

1990

Structured analysis - formal design, using stream and object oriented formal specifications.

Hans Toetenel, Jan van Katwijk, Nico Plat

Proceedings of the Conference proceedings on Formal methods in software development, 1990

Type Checking BSI/VDM-SL.

Nico Plat, Ronald Huijsman, Jan van Katwijk, Gertjan van Oosten, Kees Pronk, Hans Toetenel

Proceedings of the VDM '90, 1990

1988

Asynchronous transfer of control in Ada.

W. J. Toetenel, Jan van Katwijk

Proceedings of the Second International Workshop on Real-Time Ada Issues, 1988

1987

Performance aspects of Ada tasking in embedded systems.

Ronald Huijsman, Jan van Katwijk, W. J. Toetenel

Microprocess. Microprogramming, 1987