Michaela Huhn Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichaela Huhn, Axel Zechner: Analysing Dependability Case Arguments Using Quality Models. SAFECOMP 2009: 118-131
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichaela Huhn, Hardi Hungar: Preface. Electr. Notes Theor. Comput. Sci. 238(4): 1-2 (2009)
2008
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichaela 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
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Knieke, Michaela Huhn, Malte Lochau: Modeling and Validation of Executable Requirements Using Live Activity Diagrams. SERA 2008: 51-58
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Knieke, Michaela Huhn, Malte Lochau: Executable Requirements Specification: Formal Semantics of Live Activity Diagrams. TASE 2008: 109-112
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlorian Fieber, Michaela Huhn, Bernhard Rumpe: Modellqualität als Indikator für Softwarequalität: eine Taxonomie. Informatik Spektrum 31(5): 408-424 (2008)
2007
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthias Hagner, Michaela Huhn: Modellierung und Analyse von Zeitanforderungen basierend auf der UML. GI Jahrestagung (2) 2007: 531-535
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichaela 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
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichaela 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
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBastian Florentz, Michaela Huhn: Architecture Potential Analysis: A Closer Look inside Architecture Evaluation. JSW 2(4): 43-56 (2007)
2006
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBastian Florentz, Michaela Huhn: Embedded Systems Architecture: Evaluation and Analysis. QoSA 2006: 145-162
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTilo Mücke, Michaela Huhn: Minimizing Test Execution Time During Test Generation. SET 2006: 223-235
2005
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTilo Mücke, Michaela Huhn: Optimising Test Execution Times in Test Suite Generation. GI Jahrestagung (2) 2005: 480-485
2004
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarsten Diethers, Michaela Huhn: Vooduu: Verification of Object-Oriented Designs Using UPPAAL. TACAS 2004: 139-143
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTilo Mücke, Michaela Huhn: Generation of Optimized Testsuites for UML Statecharts with Time. TestCom 2004: 128-143
2001
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Niebert, Michaela Huhn, Sarah Zennou, Denis Lugiez: Local First Search - A New Paradigm for Partial Order Reductions. CONCUR 2001: 396-410
1999
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaus Schneider, Michaela Huhn, George Logothetis: Validation of Object-Oriented Concurrent Designs by Model Checking. CHARME 1999: 360-364
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichaela Huhn, Klaus Schneider, Thomas Kropf, George Logothetis: Verifying Imprecisely Working Arithmetic Circuits. DATE 1999: 65-
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Stauner, Klaus Schneider, Michaela Huhn: Translating a Visual Description Technique to a Synchronous Language: From DiChartsto PURR. FBT 1999: 223-232
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichaela Huhn, Peter Niebert, Frank Wallner: Model Checking Logics for Communicating Sequential Agents. FoSSaCS 1999: 227-242
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Firley, Michaela Huhn, Karsten Diethers, Thomas Gehrke, Ursula Goltz: Timed Sequence Diagrams and Tool-Based Analysis - A Case Study. UML 1999: 645-660
1998
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaus Schneider, Michaela Huhn: Comparing Model Checking and Term Rewriting for the Verification of an Embedded System. DIPES 1998: 129-138
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Gehrke, Michaela Huhn, Peter Niebert, Arend Rensink, Heike Wehrheim: A Process Algebra Semantics for MSC Including Conditions. FBT 1998: 185-196
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Gehrke, Michaela Huhn, Arend Rensink, Heike Wehrheim: An Algebraic Semantics for Message Sequence Chart Documents. FORTE 1998: 3-18
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichaela Huhn, Peter Niebert, Heike Wehrheim: Partial Order Reductions for Bisimulation Checking. FSTTCS 1998: 271-282
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichaela Huhn, Peter Niebert, Frank Wallner: Verification Based on Local States. TACAS 1998: 36-51
1997
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuntram Wicke, Michaela Huhn, Andreas Pfitzmann, Peter Stahlknecht: Kryptoregulierung. Wirtschaftsinformatik 39(3): 279-282 (1997)
1996
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichaela Huhn, Peter Niebert: Towards Automata for Branching Time and Partial Order. CONCUR 1996: 611-626
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichaela Huhn: Action Refinement and Property Inheritance in Systems of Sequential Agents. CONCUR 1996: 639-654
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Gehrke, Michaela Huhn: ProFun - A Language for Executable Specifications. PLILP 1996: 304-318

Coauthor Index

1Karsten Diethers [10] [17]
2Florian Fieber [25]
3Thomas Firley [10]
4Bastian Florentz [20] [21]
5Thomas Gehrke [1] [7] [8] [10]
6Ursula Goltz [10]
7Matthias Hagner [24]
8Hardi Hungar [22] [23] [28] [29]
9Christoph Knieke [26] [27]
10Thomas Kropf [13]
11Malte Lochau [26] [27]
12George Logothetis [13] [14]
13Denis Lugiez [15]
14Tilo Mücke [16] [18] [19]
15Peter Niebert [3] [5] [6] [8] [11] [15]
16Doron Peled [22] [23] [28]
17Andreas Pfitzmann [4]
18Arend Rensink [7] [8]
19Bernhard Rumpe [25]
20Klaus Schneider [9] [12] [13] [14]
21Peter Stahlknecht [4]
22Thomas Stauner [12]
23Frank Wallner [5] [11]
24Heike Wehrheim [6] [7] [8]
25Guntram Wicke [4]
26Axel Zechner [30]
27Sarah Zennou [15]

Colors in the list of coauthors

Copyright © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)