Michaela Huhn

	2012
46		Michaela Huhn, Stefan Gerken, Carsten Rudolph: Zertifizierung und modellgetriebene Entwicklung sicherer Software (ZeMoSS 2012). Software Engineering 2012: 198-200
45		Patrick Werner, Stefan Gerken, Michaela Huhn: GSN M -Edit: Ein modellgetriebener Editor für modulare GSN-Argumentationen. Software Engineering (Workshops) 2012: 163-174
	2011
44		Wuzhu Chen, Michaela Huhn, Peter Fritzson: A Generic FMU Interface for Modelica. EOOLT 2011: 19-24
43		Ilyas Daskaya, Michaela Huhn, Stefan Milius: Formal Safety Analysis in Industrial Practice. FMICS 2011: 68-84
42		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
	2010
41		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
40		Christian Schulze, Michaela Huhn, Martin Schüler: Profiling of Modelica Real-Time Models. EOOLT 2010: 23-31
39		Michaela Huhn, Axel Zechner: Arguing for Software Quality in an IEC 62304 Compliant Development Process. ISoLA (2) 2010: 296-311
38		Michaela Huhn, Dirk Scharff: Some Observations on SCADE Model Clones. MBEES 2010: 97-106
	2009
37		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 TU Braunschweig, Institut für Software Systems Engineering 2009
36		Dennis Klar, Michaela Huhn: Partial Order Algorithms for Model-based Diagnosis of Discrete Event Systems. MBEES 2009: 103-114
35		Axel Zechner, Michaela Huhn: Structural Analysis of Safety Case Arguments in a Model-based Development Environment. MBEES 2009: 115-127
34		Michaela Huhn, Axel Zechner: Analysing Dependability Case Arguments Using Quality Models. SAFECOMP 2009: 118-131
33		Michaela Huhn, Hardi Hungar: Preface. Electr. Notes Theor. Comput. Sci. 238(4): 1-2 (2009)
	2008
32		Michaela Huhn, Hardi Hungar, Doron Peled: Tools for the Model-based Development of Certifiable, Dependable Systems, 10.06. - 15.06.2007 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008
31		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 TU Braunschweig, Institut für Software Systems Engineering 2008
30		Christoph Knieke, Michaela Huhn, Malte Lochau: Modeling and Validation of Executable Requirements Using Live Activity Diagrams. SERA 2008: 51-58
29		Christoph Knieke, Michaela Huhn, Malte Lochau: Executable Requirements Specification: Formal Semantics of Live Activity Diagrams. TASE 2008: 109-112
28		Florian Fieber, Michaela Huhn, Bernhard Rumpe: Modellqualität als Indikator für Softwarequalität: eine Taxonomie. Informatik Spektrum 31(5): 408-424 (2008)
	2007
27		Matthias Hagner, Michaela Huhn: Modellierung und Analyse von Zeitanforderungen basierend auf der UML. GI Jahrestagung (2) 2007: 531-535
26		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
25		Michaela Huhn, Hardi Hungar, Doron 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
24		Michaela Huhn, Hardi Hungar, Doron Peled: 07241 Summary - Tools for the Model-based Development of Certifiable, Dependable Systems. Tools for the Model-based Development of Certifiable, Dependable Systems 2007
23		Bastian Florentz, Michaela Huhn: Architecture Potential Analysis: A Closer Look inside Architecture Evaluation. JSW 2(4): 43-56 (2007)
	2006
22		Michaela Huhn, Tilo Mücke: Comparing Heuristics for Model Based Testsuite Generation. MBEES 2006: 53-62
21		Bastian Florentz, Michaela Huhn: Embedded Systems Architecture: Evaluation and Analysis. QoSA 2006: 145-162
20		Tilo Mücke, Michaela Huhn: Minimizing Test Execution Time During Test Generation. SET 2006: 223-235
	2005
19		Tilo Mücke, Michaela Huhn: Optimising Test Execution Times in Test Suite Generation. GI Jahrestagung (2) 2005: 480-485
	2004
18		Karsten Diethers, Michaela Huhn: Vooduu: Verification of Object-Oriented Designs Using UPPAAL. TACAS 2004: 139-143
17		Tilo Mücke, Michaela Huhn: Generation of Optimized Testsuites for UML Statecharts with Time. TestCom 2004: 128-143
	2001
16		Peter Niebert, Michaela Huhn, Sarah Zennou, Denis Lugiez: Local First Search - A New Paradigm for Partial Order Reductions. CONCUR 2001: 396-410
	1999
