The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Hardi Hungar: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Werner Damm, Stefan Disch, Hardi Hungar, Jun Pang, Florian Pigorsch, Christoph Scholl, Uwe Waldmann, Boris Wirtz
    Automatic Verification of Hybrid Systems with Large Discrete State Space. [Citation Graph (0, 0)][DBLP]
    ATVA, 2006, pp:276-291 [Conf]
  2. Tom Bienmüller, Jürgen Bohn, Henning Brinkmann, Udo Brockmeyer, Werner Damm, Hardi Hungar, Peter Jansen
    Verification of Automotive Control Units. [Citation Graph (0, 0)][DBLP]
    Correct System Design, 1999, pp:319-341 [Conf]
  3. Hardi Hungar
    Combining Model Checking and Theorem Proving to Verify Parallel Processes. [Citation Graph (0, 0)][DBLP]
    CAV, 1993, pp:154-165 [Conf]
  4. Hardi Hungar
    Model Checking of macro Processes. [Citation Graph (0, 0)][DBLP]
    CAV, 1994, pp:169-181 [Conf]
  5. Hardi Hungar, Oliver Niese, Bernhard Steffen
    Domain-Specific Optimization in Automata Learning. [Citation Graph (0, 0)][DBLP]
    CAV, 2003, pp:315-327 [Conf]
  6. Hardi Hungar, Orna Grumberg, Werner Damm
    What if model checking must be truly symbolic. [Citation Graph (0, 0)][DBLP]
    CHARME, 1995, pp:1-20 [Conf]
  7. Werner Damm, Bernhard Josko, Hardi Hungar, Amir Pnueli
    A Compositional Real-Time Semantics of STATEMATE Designs. [Citation Graph (0, 0)][DBLP]
    COMPOS, 1997, pp:186-238 [Conf]
  8. Hardi Hungar
    Local Model Checking for Parallel Compositions of Context-Free Processes. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1994, pp:114-128 [Conf]
  9. Hardi Hungar
    Specification and Verification Using a Visual Formalism on Top of Temporal Logic. [Citation Graph (0, 0)][DBLP]
    Formal Systems Specification, 1994, pp:305-339 [Conf]
  10. Andreas Hagerer, Hardi Hungar, Tiziana Margaria, Oliver Niese, Bernhard Steffen, Hans-Dieter Ide
    Demonstration of an Operational Procedure for the Model-Based Testing of CTI Systems. [Citation Graph (0, 0)][DBLP]
    FASE, 2002, pp:336-340 [Conf]
  11. Andreas Hagerer, Hardi Hungar, Oliver Niese, Bernhard Steffen
    Model Generation by Moderated Regular Extrapolation. [Citation Graph (0, 0)][DBLP]
    FASE, 2002, pp:80-95 [Conf]
  12. Werner Damm, Hardi Hungar, Ernst-Rüdiger Olderog
    On the Verification of Cooperating Traffic Agents. [Citation Graph (0, 0)][DBLP]
    FMCO, 2003, pp:77-110 [Conf]
  13. Jürgen Bohn, Werner Damm, Orna Grumberg, Hardi Hungar, Karen Laster
    First-Order-CTL Model Checking. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1998, pp:283-294 [Conf]
  14. Hardi Hungar
    Correstness of Programs over Poor Signatures. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1991, pp:109-120 [Conf]
  15. Hardi Hungar, Bernhard Steffen
    Local Model Checking for Context-Free Processes. [Citation Graph (0, 0)][DBLP]
    ICALP, 1993, pp:593-605 [Conf]
  16. Hardi Hungar, Tiziana Margaria, Bernhard Steffen
    Test-Based Model Generation For Legacy Systems. [Citation Graph (0, 0)][DBLP]
    ITC, 2003, pp:971-980 [Conf]
  17. Jürgen Bohn, Hardi Hungar
    Traverdi - Transformation and Verification of Distributed Systems. [Citation Graph (0, 0)][DBLP]
    KORSO Book, 1995, pp:317-338 [Conf]
  18. Werner Damm, Hardi Hungar, Peter Kelb, Rainer Schlör
    Statecharts. [Citation Graph (0, 0)][DBLP]
    Formal Development of Reactive Systems, 1995, pp:131-149 [Conf]
  19. Michal Grabowski, Hardi Hungar
    On the Existence of Effective Hoare Logics [Citation Graph (0, 0)][DBLP]
    LICS, 1988, pp:428-435 [Conf]
  20. Hardi Hungar
    Complexity Bounds of Hoare-style Proof Systems [Citation Graph (0, 0)][DBLP]
    LICS, 1991, pp:120-126 [Conf]
  21. Hardi Hungar
    Model Checking and Higher-Order Recursion. [Citation Graph (0, 0)][DBLP]
    MFCS, 1999, pp:149-159 [Conf]
  22. Hardi Hungar, Tiziana Margaria, Bernhard Steffen
    Model Generation for Legacy Systems. [Citation Graph (0, 0)][DBLP]
    RISSEF, 2002, pp:167-183 [Conf]
  23. Hardi Hungar
    The Complexity of Verifying Functional Programs. [Citation Graph (0, 0)][DBLP]
    STACS, 1993, pp:428-439 [Conf]
  24. Hardi Hungar
    Complexity of Proving Program Correctness. [Citation Graph (0, 0)][DBLP]
    TACS, 1991, pp:459-474 [Conf]
  25. Bernhard Steffen, Hardi Hungar
    Behavior-Based Model Construction. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2003, pp:5-19 [Conf]
  26. Hardi Hungar
    Expressibility of the Semantics of Sequential Programs in First-Order Logic. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1994, v:21, n:4, pp:345-365 [Journal]
  27. Hardi Hungar, Bernhard Steffen
    Local Model-Checking for Context-Free Processes. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 1994, v:1, n:3, pp:364-0 [Journal]
  28. Hardi Hungar, Bernhard Steffen
    Behavior-based model construction. [Citation Graph (0, 0)][DBLP]
    STTT, 2004, v:6, n:1, pp:4-14 [Journal]
  29. Werner Damm, Stefan Disch, Hardi Hungar, Swen Jacobs, Jun Pang, Florian Pigorsch, Christoph Scholl, Uwe Waldmann, Boris Wirtz
    Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space. [Citation Graph (0, 0)][DBLP]
    ATVA, 2007, pp:425-440 [Conf]

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


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


  32. Software-Entwicklung und Zertifizierung im Umfeld sicherheitskritischer und hochverfügbarer Systeme: Bedeutung modellbasierter und formaler Ansätze für effiziente Entwicklung und Zertifizierung. [Citation Graph (, )][DBLP]


  33. Software-Entwicklung und Zertifizierung im Umfeld sicherheitskritischer und hochverfügbarer Systeme: Bedeutung modellbasierter und formaler Ansätze für effiziente Entwicklung und Zertifizierung. [Citation Graph (, )][DBLP]


  34. Ergebnisse des Workshops "Software-Entwicklung und Zertifizierung im Umfeld sicherheitskritischer und hochverfügbarer Systeme". [Citation Graph (, )][DBLP]


  35. Positionsstatement: Zertifizierungsargumentationen mit mathematischer Präzision. [Citation Graph (, )][DBLP]


  36. UML-basierte Entwicklung sicherheitskritischer Systeme im Bahnbereich. [Citation Graph (, )][DBLP]


  37. Automatic Validation and Verification in a Model-Based Development Process. [Citation Graph (, )][DBLP]


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


Search in 0.029secs, Finished in 0.030secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
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 asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002