Axel Zechner

Publication Activity (10 Years)

Years Active: 2009-2013
Publications (10 Years): 0

Top Topics

Formal Verification

Linear Temporal Logic

Bug Localization

Top Venues

Publications

Martin Sulzmann, Jürgen Nicklisch-Franken, Axel Zechner
Traceability and evidence of correctness of EDSL abstractions. PEPM (2013)
Martin Sulzmann, Axel Zechner
Constructive Finite Trace Analysis with Linear Temporal Logic. TAP@TOOLS (2012)
Stefan Milius, Henning Günther, Jan Peleska, Oliver Möller, Helge Löding, Martin Sulzmann, Ramin Hedayati, Axel Zechner
A framework for formal verification of systems of synchronous components. MBEES (2012)
Martin Sulzmann, Axel Zechner
Model Checking DSL-Generated C Source Code. SPIN (2012)
Michaela Huhn, Axel Zechner
Arguing for Software Quality in an IEC 62304 Compliant Development Process. ISoLA (2) (2010)
Michaela Huhn, Axel Zechner
Analysing Dependability Case Arguments Using Quality Models. SAFECOMP (2009)
Axel Zechner, Michaela Huhn
Structural Analysis of Safety Case Arguments in a Model-based Development Environment. MBEES (2009)