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

Beiträge in Fachzeitschriften (9)

Huhn, Michaela and Milius, Stefan: Observations on Formal Safety Analysis in Practice, Science of Computer Programming, Elsevier, 2013

Klar, Dennis and Huhn, Michaela: Integration domänenspezifischer Modellierung in der Diagnose von Automatisierungssystemen, Softwaretechnik-Trends, Volume 32, Gesellschaft für Informatik, 2012

Fieber, Florian and Huhn, Michaela and Rumpe, Bernhard: Modellqualität als Indikator für Softwarequalität: eine Taxonomie, Informatik-Spektrum, Volume 31, 2008

Florentz, Bastian and Huhn, Michaela: Architecture Potential Analysis: A Closer Look inside Architecture Evaluation, Journal of Software (JSW), Volume 2, 2007

Schmid, Detlef and Schneider, Klaus and Huhn, Michaela and Logothetis, George and Sabelfeld, Viktor: Formale Verifikation eingebetteter Systeme., it $+$ ti - Informationstechnik und Technische Informatik, Volume 99, 1999

Wicke, Guntram and Huhn, Michaela and Pfitzmann, Andreas and Stahlknecht, Peter: Kryptoregulierung, Wirtschaftsinformatik, Volume 39, 1997

Huhn, Michaela and Pfitzmann, Andreas: Technische Randbedingungen jeder Kryptoregulierung, Datenschutz und Datensicherheit, Volume 20, 1996

Huhn, Michaela and Pfitzmann, Andreas: Kryptographie - Plädoyer gegen verbindliche staatliche Regulierung, Datenschutz-Berater, Volume 96, 1996

Huhn, Michaela and Pfitzmann, Andreas: Krypto(de)regulierung, textitDANA - Datenschutznachrichten, Volume 19, 1996

Ergebnisse als BibTeX-Code
 

Kontakt  Suche  Sitemap  Datenschutz  Impressum
© TU Clausthal 2017