Axel Zechner

Affiliations:
  • Braunschweig University of Technology, Germany


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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2013
Traceability and evidence of correctness of EDSL abstractions.
Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, 2013

2012
Constructive Finite Trace Analysis with Linear Temporal Logic.
Proceedings of the Tests and Proofs - 6th International Conference, 2012

Model Checking DSL-Generated C Source Code.
Proceedings of the Model Checking Software - 19th International Workshop, 2012

A framework for formal verification of systems of synchronous components.
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VIII, 2012

2010
Arguing for Software Quality in an IEC 62304 Compliant Development Process.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

2009
Analysing Dependability Case Arguments Using Quality Models.
Proceedings of the Computer Safety, 2009

Structural Analysis of Safety Case Arguments in a Model-based Development Environment.
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme V, 2009


  Loading...