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

Tagungsbände (8)

Giese, Holger and Huhn, Michaela and Phillips, Jan and Schätz, Bernhard: Tagungsband des Dagstuhl-Workshops Modellbasierte Entwicklung eingebetteter Systeme (MBEES VIII), 2012

Giese, Holger and Huhn, Michaela and Phillips, Jan and Schätz, Bernhard: Tagungsband des Dagstuhl-Workshops Modellbasierte Entwicklung eingebetteter Systeme VII), 2011

Giese, Holger and Huhn, Michaela and Philipps, Jan and Schätz, Bernhard: Tagungsband des Dagstuhl-Workshops Modellbasierte Entwicklung eingebetteter Systeme (MBEES VI), Informatik-Bericht der TU München, Volume 2010-01, 2010

Giese, Holger and Huhn, Michaela and Nickel, Ulrich and Schätz, Bernhard: Tagungsband des Dagstuhl-Workshops Modellbasierte Entwicklung eingebetteter Systeme (MBEES V), Informatik-Bericht der TU Braunschweig, Volume 2009-01, 2009

Huhn, Michaela and Hungar, Hardi: Proceedings of the 2nd International Workshop on the Certification of Safety-Critical Software Controlled Systems (SafeCert), ENTCS, 2009

Giese, Holger and Huhn, Michaela and Nickel, Ulrich and Schätz, Bernhard: Tagungsband des Dagstuhl-Workshops Modellbasierte Entwicklung eingebetteter Systeme (MBEES V), Informatik-Bericht der TU Braunschweig, Volume 2008-02, 2008

Huhn, Michaela and Hungar, Hardi: Proceedings of the 1st International Workshop on the Certification of Safety-Critical Software Controlled Systems (SafeCert), ENTCS, Volume 238, 2008

Huhn, Michaela and Hungar, Hardi and Peled, Doron A.: 07241 Abstracts Collection - Tools for the Model-based Development of Certifiable, Dependable Systems, Dagstuhl Seminar Proceedings, Volume 07241, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, Dagstuhl, Germany, 2008

Ergebnisse als BibTeX-Code
 

Kontakt  Suche  Sitemap  Datenschutz  Impressum
© TU Clausthal 2017