Representing, Verifying and Applying Software Development Steps using the PVS System. - Axel Dold (AMAST, 1995)

Construction and Deduction Methods for the Formal Development of Software. - Friedrich W. von Henke; Axel Dold; Harald Rueß; Detlef Schwier (KORSO Book, 1995)

Formal Verification of Transformations for Peephole Optimization. - Axel Dold; Friedrich W. von Henke; Holger Pfeifer; Harald Rueß (FME, 1997)

ASM-based Mechanized Verification of Compiler Back-Ends. - Axel Dold; Thilo Gaul; Vincent Vialard; Wolf Zimmermann (Workshop on Abstract State Machines, 1998)

Software Development in PVS Using Generic Development Steps. - Axel Dold (Generic Programming, 1998)

Formal Verification of a Compiler Back-End Generic Checker Program. - Axel Dold; Vincent Vialard (Ershov Memorial Conference, 1999)

Formal software development using generic development steps. - Axel Dold (Logos-Verlag, 2000)

A Mechanically Verified Compiling Specification for a Lisp Compiler. - Axel Dold; Vincent Vialard (FSTTCS, 2001)

A Framework for Modeling the Semantics of Expression Evaluation with Abstract State Machines. - Wolf Zimmermann; Axel Dold (Abstract State Machines, 2003)

A Completely Verified Realistic Bootstrap Compiler. - Axel Dold; Friedrich W. von Henke; Wolfgang Goerigk (Int. J. Found. Comput. Sci., 2003)

Requirements for Flexible Software Development Processes. - Olga Jaufman; Axel Dold; Tobias Häberlein; Claudia Schlumpberger; Michael Stupperich (QUATIC, 2004)

A Learning Support for the Definition of Process Flexibility. - Olga Jaufman; Axel Dold; Michael Stupperich; Kurt Schneider; Nikolaus Kleiner (QUATIC, 2004)

Herausforderungen und Erfahrungen eines OEM bei der Gestaltung Sicherheitsgerechter Prozesse. - Axel Dold; Mario Trapp (GI Jahrestagung (2), 2007)