The SCEAS System
Navigation Menu

Search the dblp DataBase


Michaela Huhn: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Klaus Schneider, Michaela Huhn, George Logothetis
    Validation of Object-Oriented Concurrent Designs by Model Checking. [Citation Graph (0, 0)][DBLP]
    CHARME, 1999, pp:360-364 [Conf]
  2. Michaela Huhn
    Action Refinement and Property Inheritance in Systems of Sequential Agents. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1996, pp:639-654 [Conf]
  3. Michaela Huhn, Peter Niebert
    Towards Automata for Branching Time and Partial Order. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1996, pp:611-626 [Conf]
  4. Peter Niebert, Michaela Huhn, Sarah Zennou, Denis Lugiez
    Local First Search - A New Paradigm for Partial Order Reductions. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2001, pp:396-410 [Conf]
  5. Michaela Huhn, Klaus Schneider, Thomas Kropf, George Logothetis
    Verifying Imprecisely Working Arithmetic Circuits. [Citation Graph (0, 0)][DBLP]
    DATE, 1999, pp:65-0 [Conf]
  6. Thomas Gehrke, Michaela Huhn, Peter Niebert, Arend Rensink, Heike Wehrheim
    A Process Algebra Semantics for MSC Including Conditions. [Citation Graph (0, 0)][DBLP]
    FBT, 1998, pp:185-196 [Conf]
  7. Thomas Stauner, Klaus Schneider, Michaela Huhn
    Translating a Visual Description Technique to a Synchronous Language: From DiChartsto PURR. [Citation Graph (0, 0)][DBLP]
    FBT, 1999, pp:223-232 [Conf]
  8. Thomas Gehrke, Michaela Huhn, Arend Rensink, Heike Wehrheim
    An Algebraic Semantics for Message Sequence Chart Documents. [Citation Graph (0, 0)][DBLP]
    FORTE, 1998, pp:3-18 [Conf]
  9. Michaela Huhn, Peter Niebert, Frank Wallner
    Model Checking Logics for Communicating Sequential Agents. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 1999, pp:227-242 [Conf]
  10. Michaela Huhn, Peter Niebert, Heike Wehrheim
    Partial Order Reductions for Bisimulation Checking. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1998, pp:271-282 [Conf]
  11. Tilo Mücke, Michaela Huhn
    Optimising Test Execution Times in Test Suite Generation. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung (2), 2005, pp:480-485 [Conf]
  12. Klaus Schneider, Michaela Huhn
    Comparing Model Checking and Term Rewriting for the Verification of an Embedded System. [Citation Graph (0, 0)][DBLP]
    DIPES, 1998, pp:129-138 [Conf]
  13. Thomas Gehrke, Michaela Huhn
    ProFun - A Language for Executable Specifications. [Citation Graph (0, 0)][DBLP]
    PLILP, 1996, pp:304-318 [Conf]
  14. Tilo Mücke, Michaela Huhn
    Generation of Optimized Testsuites for UML Statecharts with Time. [Citation Graph (0, 0)][DBLP]
    TestCom, 2004, pp:128-143 [Conf]
  15. Karsten Diethers, Michaela Huhn
    Vooduu: Verification of Object-Oriented Designs Using UPPAAL. [Citation Graph (0, 0)][DBLP]
    TACAS, 2004, pp:139-143 [Conf]
  16. Michaela Huhn, Peter Niebert, Frank Wallner
    Verification Based on Local States. [Citation Graph (0, 0)][DBLP]
    TACAS, 1998, pp:36-51 [Conf]
  17. Thomas Firley, Michaela Huhn, Karsten Diethers, Thomas Gehrke, Ursula Goltz
    Timed Sequence Diagrams and Tool-Based Analysis - A Case Study. [Citation Graph (0, 0)][DBLP]
    UML, 1999, pp:645-660 [Conf]
  18. Bastian Florentz, Michaela Huhn
    Embedded Systems Architecture: Evaluation and Analysis. [Citation Graph (0, 0)][DBLP]
    QoSA, 2006, pp:145-162 [Conf]
  19. Guntram Wicke, Michaela Huhn, Andreas Pfitzmann, Peter Stahlknecht
    Kryptoregulierung. [Citation Graph (0, 0)][DBLP]
    Wirtschaftsinformatik, 1997, v:39, n:3, pp:279-282 [Journal]

  20. 07241 Abstracts Collection - Tools for the Model-based Development of Certifiable, Dependable Systems. [Citation Graph (, )][DBLP]

  21. 07241 Summary - Tools for the Model-based Development of Certifiable, Dependable Systems. [Citation Graph (, )][DBLP]

  22. Modellierung und Analyse von Zeitanforderungen basierend auf der UML. [Citation Graph (, )][DBLP]

  23. Analysing Dependability Case Arguments Using Quality Models. [Citation Graph (, )][DBLP]

  24. Modeling and Validation of Executable Requirements Using Live Activity Diagrams. [Citation Graph (, )][DBLP]

  25. Executable Requirements Specification: Formal Semantics of Live Activity Diagrams. [Citation Graph (, )][DBLP]

  26. Minimizing Test Execution Time During Test Generation. [Citation Graph (, )][DBLP]

  27. Some Observations on SCADE Model Clones. [Citation Graph (, )][DBLP]

  28. Partial Order Algorithms for Model-based Diagnosis of Discrete Event Systems. [Citation Graph (, )][DBLP]

  29. Structural Analysis of Safety Case Arguments in a Model-based Development Environment. [Citation Graph (, )][DBLP]

  30. Comparing Heuristics for Model Based Testsuite Generation. [Citation Graph (, )][DBLP]

  31. Preface. [Citation Graph (, )][DBLP]

Search in 0.005secs, Finished in 0.006secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002