The SCEAS System
Navigation Menu

Conferences in DBLP

(hvc)
2005 (conf/hvc/2005)

  1. Shady Copty, Itai Jaeger, Yoav Katz
    Path-Based System Level Stimuli Generation. [Citation Graph (0, 0)][DBLP]
    Haifa Verification Conference, 2005, pp:1-13 [Conf]
  2. Shoham Ben-David, Dana Fisman, Sitvanit Ruah
    The Safety Simple Subset. [Citation Graph (0, 0)][DBLP]
    Haifa Verification Conference, 2005, pp:14-29 [Conf]
  3. Sharad Malik
    A Case for Runtime Validation of Hardware. [Citation Graph (0, 0)][DBLP]
    Haifa Verification Conference, 2005, pp:30-42 [Conf]
  4. Milind Kulkarni, J. Benita Bommi
    Assertion-Based Verification for the SpaceCAKE Multiprocessor - A Case Study. [Citation Graph (0, 0)][DBLP]
    Haifa Verification Conference, 2005, pp:43-55 [Conf]
  5. Zurab Khasidashvili, Alexander Nadel, Amit Palti, Ziyad Hanna
    Simultaneous SAT-Based Model Checking of Safety Properties. [Citation Graph (0, 0)][DBLP]
    Haifa Verification Conference, 2005, pp:56-75 [Conf]
  6. Roman Gershman, Ofer Strichman
    HaifaSat: A New Robust SAT Solver. [Citation Graph (0, 0)][DBLP]
    Haifa Verification Conference, 2005, pp:76-89 [Conf]
  7. Jani Pesonen, Mika Katara, Tommi Mikkonen
    Production-Testing of Embedded Systems with Aspects. [Citation Graph (0, 0)][DBLP]
    Haifa Verification Conference, 2005, pp:90-102 [Conf]
  8. Eitan Farchi, Bradley R. Harrington
    Assisting the Code Review Process Using Simple Pattern Recognition. [Citation Graph (0, 0)][DBLP]
    Haifa Verification Conference, 2005, pp:103-115 [Conf]
  9. Daniel J. Quinlan, Shmuel Ur, Richard W. Vuduc
    An Extensible Open-Source Compiler Infrastructure for Testing. [Citation Graph (0, 0)][DBLP]
    Haifa Verification Conference, 2005, pp:116-133 [Conf]
  10. Mark Last, Shay Eyal, Abraham Kandel
    Effective Black-Box Testing with Genetic Algorithms. [Citation Graph (0, 0)][DBLP]
    Haifa Verification Conference, 2005, pp:134-148 [Conf]
  11. Yosi Ben-Asher, Igor Breger, Eitan Farchi, Ilia Gordon
    Optimal Algorithmic Debugging and Reduced Coverage Using Search in Structured Domains. [Citation Graph (0, 0)][DBLP]
    Haifa Verification Conference, 2005, pp:149-157 [Conf]
  12. Dalit Naor, Petra Reshef, Ohad Rodeh, Allon Shafrir, Adam Wolman, Eitan Yaffe
    Benchmarking and Testing OSD for Correctness and Compliance. [Citation Graph (0, 0)][DBLP]
    Haifa Verification Conference, 2005, pp:158-176 [Conf]
  13. Roberto Jung Drebes, Gabriela Jacques-Silva, Joana Matos Fonseca da Trindade, Taisy Silva Weber
    A Kernel-Based Communication Fault Injector for Dependability Testing of Distributed Systems. [Citation Graph (0, 0)][DBLP]
    Haifa Verification Conference, 2005, pp:177-190 [Conf]
  14. Rahul Agarwal, Liqiang Wang, Scott D. Stoller
    Detecting Potential Deadlocks with Static Analysis and Run-Time Monitoring. [Citation Graph (0, 0)][DBLP]
    Haifa Verification Conference, 2005, pp:191-207 [Conf]
  15. Saddek Bensalem, Klaus Havelund
    Dynamic Deadlock Analysis of Multi-threaded Programs. [Citation Graph (0, 0)][DBLP]
    Haifa Verification Conference, 2005, pp:208-223 [Conf]
  16. Sergey Polyakov, Assaf Schuster
    Verification of the Java Causality Requirements. [Citation Graph (0, 0)][DBLP]
    Haifa Verification Conference, 2005, pp:224-246 [Conf]
  17. Steve MacDonald, Jun Chen, Diego Novillo
    Choosing Among Alternative Futures. [Citation Graph (0, 0)][DBLP]
    Haifa Verification Conference, 2005, pp:247-264 [Conf]
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