Axel Dold

According to our database, Axel Dold authored at least 13 papers between 1995 and 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2007

Herausforderungen und Erfahrungen eines OEM bei der Gestaltung Sicherheitsgerechter Prozesse.

Axel Dold, Mario Trapp

Proceedings of the 37. Jahrestagung der Gesellschaft für Informatik, 2007

2004

A Learning Support for the Definition of Process Flexibility.

Olga Jaufman, Axel Dold, Michael Stupperich, Kurt Schneider, Nikolaus Kleiner

Proceedings of the 5th International Conference on the Quality of Information and Communications Technology, 2004

Requirements for Flexible Software Development Processes.

Olga Jaufman, Axel Dold, Tobias Häberlein, Claudia Schlumpberger, Michael Stupperich

Proceedings of the 5th International Conference on the Quality of Information and Communications Technology, 2004

2003

A Completely Verified Realistic Bootstrap Compiler.

Axel Dold, Friedrich W. von Henke, Wolfgang Goerigk

Int. J. Found. Comput. Sci., 2003

A Framework for Modeling the Semantics of Expression Evaluation with Abstract State Machines.

Wolf Zimmermann, Axel Dold

Proceedings of the Abstract State Machines, 2003

2001

A Mechanically Verified Compiling Specification for a Lisp Compiler.

Axel Dold, Vincent Vialard

Proceedings of the FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science, 2001

2000

Formal software development using generic development steps.

Axel Dold

PhD thesis, 2000

1999

Formal Verification of a Compiler Back-End Generic Checker Program.

Axel Dold, Vincent Vialard

Proceedings of the Perspectives of System Informatics, 1999

1998

Software Development in PVS Using Generic Development Steps.

Axel Dold

Proceedings of the Generic Programming, 1998

ASM-based Mechanized Verification of Compiler Back-Ends.

Axel Dold, Thilo Gaul, Vincent Vialard, Wolf Zimmermann

Proceedings of the Fifth International Workshop on Abstract State Machines, 1998

1997

Formal Verification of Transformations for Peephole Optimization.

Axel Dold, Friedrich W. von Henke, Holger Pfeifer, Harald Rueß

Proceedings of the FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 1997

1995

Construction and Deduction Methods for the Formal Development of Software.

Friedrich W. von Henke, Axel Dold, Harald Rueß, Detlef Schwier

Proceedings of the KORSO, 1995

Representing, Verifying and Applying Software Development Steps using the PVS System.

Axel Dold

Proceedings of the Algebraic Methodology and Software Technology, 1995