The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Axel Dold: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Axel Dold
    Representing, Verifying and Applying Software Development Steps using the PVS System. [Citation Graph (0, 0)][DBLP]
    AMAST, 1995, pp:431-445 [Conf]
  2. Wolf Zimmermann, Axel Dold
    A Framework for Modeling the Semantics of Expression Evaluation with Abstract State Machines. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2003, pp:391-406 [Conf]
  3. Axel Dold, Thilo Gaul, Vincent Vialard, Wolf Zimmermann
    ASM-based Mechanized Verification of Compiler Back-Ends. [Citation Graph (0, 0)][DBLP]
    Workshop on Abstract State Machines, 1998, pp:50-67 [Conf]
  4. Axel Dold
    Software Development in PVS Using Generic Development Steps. [Citation Graph (0, 0)][DBLP]
    Generic Programming, 1998, pp:146-161 [Conf]
  5. Axel Dold, Vincent Vialard
    Formal Verification of a Compiler Back-End Generic Checker Program. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 1999, pp:470-480 [Conf]
  6. Axel Dold, Friedrich W. von Henke, Holger Pfeifer, Harald Rueß
    Formal Verification of Transformations for Peephole Optimization. [Citation Graph (0, 0)][DBLP]
    FME, 1997, pp:459-472 [Conf]
  7. Axel Dold, Vincent Vialard
    A Mechanically Verified Compiling Specification for a Lisp Compiler. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 2001, pp:144-155 [Conf]
  8. Friedrich W. von Henke, Axel Dold, Harald Rueß, Detlef Schwier
    Construction and Deduction Methods for the Formal Development of Software. [Citation Graph (0, 0)][DBLP]
    KORSO Book, 1995, pp:239-254 [Conf]
  9. Axel Dold, Friedrich W. von Henke, Wolfgang Goerigk
    A Completely Verified Realistic Bootstrap Compiler. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 2003, v:14, n:4, pp:659-0 [Journal]

  10. Herausforderungen und Erfahrungen eines OEM bei der Gestaltung Sicherheitsgerechter Prozesse. [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