- CSB - MetaPress - Google - Bing - Yahoo
 | 2007 | |
|---|---|---|
| c9 |      | Axel Dold, Mario Trapp: Herausforderungen und Erfahrungen eines OEM bei der Gestaltung Sicherheitsgerechter Prozesse. GI Jahrestagung (2) 2007: 536-540 |
| 2003 | ||
| j1 | | Axel Dold, Friedrich W. von Henke, Wolfgang Goerigk: A Completely Verified Realistic Bootstrap Compiler. Int. J. Found. Comput. Sci. 14(4): 659- (2003) |
| c8 | | Wolf Zimmermann, Axel Dold: A Framework for Modeling the Semantics of Expression Evaluation with Abstract State Machines. Abstract State Machines 2003: 391-406 |
| 2001 | ||
| c7 | | Axel Dold, Vincent Vialard: A Mechanically Verified Compiling Specification for a Lisp Compiler. FSTTCS 2001: 144-155 |
| 1999 | ||
| c6 | | Axel Dold, Vincent Vialard: Formal Verification of a Compiler Back-End Generic Checker Program. Ershov Memorial Conference 1999: 470-480 |
| 1998 | ||
| c5 |  | Axel Dold, Thilo Gaul, Vincent Vialard, Wolf Zimmermann: ASM-based Mechanized Verification of Compiler Back-Ends. Workshop on Abstract State Machines 1998: 50-67 |
| c4 | | Axel Dold: Software Development in PVS Using Generic Development Steps. Generic Programming 1998: 146-161 |
| 1997 | ||
| c3 | | Axel Dold, Friedrich W. von Henke, Holger Pfeifer, Harald Rueß: Formal Verification of Transformations for Peephole Optimization. FME 1997: 459-472 |
| 1995 | ||
| c2 | | Axel Dold: Representing, Verifying and Applying Software Development Steps using the PVS System. AMAST 1995: 431-445 |
| c1 | | 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 |
| 1 | Thilo Gaul | |
| 2 | Wolfgang Goerigk | |
| 3 | Friedrich W. von Henke | |
| 4 | Holger Pfeifer | |
| 5 | Harald Ruess (Harald Rueß) | |
| 6 | Detlef Schwier | |
| 7 | Mario Trapp | |
| 8 | Vincent Vialard | |
| 9 | Wolf Zimmermann |
Data released under the ODC-BY 1.0 license — See also our legal information page