Michaela Huhn

Publication Activity (10 Years)

Years Active: 1996-2015
Publications (10 Years): 0

Top Venues

Software Engineering

FHIES

Software Engineering (Workshops)

DEST

Universität Hildesheim (PHD)

Education History

Universität Hildesheim

PHD

Publications

Christoph Knieke, Michaela Huhn
Semantic Foundation and Validation of Live Activity Diagrams. Nord. J. Comput. 15 (2) (2015)
Henning Basold, Henning Günther, Michaela Huhn, Stefan Milius
An Open Alternative for SMT-Based Verification of Scade Models. FMICS (2014)
Michaela Huhn, Stefan Gerken, Carsten Rudolph
CeMoSS - Certification and Model-Driven Development of Safe and Secure Software. Software Engineering (2014)
Michaela Huhn, Stefan Milius
Observations on formal safety analysis in practice. Sci. Comput. Program. 80 (2014)
Michaela Huhn, Stefan Gerken, Carsten Rudolph
ZeMoSS-Workshop: Zertifizierung und modellgetriebene Entwicklung sicherer Software. Software Engineering (2013)
Sebastian Saal, Dennis Klar, Markus Seemann, Michaela Huhn
Zur Risikobestimmung bei Security-Analysen in der Eisenbahnsignaltechnik. Software Engineering (Workshops) (2013)
Darren D. Cofer, John Hatcliff, Michaela Huhn, Mark Lawford
Software Certification: Methods and Tools (Dagstuhl Seminar 13051). Dagstuhl Reports 3 (1) (2013)
Maksims Fiosins, Jörg P. Müller, Michaela Huhn
A Norm-Based Probabilistic Decision-Making Model for Autonomic Traffic Networks. PAAMS (Workshops) (2013)
Sara Bessling, Michaela Huhn
Towards Formal Safety Analysis in Feature-Oriented Product Line Development. FHIES (2013)
Dennis Klar, Michaela Huhn
Interfaces and models for the diagnosis of cyber-physical ecosystems. DEST (2012)
Patrick Werner, Stefan Gerken, Michaela Huhn
GSN M -Edit: Ein modellgetriebener Editor für modulare GSN-Argumentationen. Software Engineering (Workshops) (2012)
Sara Blessing, Michaela Huhn
Formal Safety Analysis and Verification in the Model Driven Development of a Pacemaker Product Line. MBEES (2012)
Michaela Huhn, Sara Bessling
Enhancing Product Line Development by Safety Requirements and Verification. FHIES (2012)
Michaela Huhn, Stefan Gerken, Carsten Rudolph
Zertifizierung und modellgetriebene Entwicklung sicherer Software (ZeMoSS 2012). Software Engineering (2012)
Dennis Klar, Michaela Huhn
Integration domänenspezifischer Modellierung in der Diagnose von Automatisierungssystemen. Softwaretechnik-Trends 32 (2) (2012)
Ilyas Daskaya, Michaela Huhn, Stefan Milius
Formal Safety Analysis in Industrial Practice. FMICS (2011)
Dennis Klar, Michaela Huhn, Jochen Grühser
Diagnosis in Rail Automation: A Case Study on Megamodels in Practice. MBEES (2011)
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)
Wuzhu Chen, Michaela Huhn, Peter Fritzson
A Generic FMU Interface for Modelica. EOOLT (2011)
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)
Michaela Huhn, Axel Zechner
Arguing for Software Quality in an IEC 62304 Compliant Development Process. ISoLA (2) (2010)
Michaela Huhn, Dirk Scharff
Some Observations on SCADE Model Clones. MBEES (2010)
Christian Schulze, Michaela Huhn, Martin Schüler
Profiling of Modelica Real-Time Models. EOOLT (2010)
Michaela Huhn, Hardi Hungar
Preface. Electron. Notes Theor. Comput. Sci. 238 (4) (2009)
Michaela Huhn, Axel Zechner
Analysing Dependability Case Arguments Using Quality Models. SAFECOMP (2009)
Dennis Klar, Michaela Huhn
Partial Order Algorithms for Model-based Diagnosis of Discrete Event Systems. MBEES (2009)
Axel Zechner, Michaela Huhn
Structural Analysis of Safety Case Arguments in a Model-based Development Environment. MBEES (2009)
Christoph Knieke, Michaela Huhn, Malte Lochau
Modeling and Validation of Executable Requirements Using Live Activity Diagrams. SERA (2008)
Christoph Knieke, Michaela Huhn, Malte Lochau
Executable Requirements Specification: Formal Semantics of Live Activity Diagrams. TASE (2008)
Florian Fieber, Michaela Huhn, Bernhard Rumpe
Modellqualität als Indikator für Softwarequalität: eine Taxonomie. Inform. Spektrum 31 (5) (2008)
Matthias Hagner, Michaela Huhn
Modellierung und Analyse von Zeitanforderungen basierend auf der UML. GI Jahrestagung (2) (2007)
Bastian Florentz, Michaela Huhn
Architecture Potential Analysis: A Closer Look inside Architecture Evaluation. J. Softw. 2 (4) (2007)
Michaela Huhn, Hardi Hungar, Doron A. Peled
07241 Summary - Tools for the Model-based Development of Certifiable, Dependable Systems. Tools for the Model-based Development of Certifiable, Dependable Systems (2007)
Michaela Huhn, Hardi Hungar, Doron A. 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)
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)
Tilo Mücke, Michaela Huhn
Minimizing Test Execution Time During Test Generation. SET (2006)
Michaela Huhn, Tilo Mücke
Comparing Heuristics for Model Based Testsuite Generation. MBEES (2006)
Bastian Florentz, Michaela Huhn
Embedded Systems Architecture: Evaluation and Analysis. QoSA (2006)
Tilo Mücke, Michaela Huhn
Optimising Test Execution Times in Test Suite Generation. GI Jahrestagung (2) (2005)
Tilo Mücke, Michaela Huhn
Generation of Optimized Testsuites for UML Statecharts with Time. TestCom (2004)
Karsten Diethers, Michaela Huhn
Vooduu: Verification of Object-Oriented Designs Using UPPAAL. TACAS (2004)
Peter Niebert, Michaela Huhn, Sarah Zennou, Denis Lugiez
Local First Search - A New Paradigm for Partial Order Reductions. CONCUR (2001)
Michaela Huhn, Klaus Schneider, Thomas Kropf, George Logothetis
Verifying Imprecisely Working Arithmetic Circuits. DATE (1999)
Michaela Huhn, Peter Niebert, Frank Wallner
Model Checking Logics for Communicating Sequential Agents. FoSSaCS (1999)
Detlef Schmid, Klaus Schneider, Michaela Huhn, George Logothetis, Viktor K. Sabelfeld
Formale Verifikation eingebetteter Systeme. Informationstechnik Tech. Inform. 41 (2) (1999)
Thomas Stauner, Klaus Schneider, Michaela Huhn
Translating a Visual Description Technique to a Synchronous Language: From DiChartsto PURR. FBT (1999)
Klaus Schneider, Michaela Huhn, George Logothetis
Validation of Object-Oriented Concurrent Designs by Model Checking. CHARME (1999)
Thomas Firley, Michaela Huhn, Karsten Diethers, Thomas Gehrke, Ursula Goltz
Timed Sequence Diagrams and Tool-Based Analysis - A Case Study. UML (1999)
Thomas Gehrke, Michaela Huhn, Arend Rensink, Heike Wehrheim
An Algebraic Semantics for Message Sequence Chart Documents. FORTE (1998)
Michaela Huhn, Peter Niebert, Frank Wallner
Verification Based on Local States. TACAS (1998)
Klaus Schneider, Michaela Huhn
Comparing Model Checking and Term Rewriting for the Verification of an Embedded System. DIPES (1998)
Thomas Gehrke, Michaela Huhn, Peter Niebert, Arend Rensink, Heike Wehrheim
A Process Algebra Semantics for MSC Including Conditions. FBT (1998)
Michaela Huhn, Peter Niebert, Heike Wehrheim
Partial Order Reductions for Bisimulation Checking. FSTTCS (1998)
Guntram Wicke, Michaela Huhn, Andreas Pfitzmann, Peter Stahlknecht
Kryptoregulierung. Wirtschaftsinf. 39 (3) (1997)
Thomas Gehrke, Michaela Huhn
ProFun - A Language for Executable Specifications. PLILP (1996)
Michaela Huhn
Action Refinement and Property Inheritance in Systems of Sequential Agents. CONCUR (1996)
Michaela Huhn, Peter Niebert
Towards Automata for Branching Time and Partial Order. CONCUR (1996)

Michaela Huhn.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Michaela Huhn