Structural Analysis of Safety Case Arguments in a Model-based Development Environment. - Axel Zechner; Michaela Huhn (MBEES, 2009)

Analysing Dependability Case Arguments Using Quality Models. - Michaela Huhn; Axel Zechner (SAFECOMP, 2009)

Arguing for Software Quality in an IEC 62304 Compliant Development Process. - Michaela Huhn; Axel Zechner (ISoLA (2), 2010)

A framework for formal verification of systems of synchronous components. - Stefan Milius; Henning Günther; Jan Peleska 001; Oliver Möller; Helge Löding; Martin Sulzmann; Ramin Hedayati; Axel Zechner (MBEES, 2012)

Model Checking DSL-Generated C Source Code. - Martin Sulzmann; Axel Zechner (SPIN, 2012)

Constructive Finite Trace Analysis with Linear Temporal Logic. - Martin Sulzmann; Axel Zechner (TAP@TOOLS, 2012)

Traceability and evidence of correctness of EDSL abstractions. - Martin Sulzmann; Jürgen Nicklisch-Franken; Axel Zechner (PEPM, 2013)