The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Hans Toetenel: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Peter Gorm Larsen, Nico Plat, Hans Toetenel
    A Formal Semantics of Data Flow Diagrams. [Citation Graph (1, 0)][DBLP]
    Formal Asp. Comput., 1994, v:6, n:6, pp:586-606 [Journal]
  2. Arlet Ottens, Hans Toetenel
    Simulation of Mosca Specifications in Ada. [Citation Graph (0, 0)][DBLP]
    Ada-Europe, 1992, pp:182-196 [Conf]
  3. Ella E. Roubtsova, Jan van Katwijk, Ruud C. M. de Rooij, Hans Toetenel
    Transformation of UML Specification to XTG. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 2001, pp:247-254 [Conf]
  4. Nico Plat, Ronald Huijsman, Jan van Katwijk, Gertjan van Oosten, Kees Pronk, Hans Toetenel
    Type Checking BSI/VDM-SL. [Citation Graph (0, 0)][DBLP]
    VDM Europe, 1990, pp:399-425 [Conf]
  5. R. F. Lutje Spelberg, Hans Toetenel, Marcel Ammerlaan
    Partition Refinement in Real-Time Model Checking. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1998, pp:143-157 [Conf]
  6. Hans Toetenel, Jan van Katwijk
    Stepwise Development of Model-Oriented Real-Time Specifications from Action/Event Models. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1992, pp:547-570 [Conf]
  7. G. Bandini, R. F. Lutje Spelberg, Ruud C. H. de Rooij, Hans Toetenel
    Application of Parametric Model Checking - The Root Contention Protocol. [Citation Graph (0, 0)][DBLP]
    HICSS, 2001, pp:- [Conf]
  8. Hans Toetenel, R. F. Lutje Spelberg, Sylvia Stuurman, Jan van Katwijk
    Modeling and analysis of complex computer systems-the MTCCS approach. [Citation Graph (0, 0)][DBLP]
    ICECCS, 1996, pp:423-0 [Conf]
  9. Bas Graaf, Marco Lormans, Hans Toetenel
    Software Technologies for Embedded Systems: An Industry Inventory. [Citation Graph (0, 0)][DBLP]
    PROFES, 2002, pp:453-465 [Conf]
  10. Hans Toetenel, R. F. Lutje Spelberg, G. Bandini
    Parametric verification of the IEEE 1394a Root Contention protocol using LPMC. [Citation Graph (0, 0)][DBLP]
    RTCSA, 2000, pp:207-214 [Conf]
  11. 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. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2000, pp:37-52 [Conf]
  12. Hans Toetenel
    Loose Real-Time Communicating Agents. [Citation Graph (0, 0)][DBLP]
    Semantics of Specification Languages, 1993, pp:135-151 [Conf]
  13. Hans Toetenel, Ella E. Roubtsova, Jan van Katwijk
    A Timed Automata Semantics for Real-Time UML Specifications. [Citation Graph (0, 0)][DBLP]
    HCC, 2001, pp:88-95 [Conf]
  14. Jan van Katwijk, Hans Toetenel
    Loose Specification of Real Time Systems. [Citation Graph (0, 0)][DBLP]
    Informatica (Slovenia), 1995, v:19, n:1, pp:- [Journal]
  15. Bas Graaf, Marco Lormans, Hans Toetenel
    Embedded Software Engineering: The State of the Practice. [Citation Graph (0, 0)][DBLP]
    IEEE Software, 2003, v:20, n:6, pp:61-69 [Journal]

Search in 0.004secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002