![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Michaela Huhn
Person information
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 1997
- [b1]Michaela Huhn:
On the hierarchical design of distributed systems. Universität Hildesheim, 1997, pp. I-XII, 1-277
Journal Articles
- 2015
- [j7]Christoph Knieke, Michaela Huhn:
Semantic Foundation and Validation of Live Activity Diagrams. Nord. J. Comput. 15(2): 112-140 (2015) - 2014
- [j6]Michaela Huhn, Stefan Milius:
Observations on formal safety analysis in practice. Sci. Comput. Program. 80: 150-168 (2014) - 2012
- [j5]Dennis Klar, Michaela Huhn:
Integration domänenspezifischer Modellierung in der Diagnose von Automatisierungssystemen. Softwaretechnik-Trends 32(2) (2012) - 2008
- [j4]Florian Fieber, Michaela Huhn, Bernhard Rumpe
:
Modellqualität als Indikator für Softwarequalität: eine Taxonomie. Inform. Spektrum 31(5): 408-424 (2008) - 2007
- [j3]Bastian Florentz, Michaela Huhn:
Architecture Potential Analysis: A Closer Look inside Architecture Evaluation. J. Softw. 2(4): 43-56 (2007) - 1999
- [j2]Detlef Schmid, Klaus Schneider, Michaela Huhn, George Logothetis, Viktor K. Sabelfeld:
Formale Verifikation eingebetteter Systeme. Informationstechnik Tech. Inform. 41(2): 12-16 (1999) - 1997
- [j1]Guntram Wicke, Michaela Huhn, Andreas Pfitzmann, Peter Stahlknecht:
Kryptoregulierung. Wirtschaftsinf. 39(3): 279-282 (1997)
Conference and Workshop Papers
- 2014
- [c47]Henning Basold
, Henning Günther, Michaela Huhn, Stefan Milius:
An Open Alternative for SMT-Based Verification of Scade Models. FMICS 2014: 124-139 - [c46]Michaela Huhn, Stefan Gerken, Carsten Rudolph:
CeMoSS - Certification and Model-Driven Development of Safe and Secure Software. Software Engineering 2014: 207-208 - 2013
- [c45]Sara Bessling, Michaela Huhn:
Towards Formal Safety Analysis in Feature-Oriented Product Line Development. FHIES 2013: 217-235 - [c44]Maksims Fiosins, Jörg P. Müller, Michaela Huhn:
A Norm-Based Probabilistic Decision-Making Model for Autonomic Traffic Networks. PAAMS (Workshops) 2013: 49-60 - [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 - 2012
- [c41]Dennis Klar, Michaela Huhn:
Interfaces and models for the diagnosis of cyber-physical ecosystems. DEST 2012: 1-6 - [c40]Michaela Huhn, Sara Bessling:
Enhancing Product Line Development by Safety Requirements and Verification. FHIES 2012: 37-54 - [c39]Sara Blessing, Michaela Huhn:
Formal Safety Analysis and Verification in the Model Driven Development of a Pacemaker Product Line. MBEES 2012: 133-144 - [c38]Patrick Werner, Stefan Gerken, Michaela Huhn:
GSN M -Edit: Ein modellgetriebener Editor für modulare GSN-Argumentationen. Software Engineering (Workshops) 2012: 163-174 - [c37]Michaela Huhn, Stefan Gerken, Carsten Rudolph:
Zertifizierung und modellgetriebene Entwicklung sicherer Software (ZeMoSS 2012). Software Engineering 2012: 198-200 - 2011
- [c36]Wuzhu Chen, Michaela Huhn, Peter Fritzson:
A Generic FMU Interface for Modelica. EOOLT 2011: 19-24 - [c35]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 - [c34]Ilyas Daskaya, Michaela Huhn, Stefan Milius:
Formal Safety Analysis in Industrial Practice. FMICS 2011: 68-84 - [c33]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 - [c32]Dennis Klar, Michaela Huhn, Jochen Grühser:
Diagnosis in Rail Automation: A Case Study on Megamodels in Practice. MBEES 2011: 101-114 - 2010
- [c31]Christian Schulze, Michaela Huhn, Martin Schüler:
Profiling of Modelica Real-Time Models. EOOLT 2010: 23-31 - [c30]Michaela Huhn, Axel Zechner:
Arguing for Software Quality in an IEC 62304 Compliant Development Process. ISoLA (2) 2010: 296-311 - [c29]Michaela Huhn, Dirk Scharff:
Some Observations on SCADE Model Clones. MBEES 2010: 97-106 - 2009
- [c28]Dennis Klar, Michaela Huhn:
Partial Order Algorithms for Model-based Diagnosis of Discrete Event Systems. MBEES 2009: 103-114 - [c27]Axel Zechner, Michaela Huhn:
Structural Analysis of Safety Case Arguments in a Model-based Development Environment. MBEES 2009: 115-127 - [c26]Michaela Huhn, Axel Zechner:
Analysing Dependability Case Arguments Using Quality Models. SAFECOMP 2009: 118-131 - 2008
- [c25]Christoph Knieke, Michaela Huhn, Malte Lochau:
Modeling and Validation of Executable Requirements Using Live Activity Diagrams. SERA 2008: 51-58 - [c24]Christoph Knieke, Michaela Huhn, Malte Lochau:
Executable Requirements Specification: Formal Semantics of Live Activity Diagrams. TASE 2008: 109-112 - [c23]Michaela Huhn, Hardi Hungar:
Preface. SafeCert@ETAPS 2008: 1-2 - 2007
- [c22]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 - [c21]Matthias Hagner, Michaela Huhn:
Modellierung und Analyse von Zeitanforderungen basierend auf der UML. GI Jahrestagung (2) 2007: 531-535 - 2006
- [c20]Tilo Mücke, Michaela Huhn:
Minimizing Test Execution Time During Test Generation. SET 2006: 223-235 - [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 - 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]Michaela Huhn, Peter Niebert, Frank Wallner:
Verification Based on Local States. TACAS 1998: 36-51 - 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
Editorship
- 2017
- [e9]Michaela Huhn, Laurie A. Williams:
Software Engineering in Health Care - 4th International Symposium, FHIES 2014, and 6th International Workshop, SEHC 2014, Washington, DC, USA, July 17-18, 2014, Revised Selected Papers. Lecture Notes in Computer Science 9062, Springer 2017, ISBN 978-3-319-63193-6 [contents] - 2013
- [e8]Holger Giese, Michaela Huhn, Jan Phillips, Bernhard Schätz:
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 [contents] - 2012
- [e7]Holger Giese, Michaela Huhn, Jan Phillips, Bernhard Schätz:
Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VIII, Schloss Dagstuhl, Germany, 2012, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme. fortiss GmbH, München 2012 [contents] - 2011
- [e6]Holger Giese, Michaela Huhn, Jan Phillips, Bernhard Schätz:
Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VII, Schloss Dagstuhl, Germany, 2011, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme. fortiss GmbH, München 2011 [contents] - 2010
- [e5]Holger Giese, Michaela Huhn, Jan Phillips, Bernhard Schätz:
Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VI, Schloss Dagstuhl, Germany, 2010, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme. fortiss GmbH, München 2010 [contents] - 2009
- [e4]Holger Giese, Michaela Huhn, Ulrich Nickel, Bernhard Schätz:
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 [contents] - [e3]Michaela Huhn, Hardi Hungar:
Proceedings of the First Workshop on Certification of Safety-Critical Software Controlled Systems, SafeCert@ETAPS 2008, Budapest, Hungary, April 29, 2008. Electronic Notes in Theoretical Computer Science 238(4), Elsevier 2009 [contents] - 2008
- [e2]Michaela Huhn, Hardi Hungar, Doron A. Peled:
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 [contents] - [e1]Holger Giese, Michaela Huhn, Ulrich Nickel, Bernhard Schätz:
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 [contents]
Informal and Other Publications
- 2013
- [i3]Darren D. Cofer, John Hatcliff, Michaela Huhn, Mark Lawford:
Software Certification: Methods and Tools (Dagstuhl Seminar 13051). Dagstuhl Reports 3(1): 111-148 (2013) - 2007
- [i2]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 - [i1]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
Coauthor Index
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:54 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint