e GI: Publications


Publications

Technical Reports (10)

Mücke, Tilo and Huhn, Michaela: Minimizing Test Execution Time During Test Generation., 2005

Mutz, Martin and Huhn, Michaela: Automated Statechart Analysis for User-defined Design Rules., 2003

Gehrke, Thomas and Huhn, Michaela and Rensink, Arend and Wehrheim, Heike: An Algebraic Semantics for Message Sequence Chart Documents., 1998

Huhn, Michaela and Niebert, Peter and Wallner, Frank: Model Checking Gossip Modalities., 1998

Huhn, Michaela and Niebert, Peter and Wehrheim, Heike: Partial order Reductions for Bisimulation Checking., 1998

Gehrke, Thomas and Huhn, Michaela: textitProFun - a Language for Executable Specifications., 1996

Huhn, Michaela: Semantic and Logical Refinement of Actions., 1996

Huhn, Michaela and Niebert, Peter: Towards Automata for Branching Time and Partial Order., 1996

Huhn, Michaela and Niebert, Peter and Wallner, Frank: Put your Model Checker on Diet - Verification on Local States., 1996

Huhn, Michaela and Wehrheim, Heike and Denker, Grit: Action Refinement - An Application of Process Theory on Object-Oriented Specification., 1995

Show results as BibTeX-Code
 

Contact  Search  Sitemap  Data Privacy  Imprint
© TU Clausthal 2020