Action Refinement and Property Inheritance in Systems of Sequential Agents. - Michaela Huhn (CONCUR, 1996)

Towards Automata for Branching Time and Partial Order. - Michaela Huhn; Peter Niebert (CONCUR, 1996)

ProFun - A Language for Executable Specifications. - Thomas Gehrke; Michaela Huhn (PLILP, 1996)

On the hierarchical design of distributed systems. - Michaela Huhn (1997)

Kryptoregulierung. - Guntram Wicke; Michaela Huhn; Andreas Pfitzmann; Peter Stahlknecht (Wirtschaftsinf., 1997)

A Process Algebra Semantics for MSC Including Conditions. - Thomas Gehrke; Michaela Huhn; Peter Niebert; Arend Rensink; Heike Wehrheim (FBT, 1998)

An Algebraic Semantics for Message Sequence Chart Documents. - Thomas Gehrke; Michaela Huhn; Arend Rensink; Heike Wehrheim (FORTE, 1998)

Partial Order Reductions for Bisimulation Checking. - Michaela Huhn; Peter Niebert; Heike Wehrheim (FSTTCS, 1998)

Comparing Model Checking and Term Rewriting for the Verification of an Embedded System. - Klaus Schneider 001; Michaela Huhn (DIPES, 1998)

Verification Based on Local States. - Michaela Huhn; Peter Niebert; Frank Wallner (TACAS, 1998)

Validation of Object-Oriented Concurrent Designs by Model Checking. - Klaus Schneider 001; Michaela Huhn; George Logothetis (CHARME, 1999)

Verifying Imprecisely Working Arithmetic Circuits. - Michaela Huhn; Klaus Schneider 001; Thomas Kropf; George Logothetis (DATE, 1999)

Translating a Visual Description Technique to a Synchronous Language: From DiChartsto PURR. - Thomas Stauner; Klaus Schneider 001; Michaela Huhn (FBT, 1999)

Model Checking Logics for Communicating Sequential Agents. - Michaela Huhn; Peter Niebert; Frank Wallner (FoSSaCS, 1999)

Timed Sequence Diagrams and Tool-Based Analysis - A Case Study. - Thomas Firley; Michaela Huhn; Karsten Diethers; Thomas Gehrke; Ursula Goltz (UML, 1999)

Formale Verifikation eingebetteter Systeme. - Detlef Schmid; Klaus Schneider 001; Michaela Huhn; George Logothetis; Viktor K. Sabelfeld (Informationstechnik Tech. Inform., 1999)

Local First Search - A New Paradigm for Partial Order Reductions. - Peter Niebert; Michaela Huhn; Sarah Zennou; Denis Lugiez (CONCUR, 2001)

Generation of Optimized Testsuites for UML Statecharts with Time. - Tilo Mücke; Michaela Huhn (TestCom, 2004)

Vooduu: Verification of Object-Oriented Designs Using UPPAAL. - Karsten Diethers; Michaela Huhn (TACAS, 2004)

Optimising Test Execution Times in Test Suite Generation. - Tilo Mücke; Michaela Huhn (GI Jahrestagung (2), 2005)

Minimizing Test Execution Time During Test Generation. - Tilo Mücke; Michaela Huhn (SET, 2006)

Comparing Heuristics for Model Based Testsuite Generation. - Michaela Huhn; Tilo Mücke (MBEES, 2006)

Embedded Systems Architecture: Evaluation and Analysis. - Bastian Florentz; Michaela Huhn (QoSA, 2006)

UML for Software Safety and Certification - Model-Based Development of Safety-Critical Software-Intensive Systems. - Michaela Huhn; Hardi Hungar (Model-Based Engineering of Embedded Real-Time Systems, 2007)

07241 Summary - Tools for the Model-based Development of Certifiable, Dependable Systems. - Michaela Huhn; Hardi Hungar; Doron A. Peled (Tools for the Model-based Development of Certifiable, Dependable Systems, 2007)

07241 Abstracts Collection - Tools for the Model-based Development of Certifiable, Dependable Systems. - Michaela Huhn; Hardi Hungar; Doron A. Peled (Tools for the Model-based Development of Certifiable, Dependable Systems, 2007)

Modellierung und Analyse von Zeitanforderungen basierend auf der UML. - Matthias Hagner; Michaela Huhn (GI Jahrestagung (2), 2007)

Architecture Potential Analysis: A Closer Look inside Architecture Evaluation. - Bastian Florentz; Michaela Huhn (J. Softw., 2007)

Modeling and Validation of Executable Requirements Using Live Activity Diagrams. - Christoph Knieke; Michaela Huhn; Malte Lochau (SERA, 2008)

