main page

staff

teaching

theses

research

publications

books

press

jobs

download


TU-BS

FB Informatik
TU Braunschweig
Bild

Dr. Michaela Huhn

Software Systems Engineering
Technische Universität Braunschweig
Braunschweig University of Technology

Informatikzentrum
Mühlenpfordtstr. 23
38106 Braunschweig

tel. +49 (531) 391-3279
fax +49 (531) 391-2277
m.huhnatsse-tubs.de

room 415


Research Areas

  • model engineering
  • architecture
  • semantics
  • quality assurance methods
  • formal methods
  • model based testing
  • safety cases and certification

Teaching

  • Modul Verifikation reaktiver Systeme - SS09
  • Teamprojekt Stellwerkslogik - WS08/09

Publications

[FHR08] F. Fieber, M. Huhn, B. Rumpe

Modellqualität als Indikator für Softwarequalität: eine Taxonomie

Informatik-Spektrum. Springer Verlag. Band 31, Heft 5, Oktober 2008. Details

[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

[HH08] M. Hagner and M. Huhn

Tool Support for a Scheduling Analysis View

MARTE workshop at DATE'08, 2008 Details

[HH08a] M. Huhn and H. Hungar

Proceedings of the 1st International Workshop on the Certification of Safety-Critical Software Controlled Systems (SafeCert)

ENTCS, 2008 Details

[KHL08a] C. Knieke, M. Huhn, and M. Lochau

Modeling and Validation of Executable Requirements Using Live Activity Diagrams.

6th International Conference on Software Engineering, Research, Management and Applications (SERA 2008), 2008 Details

[MSA+08] J. Maass, J. Steiner, A. Amado, J. Hesselbach, M. Huhn, and A. Raatz

Self-Management In A Control Architecture For Parallel Kinematic Robots

Proceedings of the ASME 2008 International Design Engineering Technical Conferences \& Computers and Information in Engineering Conference IDETC/CIE 2008, 2008 Details

[GHNS08] H. Giese, M. Huhn, U. Nickel, and B. Schätz

Tagungsband des Dagstuhl-Workshops Modellbasierte Entwicklung eingebetteter

Informatik-Bericht der TU Braunschweig 2008-02, IV, 2008 Details

[HHD08] M. Huhn, H. Hungar, and D. Peled

07241 Abstracts Collection -- Tools for the Model-based Development of Certifiable, Dependable Systems

Tools for the Model-based Development of Certifiable, Dependable Systems, Dagstuhl Seminar Proceedings, 07241, 2008 Details

[KHL08b] C. Knieke, M. Huhn, and M. Lochau

Executable Requirements Specification: Formal Semantics of Live Activity Diagrams

2nd IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE 2008), 2008 Details

[SAG+08] J. Steiner, A. Amado, U. Goltz, M. Hagner, and M. Huhn

Engineering Self-Management into a Robot Control System

Proceedings of 3nd International Colloquium of the Collaborative Research Center 562, 2008 Details

[HH07] M. Hagner and M. Huhn

Modellierung und Analyse von Zeitanforderungen basierend auf der UML

Workshop , LNI, 110, 2007, 531-535 Details

[HPSD07] M. Huhn, M. Plail, J. Steiner, and Y. Dadji

Modellbasierter Test und Simulation einer Robotersteuerung.

2. Workshop der Special Interest Group - Model-Driven Software Engineering (SIG-MDSE 07), 2007 Details

[FH07] B. Florentz and M. Huhn

Architecture Potential Analysis: A Closer Look inside Architecture Evaluation

Journal of Software (JSW), 2, 4, 2007, 43-56 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