Michaela Huhn

According to our database1, Michaela Huhn authored at least 58 papers between 1996 and 2015.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2015
Semantic Foundation and Validation of Live Activity Diagrams.
Nord. J. Comput., 2015

2014
Observations on formal safety analysis in practice.
Sci. Comput. Program., 2014

CeMoSS - Certification and Model-Driven Development of Safe and Secure Software.
Proceedings of the Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar, 2014

An Open Alternative for SMT-Based Verification of Scade Models.
Proceedings of the Formal Methods for Industrial Critical Systems, 2014

2013
Software Certification: Methods and Tools (Dagstuhl Seminar 13051).
Dagstuhl Reports, 2013

Zur Risikobestimmung bei Security-Analysen in der Eisenbahnsignaltechnik.
Proceedings of the Software Engineering 2013 - Workshopband (inkl. Doktorandensymposium), Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar, 2013

ZeMoSS-Workshop: Zertifizierung und modellgetriebene Entwicklung sicherer Software.
Proceedings of the Software Engineering 2013: Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar, 2013

A Norm-Based Probabilistic Decision-Making Model for Autonomic Traffic Networks.
Proceedings of the Highlights on Practical Applications of Agents and Multi-Agent Systems, 2013

Towards Formal Safety Analysis in Feature-Oriented Product Line Development.
Proceedings of the Foundations of Health Information Engineering and Systems, 2013

2012
Integration domänenspezifischer Modellierung in der Diagnose von Automatisierungssystemen.
Softwaretechnik-Trends, 2012

GSN M -Edit: Ein modellgetriebener Editor für modulare GSN-Argumentationen.
Proceedings of the Software Engineering 2012 - Workshopband, Fachtagung des GI-Fachbereichs Softwaretechnik, 27. Februar, 2012

Zertifizierung und modellgetriebene Entwicklung sicherer Software (ZeMoSS 2012).
Proceedings of the Software Engineering 2012: Fachtagung des GI-Fachbereichs Softwaretechnik, 27. Februar, 2012

Formal Safety Analysis and Verification in the Model Driven Development of a Pacemaker Product Line.
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VIII, 2012

Enhancing Product Line Development by Safety Requirements and Verification.
Proceedings of the Foundations of Health Information Engineering and Systems, 2012

Interfaces and models for the diagnosis of cyber-physical ecosystems.
Proceedings of the 6th IEEE International Conference on Digital Ecosystems and Technologies, 2012

2011
Diagnosis in Rail Automation: A Case Study on Megamodels in Practice.
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VII, 2011

JREP: Extending Repast Simphony for JADE Agent Behavior Components.
Proceedings of the 2011 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2011

Formal Safety Analysis in Industrial Practice.
Proceedings of the Formal Methods for Industrial Critical Systems, 2011

Symptom propagation and transformation analysis: A pragmatic model for system-level diagnosis of large automation systems.
Proceedings of the IEEE 16th Conference on Emerging Technologies & Factory Automation, 2011

A Generic FMU Interface for Modelica.
Proceedings of the 4th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, 2011

2010
Some Observations on SCADE Model Clones.
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VI, 2010

Arguing for Software Quality in an IEC 62304 Compliant Development Process.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Profiling of Modelica Real-Time Models.
Proceedings of the 3rd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, 2010

2009
Analysing Dependability Case Arguments Using Quality Models.
Proceedings of the Computer Safety, 2009

Structural Analysis of Safety Case Arguments in a Model-based Development Environment.
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme V, 2009

Partial Order Algorithms for Model-based Diagnosis of Discrete Event Systems.
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme V, 2009

2008
Modellqualität als Indikator für Softwarequalität: eine Taxonomie.
Inform. Spektrum, 2008

Preface.
Proceedings of the First Workshop on Certification of Safety-Critical Software Controlled Systems, 2008

Executable Requirements Specification: Formal Semantics of Live Activity Diagrams.
Proceedings of the Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, 2008

Modeling and Validation of Executable Requirements Using Live Activity Diagrams.
Proceedings of the 6th ACIS International Conference on Software Engineering Research, 2008

2007
Architecture Potential Analysis: A Closer Look inside Architecture Evaluation.
J. Softw., 2007

Modellierung und Analyse von Zeitanforderungen basierend auf der UML.
Proceedings of the 37. Jahrestagung der Gesellschaft für Informatik, 2007

07241 Abstracts Collection - Tools for the Model-based Development of Certifiable, Dependable Systems.
Proceedings of the Tools for the Model-based Development of Certifiable, Dependable Systems, 10.06., 2007

07241 Summary - Tools for the Model-based Development of Certifiable, Dependable Systems.
Proceedings of the Tools for the Model-based Development of Certifiable, Dependable Systems, 10.06., 2007

UML for Software Safety and Certification - Model-Based Development of Safety-Critical Software-Intensive Systems.
Proceedings of the Model-Based Engineering of Embedded Real-Time Systems, 2007

2006
Embedded Systems Architecture: Evaluation and Analysis.
Proceedings of the Quality of Software Architectures, 2006

Comparing Heuristics for Model Based Testsuite Generation.
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme II, 2006

Minimizing Test Execution Time During Test Generation.
Proceedings of the Software Engineering Techniques: Design for Quality, 2006

2005
Optimising Test Execution Times in Test Suite Generation.
Proceedings of the 35. Jahrestagung der Gesellschaft für Informatik, 2005

2004
Vooduu: Verification of Object-Oriented Designs Using UPPAAL.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004

Generation of Optimized Testsuites for UML Statecharts with Time.
Proceedings of the Testing of Communicating Systems, 16th IFIP International Conerence, 2004

2001
Local First Search - A New Paradigm for Partial Order Reductions.
Proceedings of the CONCUR 2001, 2001

1999
Formale Verifikation eingebetteter Systeme.
Informationstechnik Tech. Inform., 1999

Timed Sequence Diagrams and Tool-Based Analysis - A Case Study.
Proceedings of the «UML»'99: The Unified Modeling Language, 1999

Model Checking Logics for Communicating Sequential Agents.
Proceedings of the Foundations of Software Science and Computation Structure, 1999

Translating a Visual Description Technique to a Synchronous Language: From DiChartsto PURR.
Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1999

Verifying Imprecisely Working Arithmetic Circuits.
Proceedings of the 1999 Design, 1999

Validation of Object-Oriented Concurrent Designs by Model Checking.
Proceedings of the Correct Hardware Design and Verification Methods, 1999

1998
Verification Based on Local States.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1998

Comparing Model Checking and Term Rewriting for the Verification of an Embedded System.
Proceedings of the Distributed and Parallel Embedded Systems, 1998

Partial Order Reductions for Bisimulation Checking.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1998

An Algebraic Semantics for Message Sequence Chart Documents.
Proceedings of the Formal Description Techniques and Protocol Specification, 1998

A Process Algebra Semantics for MSC Including Conditions.
Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1998

1997
Kryptoregulierung.
Wirtschaftsinf., 1997

On the hierarchical design of distributed systems.
PhD thesis, 1997

1996
ProFun - A Language for Executable Specifications.
Proceedings of the Programming Languages: Implementations, 1996

Towards Automata for Branching Time and Partial Order.
Proceedings of the CONCUR '96, 1996

Action Refinement and Property Inheritance in Systems of Sequential Agents.
Proceedings of the CONCUR '96, 1996


  Loading...