Axel Dold

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