Search the dblp DataBase

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]