Informatics at TU Clausthal > Divisions > Theoretical Foundations of
Computer Science > 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, Softwaretechnik-Trends, Volume 32, Gesellschaft f, 2012 |
|
| Fieber, Florian and Huhn, Michaela and Rumpe, Bernhard: Modellqualit, 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, Bollmann, 1998 |
|
| Huhn, Michaela and Pfitzmann, Andreas: Technische
Randbedingungen jeder Kryptoregulierung, Addison-Wesley, 1997 |
| more |
Conference Papers (67)
| 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, 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: Tagungsband des Dagstuhl-Workshops Modellbasierte Entwicklung
eingebetteter Systeme (MBEES VIII), 2012 |
|
| Giese, Holger and Huhn, Michaela and Phillips, Jan and Sch: Tagungsband des Dagstuhl-Workshops Modellbasierte Entwicklung
eingebetteter Systeme VII), 2011 |
|
| Giese, Holger and Huhn, Michaela and Philipps, Jan and Sch: Tagungsband des Dagstuhl-Workshops Modellbasierte Entwicklung
eingebetteter Systeme (MBEES VI), Informatik-Bericht der TU M, Volume 2010-01, 2010 |
|
| Giese, Holger and Huhn, Michaela and Nickel, Ulrich and Sch: 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 (9)
| 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 |
|
| Gehrke, Thomas and Huhn, Michaela: textitProFun - a
Language for Executable Specifications., 1996 |
| 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 |
© TU Clausthal 2013 · Imprint