• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 18 matches

• 2006
• 
  Shmuel Ur, Eyal Bin, Yaron Wolfsthal:
  Hardware and Software Verification and Testing, First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers. Lecture Notes in Computer Science 3875, Springer 2006, ISBN 3-540-32604-9 [contents]
• 2005
• 
  Rahul Agarwal, Liqiang Wang, Scott D. Stoller:
  Detecting Potential Deadlocks with Static Analysis and Run-Time Monitoring. Haifa Verification Conference 2005: 191-207
• 
  Yosi Ben-Asher, Igor Breger, Eitan Farchi, Ilia Gordon:
  Optimal Algorithmic Debugging and Reduced Coverage Using Search in Structured Domains. Haifa Verification Conference 2005: 149-157
• 
  Shoham Ben-David, Dana Fisman, Sitvanit Ruah:
  The Safety Simple Subset. Haifa Verification Conference 2005: 14-29
• 
  Saddek Bensalem, Klaus Havelund:
  Dynamic Deadlock Analysis of Multi-threaded Programs. Haifa Verification Conference 2005: 208-223
• 
  Shady Copty, Itai Jaeger, Yoav Katz:
  Path-Based System Level Stimuli Generation. Haifa Verification Conference 2005: 1-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. Haifa Verification Conference 2005: 177-190
• 
  Eitan Farchi, Bradley R. Harrington:
  Assisting the Code Review Process Using Simple Pattern Recognition. Haifa Verification Conference 2005: 103-115
• 
  Roman Gershman, Ofer Strichman:
  HaifaSat: A New Robust SAT Solver. Haifa Verification Conference 2005: 76-89
• 
  Zurab Khasidashvili, Alexander Nadel, Amit Palti, Ziyad Hanna:
  Simultaneous SAT-Based Model Checking of Safety Properties. Haifa Verification Conference 2005: 56-75
• 
  Milind Kulkarni, J. Benita Bommi:
  Assertion-Based Verification for the SpaceCAKE Multiprocessor - A Case Study. Haifa Verification Conference 2005: 43-55
• 
  Mark Last, Shay Eyal, Abraham Kandel:
  Effective Black-Box Testing with Genetic Algorithms. Haifa Verification Conference 2005: 134-148
• 
  Steve MacDonald, Jun Chen, Diego Novillo:
  Choosing Among Alternative Futures. Haifa Verification Conference 2005: 247-264
• 
  Sharad Malik:
  A Case for Runtime Validation of Hardware. Haifa Verification Conference 2005: 30-42
• 
  Dalit Naor, Petra Reshef, Ohad Rodeh, Allon Shafrir, Adam Wolman, Eitan Yaffe:
  Benchmarking and Testing OSD for Correctness and Compliance. Haifa Verification Conference 2005: 158-176
• 
  Jani Pesonen, Mika Katara, Tommi Mikkonen:
  Production-Testing of Embedded Systems with Aspects. Haifa Verification Conference 2005: 90-102
• 
  Sergey V. Polyakov, Assaf Schuster:
  Verification of the Java Causality Requirements. Haifa Verification Conference 2005: 224-246
• 
  Daniel J. Quinlan, Shmuel Ur, Richard W. Vuduc:
  An Extensible Open-Source Compiler Infrastructure for Testing. Haifa Verification Conference 2005: 116-133