| 2014 | FMICS | An Open Alternative for SMT-Based Verification of Scade Models. | Henning Basold, Henning Gnther, Michaela Huhn, Stefan Milius |
| 2013 | PAAMS | A Norm-Based Probabilistic Decision-Making Model for Autonomic Traffic Networks. | Maksims Fiosins, Jrg P. Mller, Michaela Huhn |
| 2011 | ETFA | Symptom propagation and transformation analysis: A pragmatic model for system-level diagnosis of large automation systems. | Dennis Klar, Michaela Huhn, Jochen Grhser |
| 2011 | FMICS | Formal Safety Analysis in Industrial Practice. | Ilyas Daskaya, Michaela Huhn, Stefan Milius |
| 2010 | ISoLA | Arguing for Software Quality in an IEC 62304 Compliant Development Process. | Michaela Huhn, Axel Zechner |
| 2009 | SAFECOMP | Analysing Dependability Case Arguments Using Quality Models. | Michaela Huhn, Axel Zechner |
| 2008 | SERA | Modeling and Validation of Executable Requirements Using Live Activity Diagrams. | Christoph Knieke, Michaela Huhn, Malte Lochau |
| 2008 | TASE | Executable Requirements Specification: Formal Semantics of Live Activity Diagrams. | Christoph Knieke, Michaela Huhn, Malte Lochau |
| 2007 | GI | Modellierung und Analyse von Zeitanforderungen basierend auf der UML. | Matthias Hagner, Michaela Huhn |
| 2005 | GI | Optimising Test Execution Times in Test Suite Generation. | Tilo Mcke, Michaela Huhn |
| 2004 | TACAS | Vooduu: Verification of Object-Oriented Designs Using UPPAAL. | Karsten Diethers, Michaela Huhn |
| 2001 | CONCUR | Local First Search - A New Paradigm for Partial Order Reductions. | Peter Niebert, Michaela Huhn, Sarah Zennou, Denis Lugiez |
| 1999 | DATE | Verifying Imprecisely Working Arithmetic Circuits. | Michaela Huhn, Klaus Schneider, Thomas Kropf, George Logothetis |
| 1999 | FOSSACS | Model Checking Logics for Communicating Sequential Agents. | Michaela Huhn, Peter Niebert, Frank Wallner |
| 1998 | FORTE | An Algebraic Semantics for Message Sequence Chart Documents. | Thomas Gehrke, Michaela Huhn, Arend Rensink, Heike Wehrheim |
| 1998 | TACAS | Verification Based on Local States. | Michaela Huhn, Peter Niebert, Frank Wallner |
| 1996 | CONCUR | Action Refinement and Property Inheritance in Systems of Sequential Agents. | Michaela Huhn |
| 1996 | CONCUR | Towards Automata for Branching Time and Partial Order. | Michaela Huhn, Peter Niebert |