• 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

• 2015
• 
  Dejanira Araiza-Illan, David G. Western, Anthony G. Pipe, Kerstin Eder:
  Coverage-Driven Verification - An Approach to Verify Code for Robots that Directly Interact with Humans. Haifa Verification Conference 2015: 69-84
• 
  Moab Arar, Michael L. Behm, Odellia Boni, Raviv Gal, Alex Goldin, Maxim Ilyaev, Einat Kermany, John R. Reysa, Bilal Saleh, Klaus-Dieter Schubert, Gil Shurek, Avi Ziv:
  The Verification Cockpit - Creating the Dream Playground for Data Analytics over the Verification Process. Haifa Verification Conference 2015: 51-66
• 
  Andrew Becker, Djordje Maksimovic, David Novo, Mohsen Ewaida, Andreas G. Veneris, Barbara Jobstmann, Paolo Ienne:
  FudgeFactor: Syntax-Guided Synthesis for Accurate RTL Error Localization and Correction. Haifa Verification Conference 2015: 259-275
• 
  Sergiy Bogomolov, Christian Schilling, Ezio Bartocci, Grégory Batt, Hui Kong, Radu Grosu:
  Abstraction-Based Parameter Synthesis for Multiaffine Systems. Haifa Verification Conference 2015: 19-35
• 
  Jakub Daniel, Pavel Parízek:
  PANDA: Simultaneous Predicate Abstraction and Concrete Execution. Haifa Verification Conference 2015: 87-103
• 
  Christian Herrera, Bernd Westphal:
  Quasi-equal Clock Reduction: Eliminating Assumptions on Networks. Haifa Verification Conference 2015: 173-189
• 
  Jin Hyun Kim, Axel Legay, Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen:
  Resource-Parameterized Timing Analysis of Real-Time Systems. Haifa Verification Conference 2015: 190-205
• 
  Balázs Kiss, Nikolai Kosmatov, Dillon Pariente, Armand Puccetti:
  Combining Static and Dynamic Analyses for Vulnerability Detection: Illustration on Heartbleed. Haifa Verification Conference 2015: 39-50
• 
  Jan Láník, Oded Maler:
  On Switching Aware Synthesis for Combinational Circuits. Haifa Verification Conference 2015: 276-291
• 
  Martin Leucker, Grigory Markin, Martin R. Neuhäußer:
  A New Refinement Strategy for CEGAR-Based Industrial Model Checking. Haifa Verification Conference 2015: 155-170
• 
  Jianwen Li, Shufang Zhu, Geguang Pu, Moshe Y. Vardi:
  SAT-Based Explicit LTL Reasoning. Haifa Verification Conference 2015: 209-224
• 
  Jia Hui Liang, Vijay Ganesh, Ed Zulkoski, Atulan Zaman, Krzysztof Czarnecki:
  Understanding VSIDS Branching Heuristics in Conflict-Driven Clause-Learning SAT Solvers. Haifa Verification Conference 2015: 225-241
• 
  Martin Nowack, Katja Tietze, Christof Fetzer:
  Parallel Symbolic Execution: Merging In-Flight Requests. Haifa Verification Conference 2015: 120-135
• 
  Rajarshi Ray, Amit Gurung, Binayak Das, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu:
  XSpeed: Accelerating Reachability Analysis on Multi-core Processors. Haifa Verification Conference 2015: 3-18
• 
  Heike Wehrheim, Oleg Travkin:
  TSO to SC via Symbolic Execution. Haifa Verification Conference 2015: 104-119
• 
  Ping Yeung, Eugene Mandel:
  Multi-Domain Verification of Power, Clock and Reset Domains. Haifa Verification Conference 2015: 245-255
• 
  Lenore D. Zuck, Sanjiva Prasad:
  Limited Mobility, Eventual Stability. Haifa Verification Conference 2015: 139-154
• 
  Nir Piterman:
  Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings. Lecture Notes in Computer Science 9434, Springer 2015, ISBN 978-3-319-26286-4 [contents]