e Institut für Informatik: Dr. Michaela Huhn

Informatik an der TU Clausthal > Personen > Aktuelle > Dr. Michaela Huhn

Dr. Michaela Huhn

Institut für Informatik
Technische Universität Clausthal

Julius-Albert-Str. 4, Raum 203
38678 Clausthal-Zellerfeld

Telefon: +49-5323-72-7157
Telefax: +49-5323-72-7199
Sekretariat: +49-5323-72-7114

E-Mail: huhn  at  in.tu-clausthal.de

Leiterin der Arbeitsgruppe "Grundlagen der Informatik"

Sprechstunde:

nach Vereinbarung (in der vorlesungsfreien Zeit)

Di 11-12 Uhr (im Semester)

Forschungsgebiete

  • Mathematisch fundierte Methoden für den Entwurf und die Analyse von Software-intensiven Systemen
  • Dependability, insb. Funktionale Sicherheit
  • Zertifizierung für sicherheitskritische Software: Normen und Sicherheitsnachweise
  • Model-Checking Algorithmen zur Validierung und Verifikation, Testen und Diagnose
  • Modellierung: Sprachen und formale Semantik
  • Modellbasiertes Design und Analyse von Cyberphysical Systems
  • Modellierung und Simulation von physikalischen Systemen: Modelica
  • Anwendungen im Bahn und Automotive Bereich, Robotik und medizintechnische Geräte, Energie,…

Ausgewählte aktuelle Arbeiten

STPA in the Product Line Development of Medical Cyberphysical Systems, Talk at the STAMP Workshop Europe, May 2013, Braunschweig

Veröffentlichungen (Ausschnitt)

(siehe auch DBLP) Erdös-Zahl 4:  z.B. Erdös-Shelah-Pnueli-Niebert-Huhn

Autor:Huhn, Michaela and Hungar, Hardi
Bearbeiter:Holger Giese and Gabor Karsai and Edward Lee and Bernhard Rumpe and Bernhard Schätz
Titel:UML for Software Safety and Certification. Model-Based Development of Safety-Critical Software-Intensive Systems
Buchtitel:Model-based Engineering of Real-time Embedded Systems
Ausgabe:6100
Jahr:2010
Seiten:203-240
Serie:LNCS
Herausgeber:Springer
BibTeX-Code:
@incollection{HH10,
author={Huhn, Michaela and Hungar, Hardi},
editor={Holger Giese and Gabor Karsai and Edward Lee and Bernhard Rumpe and Bernhard Schätz},
title={UML for Software Safety and Certification. Model-Based Development of Safety-Critical Software-Intensive Systems},
booktitle={Model-based Engineering of Real-time Embedded Systems},
volume={6100},
year={2010},
pages={203-240},
series={LNCS},
publisher={Springer},
}


zurück zur Übersicht
 

Kontakt  Suche  Sitemap  Datenschutz  Impressum
© TU Clausthal 2017