Michaela Huhn - RankMe

67 papers A 3B 5C 10Misc 1Journal 8Unranked 30

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