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