Axel Zechner

According to our database, Axel Zechner authored at least 7 papers between 2009 and 2013.

Collaborative distances:

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

2013

Traceability and evidence of correctness of EDSL abstractions.

Martin Sulzmann, Jürgen Nicklisch-Franken, Axel Zechner

Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, 2013

2012

Constructive Finite Trace Analysis with Linear Temporal Logic.

Martin Sulzmann, Axel Zechner

Proceedings of the Tests and Proofs - 6th International Conference, 2012

Model Checking DSL-Generated C Source Code.

Martin Sulzmann, Axel Zechner

Proceedings of the Model Checking Software - 19th International Workshop, 2012

A framework for formal verification of systems of synchronous components.

Stefan Milius, Henning Günther, Jan Peleska, Oliver Möller, Helge Löding, Martin Sulzmann, Ramin Hedayati, Axel Zechner

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VIII, 2012

2010

Arguing for Software Quality in an IEC 62304 Compliant Development Process.

Michaela Huhn, Axel Zechner

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

2009

Analysing Dependability Case Arguments Using Quality Models.

Michaela Huhn, Axel Zechner

Proceedings of the Computer Safety, 2009

Structural Analysis of Safety Case Arguments in a Model-based Development Environment.

Axel Zechner, Michaela Huhn

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme V, 2009