The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

W. J. Toetenel: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. K. Brink, Jan van Katwijk, R. F. Lutje Spelberg, W. J. Toetenel
    Analyzing Schedulability of Astral Specifications using Extended Timed Automata. [Citation Graph (0, 0)][DBLP]
    Euro-Par, 1997, pp:1290-1297 [Conf]
  2. K. Brink, L. J. G. Bun, Jan van Katwijk, R. F. Lutje Spelberg, W. J. Toetenel
    Automatic Analysis of Embedded Systems Specified in Astral. [Citation Graph (0, 0)][DBLP]
    HICSS (3), 1998, pp:177-186 [Conf]
  3. R. F. Lutje Spelberg, W. J. Toetenel
    Splitting Trees and Partition Refinement in Real-Time Model Checking. [Citation Graph (0, 0)][DBLP]
    HICSS, 2002, pp:278- [Conf]
  4. K. Brink, L. J. G. Bun, Jan van Katwijk, W. J. Toetenel
    Hybrid specification of control systems. [Citation Graph (0, 0)][DBLP]
    ICECCS, 1995, pp:149-0 [Conf]
  5. W. J. Toetenel
    TTT - A simple type-checked C language abstract data type generator. [Citation Graph (0, 0)][DBLP]
    Systems Implementation 2000, 1998, pp:263-276 [Conf]
  6. K. Brink, Jan van Katwijk, R. F. Lutje Spelberg, W. J. Toetenel
    Experiences with analysis of formal specifications in Astral. [Citation Graph (0, 0)][DBLP]
    RTCSA, 1997, pp:143-0 [Conf]
  7. K. Brink, Jan van Katwijk, W. J. Toetenel
    Ada 95 as implementation vehicle for formal specifications. [Citation Graph (0, 0)][DBLP]
    RTCSA, 1996, pp:98-105 [Conf]
  8. Jan van Katwijk, W. J. Toetenel
    Comparing formal specifications by measuring. [Citation Graph (0, 0)][DBLP]
    RTCSA, 1995, pp:184-191 [Conf]
  9. Ella E. Roubtsova, Jan van Katwijk, W. J. Toetenel, Cornelis Pronk, Ruud C. M. de Rooij
    Specification of Real-Time Systems in UML. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2000, v:39, n:3, pp:- [Journal]
  10. R. F. Lutje Spelberg, W. J. Toetenel
    Parametric Real-Time Model Checking Using Splitting Trees. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 2001, v:8, n:1, pp:88-120 [Journal]

  11. Experiments with parametric verification of real-time systems. [Citation Graph (, )][DBLP]


  12. XTG-an engineering approach to modelling and analysis of real-time systems. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
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