Searching for authors named "Michaela Huhn" – sorted by Relevance.
-
Architecture Potential Analysis: A Closer Look inside Architecture Evaluation
- inside Architecture Evaluation Bastian Florentz, Michaela Huhn Institute for Programming and Reactive
- Add To MetaCart
-
ProFun - a Language for Executable Specifications
- Fun -- a Language for Executable Specifications ? Thomas Gehrke, Michaela Huhn Institut fur Informatik
- Cited by 2 (1 self) – Add To MetaCart
-
Comparing Model Checking And Term Rewriting For The Verification Of An Embedded System
- Schneider and Michaela Huhn Institute for Computer Design and Fault Tolerance (Prof. Dr.-Ing. D. Schmid
- Cited by 1 (1 self) – Add To MetaCart
-
Verification Based on Local States
- Verification Based on Local States ? Michaela Huhn 1 and Peter Niebert 1 and Frank Wallner 2
- Add To MetaCart
-
Model Checking Gossip Modalities
- Model Checking Gossip Modalities ? Michaela Huhn 1 and Peter Niebert 2 and Frank Wallner 3 1
- Add To MetaCart
-
An Algebraic Semantics for Message Sequence Chart Documents
- An Algebraic Semantics for Message Sequence Chart Documents Thomas Gehrke, Michaela Huhn , Arend Rensink, Heike
- Cited by 15 (5 self) – Add To MetaCart
-
Verification Based on Local States
- Verification Based on Local States ? Michaela Huhn 1 and Peter Niebert 1 and Frank Wallner 2
- Cited by 6 (1 self) – Add To MetaCart
-
Put your Model Checker on Diet: Verification on Local States
- Put your Model Checker on Diet: Verification on Local States ? Michaela Huhn 1 and Peter Niebert
- Cited by 1 (1 self) – Add To MetaCart
-
Model Checking Logics for Communicating Sequential Agents
- Model Checking Logics for Communicating Sequential Agents ? Michaela Huhn 1 and Peter Niebert 2
- Cited by 3 (0 self) – Add To MetaCart
-
Model Checking Gossip Modalities
- Model Checking Gossip Modalities ? Michaela Huhn 1 and Peter Niebert 2 and Frank Wallner 3 1
- Cited by 1 (1 self) – Add To MetaCart

