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

mehr

Beiträge in Büchern (5)

Huhn, Michaela and Hungar, Hardi: UML for Software Safety and Certification. Model-Based Development of Safety-Critical Software-Intensive Systems, LNCS, Volume 6100, Springer, 2010

Fischer, K. and Müller, J. P. and Pischel, M.: A Pragmatic BDI Architecture, Inc., Morgan Kaufmann Publishers, 1998

Huhn, Michaela: On the Hierarchical Design of Distributed Systems., Teubner, 1998

Huhn, Michaela and Pfitzmann, Andreas: Verschlüsselungstechniken für das Netz - Wie schützt man Vertraulichkeit und Integrität., Bollmann, 1998

Huhn, Michaela and Pfitzmann, Andreas: Technische Randbedingungen jeder Kryptoregulierung, Addison-Wesley, 1997

mehr

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

mehr

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

mehr

Technische Berichte (11)

Huhn, M. and Duraslan, A and Ganceanu, G. and Görmer, J. and Hähner, J. and Müller, J. P. and Müller-Schloer, C. and Mumme, C. and Schulz, C.: Autonomous agents in organized localities: metamodel and architecture, 2010

Mücke, Tilo and Huhn, Michaela: Minimizing Test Execution Time During Test Generation., 2005

Mutz, Martin and Huhn, Michaela: Automated Statechart Analysis for User-defined Design Rules., 2003

Gehrke, Thomas and Huhn, Michaela and Rensink, Arend and Wehrheim, Heike: An Algebraic Semantics for Message Sequence Chart Documents., 1998

Huhn, Michaela and Niebert, Peter and Wallner, Frank: Model Checking Gossip Modalities., 1998

mehr

Ergebnisse als BibTeX-Code
 

Kontakt  Suche  Sitemap  Datenschutz  Impressum
© TU Clausthal 2016