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

Konferenzbeiträge (78)

Huhn, Michaela and Bessling, Sara: Enhancing Product Line Development by Safety Requirements and Verification, LNCS, Springer, 2013

Bessling, Sara and Huhn, Michaela: Formal Safety Analysis and Verification in the Model Driven Development of a Pacemaker Product Line, 2012

Klar, Dennis and Huhn, Michaela: Interfaces and Models for the Diagnosis of Cyber-Physical Ecosystems, IEEE, 2012

Klar, Dennis and Huhn, Michaela: Integration domänenspezifischer Modellierung in der Diagnose von Automatisierungssystemen, 2012

Klar, Dennis and Huhn, Michaela: Diagnosis and Diagnosability Based on a Symptom Propagation and Transformation Model, IEEE, 2012

Scharff, Dirk and Kaiser, Christian and Tegethoff, Wilhelm and Huhn, Michaela: Ein einfaches Verfahren zur Bilanzkorrektur in Kosimulationsumgebungen, 2012

Werner, Patrick and Gerken, Stefan and Huhn, Michaela: GSN_M-Edit: Ein modellgetriebener Editor für modulare GSN-Argumentationen, 2012

Chen, Wuzhu and Huhn, Michaela and Fritzson, Peter: A Generic FMU Interface for Modelica, 2011

Daskaya, Ilays and Huhn, Michaela and Milius, Stefan: Formal Safety Analysis in Industrial Practice, LNCS, Volume 6959, 2011

Görmer, J. and Homoceanu, G. and Mumme, C. and Huhn, M. and Müller, J. P.: JREP: Extending Repast Simphony for JADE Agent Behavior Components, 2011

Ergebnisse 1 bis 10 von 78

<<

<

1

2

3

4

5

6

7

8

>

>>

Ergebnisse als BibTeX-Code
 

Kontakt  Suche  Sitemap  Datenschutz  Impressum
© TU Clausthal 2017