© Axel Zechner

Diplom-Informatiker Axel Zechner Software Systems Engineering Technische Universität Braunschweig Braunschweig University of Technology Informatikzentrum Mühlenpfordtstr. 23 38106 Braunschweig tel. +49 (531) 391-3280 fax +49 (531) 391-2277 a.zechner@tu-braunschweig.de Raum 412

Veröffentlichungen

[HZ09a] A. Zechner and M. Huhn

Analysing dependability case arguments using quality models.

In 28th Internnational Conference on Computer Safety, Reliability and Security (SAFECOMP), 2009. to appear.

[ZH09] A. Zechner, and M. Huhn

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

Tagungsband Modellbasierte Enwicklung eingebetteter Systeme V (MBEES 09), 2009

[HHZ08] M. Hagner, M. Huhn, and A. Zechner

Timing Analysis Using The MARTE Profile In The Design Of Rail Automation Systems.

4th European Congress on Embedded Realtime Software (ERTS 08), 2008 Details

[HFZG07] M. Huhn, B. Florentz, A. Zechner, and S. Gerken

Using Architecture Exploration in the Development of an Automated Train Operation Platform.

Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT 07), 2007, 326-340 Details

[HHZ07] M. Hagner, M. Huhn, and A. Zechner

Ansätze zur effizienten Analyse von Qualitätsattributen im modellbasierten Entwurf in der Bahn-Domäne.

Workshop "`Erhebung, Spezifikation und Analyse nichtfunktionaler Anforderungen in der Systementwicklung"' der Software Engineering Konferenz, 2007 Details

Interessen

Architekturentwurf und -bewertung
Qualitätssicherung bei Software
Dependable Systems und Zertifizierung
Softwareengineering

---

aktualisiert 01.09.2009 Druckversion

X

zuletzt geändert von azechner
erstmals angelegt 2009-09-01

---

Verantwortlich: Axel Zechner
Feedback an a.zechner@tu-braunschweig.de