Axel Dold

Publication Activity (10 Years)

Years Active: 1995-2007
Publications (10 Years): 0

University of Ulm, Germany (PHD)

Education History

University of Ulm, Germany

PHD

Publications

Axel Dold, Mario Trapp
Herausforderungen und Erfahrungen eines OEM bei der Gestaltung Sicherheitsgerechter Prozesse. GI Jahrestagung (2) (2007)
Olga Jaufman, Axel Dold, Tobias Häberlein, Claudia Schlumpberger, Michael Stupperich
Requirements for Flexible Software Development Processes. QUATIC (2004)
Olga Jaufman, Axel Dold, Michael Stupperich, Kurt Schneider, Nikolaus Kleiner
A Learning Support for the Definition of Process Flexibility. QUATIC (2004)
Axel Dold, Friedrich W. von Henke, Wolfgang Goerigk
A Completely Verified Realistic Bootstrap Compiler. Int. J. Found. Comput. Sci. 14 (4) (2003)
Wolf Zimmermann, Axel Dold
A Framework for Modeling the Semantics of Expression Evaluation with Abstract State Machines. Abstract State Machines (2003)
Axel Dold, Vincent Vialard
A Mechanically Verified Compiling Specification for a Lisp Compiler. FSTTCS (2001)
Axel Dold, Vincent Vialard
Formal Verification of a Compiler Back-End Generic Checker Program. Ershov Memorial Conference (1999)
Axel Dold, Thilo Gaul, Vincent Vialard, Wolf Zimmermann
ASM-based Mechanized Verification of Compiler Back-Ends. Workshop on Abstract State Machines (1998)
Axel Dold
Software Development in PVS Using Generic Development Steps. Generic Programming (1998)
Axel Dold, Friedrich W. von Henke, Holger Pfeifer, Harald Rueß
Formal Verification of Transformations for Peephole Optimization. FME (1997)
Axel Dold
Representing, Verifying and Applying Software Development Steps using the PVS System. AMAST (1995)

Axel Dold.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Axel Dold