15		Klaus Schneider, Michaela Huhn, George Logothetis: Validation of Object-Oriented Concurrent Designs by Model Checking. CHARME 1999: 360-364
14		Michaela Huhn, Klaus Schneider, Thomas Kropf, George Logothetis: Verifying Imprecisely Working Arithmetic Circuits. DATE 1999: 65-
13		Thomas Stauner, Klaus Schneider, Michaela Huhn: Translating a Visual Description Technique to a Synchronous Language: From DiChartsto PURR. FBT 1999: 223-232
12		Michaela Huhn, Peter Niebert, Frank Wallner: Model Checking Logics for Communicating Sequential Agents. FoSSaCS 1999: 227-242
11		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
10		Klaus Schneider, Michaela Huhn: Comparing Model Checking and Term Rewriting for the Verification of an Embedded System. DIPES 1998: 129-138
9		Thomas Gehrke, Michaela Huhn, Peter Niebert, Arend Rensink, Heike Wehrheim: A Process Algebra Semantics for MSC Including Conditions. FBT 1998: 185-196
8		Thomas Gehrke, Michaela Huhn, Arend Rensink, Heike Wehrheim: An Algebraic Semantics for Message Sequence Chart Documents. FORTE 1998: 3-18
7		Michaela Huhn, Peter Niebert, Heike Wehrheim: Partial Order Reductions for Bisimulation Checking. FSTTCS 1998: 271-282
6		Michaela Huhn, Peter Niebert, Frank Wallner: Verification Based on Local States. TACAS 1998: 36-51
	1997
5		Guntram Wicke, Michaela Huhn, Andreas Pfitzmann, Peter Stahlknecht: Kryptoregulierung. Wirtschaftsinformatik 39(3): 279-282 (1997)
4		Michaela Huhn: On the hierarchical design of distributed systems. Universität Hildesheim 1997: I-XII, 1-277
	1996
3		Michaela Huhn, Peter Niebert: Towards Automata for Branching Time and Partial Order. CONCUR 1996: 611-626
2		Michaela Huhn: Action Refinement and Property Inheritance in Systems of Sequential Agents. CONCUR 1996: 639-654
1		Thomas Gehrke, Michaela Huhn: ProFun - A Language for Executable Specifications. PLILP 1996: 304-318

Coauthor Index

1	Wuzhu Chen	[44]
2	Ilyas Daskaya	[43]
3	Karsten Diethers	[11] [18]
4	Florian Fieber	[28]
5	Thomas Firley	[11]
6	Bastian Florentz	[21] [23]
7	Peter Fritzson	[44]
8	Thomas Gehrke	[1] [8] [9] [11]
9	Stefan Gerken	[45] [46]
10	Holger Giese	[31] [37] [41]
11	Ursula Goltz	[11]
12	Jana Görmer	[42]
13	Matthias Hagner	[27]
14	Gianina Homoceanu	[42]
15	Hardi Hungar	[24] [25] [26] [32] [33]
16	Dennis Klar	[36]
17	Christoph Knieke	[29] [30]
18	Thomas Kropf	[14]
19	Malte Lochau	[29] [30]
20	George Logothetis	[14] [15]
21	Denis Lugiez	[16]
22	Stefan Milius	[43]
23	Tilo Mücke	[17] [19] [20] [22]
24	Jörg P. Müller	[42]
25	Christopher Mumme	[42]
26	Ulrich Nickel	[31] [37]
27	Peter Niebert	[3] [6] [7] [9] [12] [16]
28	Doron Peled	[24] [25] [32]
29	Andreas Pfitzmann	[5]
30	Jan Phillips	[41]
31	Arend Rensink	[8] [9]
32	Carsten Rudolph	[46]
33	Bernhard Rumpe	[28]
34	Dirk Scharff	[38]
35	Bernhard Schätz	[31] [37] [41]
36	Klaus Schneider	[10] [13] [14] [15]
37	Martin Schüler	[40]
38	Christian Schulze	[40]
39	Peter Stahlknecht	[5]
40	Thomas Stauner	[13]
41	Frank Wallner	[6] [12]
42	Heike Wehrheim	[7] [8] [9]
43	Patrick Werner	[45]
44	Guntram Wicke	[5]
45	Axel Zechner	[34] [35] [39]
46	Sarah Zennou	[16]

Colors in the list of coauthors

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page