The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Robert Eschbach: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Robert Eschbach, Uwe Glässer, Reinhard Gotzhein, Andreas Prinz
    On the Formal Semantics of SDL-2000: A Compilation Approach Based on an Abstract SDL Machine. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2000, pp:242-265 [Conf]
  2. Robert Eschbach
    A Verification Approach for Distributed Abstract State Machines. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 2001, pp:109-115 [Conf]
  3. Robert Eschbach
    A Termination Detection Algorithm: Specification and Verification. [Citation Graph (0, 0)][DBLP]
    World Congress on Formal Methods, 1999, pp:1720-1737 [Conf]
  4. Andreas Prinz, Robert Eschbach, Reinhard Gotzhein
    A Executable Formal Semantics for SDL-2000. [Citation Graph (0, 0)][DBLP]
    SAM, 2000, pp:249-261 [Conf]
  5. Robert Eschbach, Uwe Glässer, Reinhard Gotzhein, Martin von Löwis, Andreas Prinz
    Formal Definition of SDL-2000 - Compiling and Running SDL Specifications as ASM Models. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2001, v:7, n:11, pp:1024-1049 [Journal]

  6. A Systematic Testing Approach for Autonomous Mobile Robots Using Domain-Specific Languages. [Citation Graph (, )][DBLP]


  7. Risikobasierte Ableitung und Priorisierung von Testfällen für den modellbasierten Systemtest. [Citation Graph (, )][DBLP]


  8. Indicator-Based Inspections: A Risk-Oriented Quality Assurance Approach for Dependable Systems. [Citation Graph (, )][DBLP]


  9. Automatic Discovery of Unspecified Behaviors in Automotive Control Software. [Citation Graph (, )][DBLP]


  10. Strategic Usage of Test Case Generation by Combining Two Test Case Generation Approaches. [Citation Graph (, )][DBLP]


  11. A Systematic Approach to Construct Compositional Behaviour Models for Network-structured Safety-critical Systems. [Citation Graph (, )][DBLP]


Search in 0.030secs, Finished in 0.031secs
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