Executable Requirements Specification: Formal Semantics of Live Activity Diagrams. - Christoph Knieke; Michaela Huhn; Malte Lochau (TASE, 2008)

Preface. - Michaela Huhn; Hardi Hungar (SafeCert@ETAPS, 2008)

Modellqualität als Indikator für Softwarequalität: eine Taxonomie. - Florian Fieber; Michaela Huhn; Bernhard Rumpe (Inform. Spektrum, 2008)

Partial Order Algorithms for Model-based Diagnosis of Discrete Event Systems. - Dennis Klar; Michaela Huhn (MBEES, 2009)

Structural Analysis of Safety Case Arguments in a Model-based Development Environment. - Axel Zechner; Michaela Huhn (MBEES, 2009)

Analysing Dependability Case Arguments Using Quality Models. - Michaela Huhn; Axel Zechner (SAFECOMP, 2009)

Profiling of Modelica Real-Time Models. - Christian Schulze; Michaela Huhn; Martin Schüler (EOOLT, 2010)

Arguing for Software Quality in an IEC 62304 Compliant Development Process. - Michaela Huhn; Axel Zechner (ISoLA (2), 2010)

Some Observations on SCADE Model Clones. - Michaela Huhn; Dirk Scharff (MBEES, 2010)

A Generic FMU Interface for Modelica. - Wuzhu Chen; Michaela Huhn; Peter Fritzson (EOOLT, 2011)

Symptom propagation and transformation analysis: A pragmatic model for system-level diagnosis of large automation systems. - Dennis Klar; Michaela Huhn; Jochen Grühser (ETFA, 2011)

Formal Safety Analysis in Industrial Practice. - Ilyas Daskaya; Michaela Huhn; Stefan Milius (FMICS, 2011)

JREP: Extending Repast Simphony for JADE Agent Behavior Components. - Jana Görmer; Gianina Homoceanu; Christopher Mumme; Michaela Huhn; Jörg P. Müller (IAT, 2011)

Diagnosis in Rail Automation: A Case Study on Megamodels in Practice. - Dennis Klar; Michaela Huhn; Jochen Grühser (MBEES, 2011)

Interfaces and models for the diagnosis of cyber-physical ecosystems. - Dennis Klar; Michaela Huhn (DEST, 2012)

Enhancing Product Line Development by Safety Requirements and Verification. - Michaela Huhn; Sara Bessling (FHIES, 2012)

Formal Safety Analysis and Verification in the Model Driven Development of a Pacemaker Product Line. - Sara Blessing; Michaela Huhn (MBEES, 2012)

Zertifizierung und modellgetriebene Entwicklung sicherer Software (ZeMoSS 2012). - Michaela Huhn; Stefan Gerken; Carsten Rudolph (Software Engineering, 2012)

GSN M -Edit: Ein modellgetriebener Editor für modulare GSN-Argumentationen. - Patrick Werner; Stefan Gerken; Michaela Huhn (Software Engineering (Workshops), 2012)

Integration domänenspezifischer Modellierung in der Diagnose von Automatisierungssystemen. - Dennis Klar; Michaela Huhn (Softwaretechnik-Trends, 2012)

Towards Formal Safety Analysis in Feature-Oriented Product Line Development. - Sara Bessling; Michaela Huhn (FHIES, 2013)

A Norm-Based Probabilistic Decision-Making Model for Autonomic Traffic Networks. - Maksims Fiosins; Jörg P. Müller; Michaela Huhn (PAAMS (Workshops), 2013)

ZeMoSS-Workshop: Zertifizierung und modellgetriebene Entwicklung sicherer Software. - Michaela Huhn; Stefan Gerken; Carsten Rudolph (Software Engineering, 2013)

Zur Risikobestimmung bei Security-Analysen in der Eisenbahnsignaltechnik. - Sebastian Saal; Dennis Klar; Markus Seemann; Michaela Huhn (Software Engineering (Workshops), 2013)

Software Certification: Methods and Tools (Dagstuhl Seminar 13051). - Darren D. Cofer; John Hatcliff; Michaela Huhn; Mark Lawford (Dagstuhl Reports, 2013)

An Open Alternative for SMT-Based Verification of Scade Models. - Henning Basold; Henning Günther; Michaela Huhn; Stefan Milius (FMICS, 2014)

CeMoSS - Certification and Model-Driven Development of Safe and Secure Software. - Michaela Huhn; Stefan Gerken; Carsten Rudolph (Software Engineering, 2014)

Observations on formal safety analysis in practice. - Michaela Huhn; Stefan Milius (Sci. Comput. Program., 2014)

Semantic Foundation and Validation of Live Activity Diagrams. - Christoph Knieke; Michaela Huhn (Nord. J. Comput., 2015)