e GI: Publications


Publications

Articles (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

more

Book Chapters (4)

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

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

more

Conference Papers (74)

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

more

Conference Proceedings (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

more

Technical Reports (10)

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

Huhn, Michaela and Niebert, Peter and Wehrheim, Heike: Partial order Reductions for Bisimulation Checking., 1998

more

Organizer (11)

Huhn, Michaela: Software Certification: Methods and Tools, Dagstuhl, D, January 2013, Co-Chair

Huhn, Michaela: 2. Workshop zur Zertifizierung und modellgetriebene Entwicklung sicherer Software (ZeMoSS), Aachen, D, February 2013, Co-Chair

Huhn, Michaela: 1. Workshop zur Zertifizierung und modellgetriebene Entwicklung sicherer Software (ZeMoSS), Berlin, D, February 2012, Co-Chair

Huhn, Michaela: Model-Based Development of Embedded Systems-Workshop (MBEES 2012), Dagstuhl, D, February 2012, Co-Chair

Huhn, Michaela: Model-Based Development of Embedded Systems - Workshop (MBEES 2011), Dagstuhl, D, February 2011, Co-Chair

more

PC-Member (31)

Huhn, Michaela: 3nd International Symposium on Foundations of Health Information Engineering and Systems (FHIES), Macao, SAR China, August 2013

Huhn, Michaela: 5th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools (EOOLT), Nottigham, GB, 2013

Huhn, Michaela: 9th International Conference on ICT in Education, Research, and Industrial Applications (ICTERI), Kerson, Ucrain, June 2013

Huhn, Michaela: 7th Workshop on System Analysis and Modelling (SAM), Innsbruck, Austria, 2012

Huhn, Michaela: 6th International Conference on Digital Ecosystem Technologies - Complex Environment Engineering (DEST), Campione d'Italia, Italy, 2012

more

Show results as BibTeX-Code
 

Contact  Search  Sitemap  Data Privacy  Imprint
© TU Clausthal 2018