Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Michaela Huhn
2010 – today
- 2013
[c43]Michaela Huhn, Stefan Gerken, Carsten Rudolph: ZeMoSS-Workshop: Zertifizierung und modellgetriebene Entwicklung sicherer Software. Software Engineering 2013: 367- [c42]Sebastian Saal, Dennis Klar, Markus Seemann, Michaela Huhn: Zur Risikobestimmung bei Security-Analysen in der Eisenbahnsignaltechnik. Software Engineering (Workshops) 2013: 515-528
- [e7]Holger Giese, Michaela Huhn, Jan Phillips, Bernhard Schätz (Eds.): Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme IX, Schloss Dagstuhl, Germany, April 24-26, 2013, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme. fortiss GmbH, München 2013
- 2012
- [j5]Dennis Klar, Michaela Huhn: Integration domänenspezifischer Modellierung in der Diagnose von Automatisierungssystemen. Softwaretechnik-Trends 32(2) (2012)
- [c41]Michaela Huhn, Sara Bessling: Enhancing Product Line Development by Safety Requirements and Verification. FHIES 2012: 37-54
- [c40]Sara Blessing, Michaela Huhn: Formal Safety Analysis and Verification in the Model Driven Development of a Pacemaker Product Line. MBEES 2012: 133-144
- [c39]Patrick Werner, Stefan Gerken, Michaela Huhn: GSN M -Edit: Ein modellgetriebener Editor für modulare GSN-Argumentationen. Software Engineering (Workshops) 2012: 163-174
- [c38]Michaela Huhn, Stefan Gerken, Carsten Rudolph: Zertifizierung und modellgetriebene Entwicklung sicherer Software (ZeMoSS 2012). Software Engineering 2012: 198-200
- [e6]Holger Giese, Michaela Huhn, Jan Phillips, Bernhard Schätz (Eds.): Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VIII, Schloss Dagstuhl, Germany, 2012, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme. fortiss GmbH, München 2012
- 2011
- [c37]
- [c36]Dennis Klar, Michaela Huhn, Jochen Grühser: Symptom propagation and transformation analysis: A pragmatic model for system-level diagnosis of large automation systems. ETFA 2011: 1-9
- [c35]Ilyas Daskaya, Michaela Huhn, Stefan Milius: Formal Safety Analysis in Industrial Practice. FMICS 2011: 68-84
- [c34]Jana Görmer, Gianina Homoceanu, Christopher Mumme, Michaela Huhn, Jörg P. Müller: JREP: Extending Repast Simphony for JADE Agent Behavior Components. IAT 2011: 149-154
- [c33]Dennis Klar, Michaela Huhn, Jochen Grühser: Diagnosis in Rail Automation: A Case Study on Megamodels in Practice. MBEES 2011: 101-114
- [e5]Holger Giese, Michaela Huhn, Jan Phillips, Bernhard Schätz (Eds.): Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VII, Schloss Dagstuhl, Germany, 2011, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme. fortiss GmbH, München 2011
- 2010
- [c32]Christian Schulze, Michaela Huhn, Martin Schüler: Profiling of Modelica Real-Time Models. EOOLT 2010: 23-31
- [c31]Michaela Huhn, Axel Zechner: Arguing for Software Quality in an IEC 62304 Compliant Development Process. ISoLA (2) 2010: 296-311
- [c30]
- [e4]Holger Giese, Michaela Huhn, Jan Phillips, Bernhard Schätz (Eds.): Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VI, Schloss Dagstuhl, Germany, 2010, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme. fortiss GmbH, München 2010
2000 – 2009
- 2009
- [j4]
- [c29]Dennis Klar, Michaela Huhn: Partial Order Algorithms for Model-based Diagnosis of Discrete Event Systems. MBEES 2009: 103-114
- [c28]Axel Zechner, Michaela Huhn: Structural Analysis of Safety Case Arguments in a Model-based Development Environment. MBEES 2009: 115-127
- [c27]Michaela Huhn, Axel Zechner: Analysing Dependability Case Arguments Using Quality Models. SAFECOMP 2009: 118-131
- [e3]Holger Giese, Michaela Huhn, Ulrich Nickel, Bernhard Schätz (Eds.): Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme V, Schloss Dagstuhl, Germany, 2009, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme. Informatik-Bericht 2009-01, TU Braunschweig, Institut für Software Systems Engineering 2009
- 2008
- [j3]Florian Fieber, Michaela Huhn, Bernhard Rumpe: Modellqualität als Indikator für Softwarequalität: eine Taxonomie. Informatik Spektrum 31(5): 408-424 (2008)
- [c26]Christoph Knieke, Michaela Huhn, Malte Lochau: Modeling and Validation of Executable Requirements Using Live Activity Diagrams. SERA 2008: 51-58
- [c25]Christoph Knieke, Michaela Huhn, Malte Lochau: Executable Requirements Specification: Formal Semantics of Live Activity Diagrams. TASE 2008: 109-112
- [e2]Michaela Huhn, Hardi Hungar, Doron Peled (Eds.): Tools for the Model-based Development of Certifiable, Dependable Systems, 10.06. - 15.06.2007. Dagstuhl Seminar Proceedings 07241, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008
- [e1]Holger Giese, Michaela Huhn, Ulrich Nickel, Bernhard Schätz (Eds.): Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme IV, Schloss Dagstuhl, Germany, 7.-9. April 2008, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme. Informatik-Bericht 2008-2, TU Braunschweig, Institut für Software Systems Engineering 2008
- 2007
- [j2]Bastian Florentz, Michaela Huhn: Architecture Potential Analysis: A Closer Look inside Architecture Evaluation. JSW 2(4): 43-56 (2007)
- [c24]Michaela Huhn, Hardi Hungar: UML for Software Safety and Certification - Model-Based Development of Safety-Critical Software-Intensive Systems. Model-Based Engineering of Embedded Real-Time Systems 2007: 201-237
- [c23]Michaela Huhn, Hardi Hungar, Doron Peled: 07241 Summary - Tools for the Model-based Development of Certifiable, Dependable Systems. Tools for the Model-based Development of Certifiable, Dependable Systems 2007
- [c22]Michaela Huhn, Hardi Hungar, Doron Peled: 07241 Abstracts Collection - Tools for the Model-based Development of Certifiable, Dependable Systems. Tools for the Model-based Development of Certifiable, Dependable Systems 2007
- [c21]Matthias Hagner, Michaela Huhn: Modellierung und Analyse von Zeitanforderungen basierend auf der UML. GI Jahrestagung (2) 2007: 531-535
- 2006
- [c20]
- [c19]Michaela Huhn, Tilo Mücke: Comparing Heuristics for Model Based Testsuite Generation. MBEES 2006: 53-62
- [c18]Bastian Florentz, Michaela Huhn: Embedded Systems Architecture: Evaluation and Analysis. QoSA 2006: 145-162
- 2005
- [c17]Tilo Mücke, Michaela Huhn: Optimising Test Execution Times in Test Suite Generation. GI Jahrestagung (2) 2005: 480-485
- 2004
- [c16]Tilo Mücke, Michaela Huhn: Generation of Optimized Testsuites for UML Statecharts with Time. TestCom 2004: 128-143
- [c15]Karsten Diethers, Michaela Huhn: Vooduu: Verification of Object-Oriented Designs Using UPPAAL. TACAS 2004: 139-143
- 2001
- [c14]Peter Niebert, Michaela Huhn, Sarah Zennou, Denis Lugiez: Local First Search - A New Paradigm for Partial Order Reductions. CONCUR 2001: 396-410
1990 – 1999
- 1999
- [c13]Klaus Schneider, Michaela Huhn, George Logothetis: Validation of Object-Oriented Concurrent Designs by Model Checking. CHARME 1999: 360-364
- [c12]Michaela Huhn, Klaus Schneider, Thomas Kropf, George Logothetis: Verifying Imprecisely Working Arithmetic Circuits. DATE 1999: 65-
- [c11]Thomas Stauner, Klaus Schneider, Michaela Huhn: Translating a Visual Description Technique to a Synchronous Language: From DiChartsto PURR. FBT 1999: 223-232
- [c10]Michaela Huhn, Peter Niebert, Frank Wallner: Model Checking Logics for Communicating Sequential Agents. FoSSaCS 1999: 227-242
- [c9]Thomas Firley, Michaela Huhn, Karsten Diethers, Thomas Gehrke, Ursula Goltz: Timed Sequence Diagrams and Tool-Based Analysis - A Case Study. UML 1999: 645-660
- 1998
- [c8]Thomas Gehrke, Michaela Huhn, Peter Niebert, Arend Rensink, Heike Wehrheim: A Process Algebra Semantics for MSC Including Conditions. FBT 1998: 185-196
- [c7]Thomas Gehrke, Michaela Huhn, Arend Rensink, Heike Wehrheim: An Algebraic Semantics for Message Sequence Chart Documents. FORTE 1998: 3-18
- [c6]Michaela Huhn, Peter Niebert, Heike Wehrheim: Partial Order Reductions for Bisimulation Checking. FSTTCS 1998: 271-282
- [c5]Klaus Schneider, Michaela Huhn: Comparing Model Checking and Term Rewriting for the Verification of an Embedded System. DIPES 1998: 129-138
- [c4]
- 1997
- [b1]Michaela Huhn: On the hierarchical design of distributed systems. Universität Hildesheim 1997, pp. I-XII, 1-277
- [j1]Guntram Wicke, Michaela Huhn, Andreas Pfitzmann, Peter Stahlknecht: Kryptoregulierung. Wirtschaftsinformatik 39(3): 279-282 (1997)
- 1996
- [c3]Michaela Huhn, Peter Niebert: Towards Automata for Branching Time and Partial Order. CONCUR 1996: 611-626
- [c2]Michaela Huhn: Action Refinement and Property Inheritance in Systems of Sequential Agents. CONCUR 1996: 639-654
- [c1]Thomas Gehrke, Michaela Huhn: ProFun - A Language for Executable Specifications. PLILP 1996: 304-318
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:22 CEST by the dblp team