• 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 272 matches

• 2017
• 
  Tatsuya Abe:
  A Verifier of Directed Acyclic Graphs for Model Checking with Memory Consistency Models. Haifa Verification Conference 2017: 51-66
• 
  Leonardo Alt, Antti E. J. Hyvärinen, Natasha Sharygina:
  LRA Interpolants from No Man's Land. Haifa Verification Conference 2017: 195-210
• 
  Bernhard Beckert, Sarah Grebing, Mattias Ulbrich:
  An Interaction Concept for Program Verification Systems with Explicit Proof Object. Haifa Verification Conference 2017: 163-178
• 
  Dirk Beyer, Thomas Lemberger:
  Software Verification: Testing vs. Model Checking - A Comparative Evaluation of the State of the Art. Haifa Verification Conference 2017: 99-114
• 
  Cuong K. Chau, Warren A. Hunt Jr., Marly Roncken, Ivan E. Sutherland:
  A Framework for Asynchronous Circuit Modeling and Verification in ACL2. Haifa Verification Conference 2017: 3-18
• 
  Mikhail M. Chupilko, Alexander Kamkin, Artem Kotsynyak, Andrei Tatarnikov:
  MicroTESK: Specification-Based Tool for Constructing Test Program Generators. Haifa Verification Conference 2017: 217-220
• 
  Koen Claessen, Jonatan Kilhamn, Laura Kovács, Bengt Lennartson:
  A Supervisory Control Algorithm Based on Property-Directed Reachability. Haifa Verification Conference 2017: 115-130
• 
  Manjeet Dahiya, Sorav Bansal:
  Modeling Undefined Behaviour Semantics for Checking Equivalence Across Compiler Optimizations. Haifa Verification Conference 2017: 19-34
• 
  Sergey Frenkel:
  Probabilistic Model of Control-Flow Altering Based Malicious Attacks - (Poster Submission). Haifa Verification Conference 2017: 249-252
• 
  Bernhard Garn, Fabian Würfl, Dimitris E. Simos:
  KERIS: A CT Tool of the Linux Kernel with Dynamic Memory Analysis Capabilities. Haifa Verification Conference 2017: 225-228
• 
  Marijn J. H. Heule, Benjamin Kiesl, Martina Seidl, Armin Biere:
  PRuning Through Satisfaction. Haifa Verification Conference 2017: 179-194
• 
  Johannes Kloos, Rupak Majumdar, Frank McCabe:
  Deferrability Analysis for JavaScript. Haifa Verification Conference 2017: 35-50
• 
  Suvam Mukherjee, Oded Padon, Sharon Shoham, Deepak D'Souza, Noam Rinetzky:
  RATCOP: Relational Analysis Tool for Concurrent Programs. Haifa Verification Conference 2017: 229-233
• 
  Luca Pulina, Armando Tacchella:
  More Adaptive Does not Imply Less Safe (with Formal Verification). Haifa Verification Conference 2017: 237-240
• 
  Ariel Rosenfeld, Odaya Kardashov, Orel Zang:
  ACAT: A Novel Machine-Learning-Based Tool for Automating Android Application Testing. Haifa Verification Conference 2017: 213-216
• 
  George B. Sherwood:
  Embedded Functions for Test Design Automation. Haifa Verification Conference 2017: 221-224
• 
  Fedor Shmarov, Nicola Paoletti, Ezio Bartocci, Shan Lin, Scott A. Smolka, Paolo Zuliani:
  SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems. Haifa Verification Conference 2017: 131-146
• 
  Martin Sulzmann, Kai Stadtmüller:
  Trace-Based Run-Time Analysis of Message-Passing Go Programs. Haifa Verification Conference 2017: 83-98
• 
  Tom Tervoort, I. S. W. B. Prasetya:
  APSL: A Light Weight Testing Tool for Protocols with Complex Messages. Haifa Verification Conference 2017: 241-244
• 
  Ryo Watanabe, Kozo Okano, Toshifusa Sekizawa:
  Towards Verification of Robot Design for Self-localization. Haifa Verification Conference 2017: 245-248
• 
  Zhixing Xu, Aarti Gupta, Sharad Malik:
  Trace-based Analysis of Memory Corruption Malware Attacks. Haifa Verification Conference 2017: 67-82
• 
  Shufang Zhu, Lucas M. Tabajara, Jianwen Li, Geguang Pu, Moshe Y. Vardi:
  A Symbolic Approach to Safety ltl Synthesis. Haifa Verification Conference 2017: 147-162
• 
  Ofer Strichman, Rachel Tzoref-Brill:
  Hardware and Software: Verification and Testing - 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings. Lecture Notes in Computer Science 10629, Springer 2017, ISBN 978-3-319-70388-6 [contents]
• 2016
• 
  Eli Arbel, Erez Barak, Bodo Hoppe, Shlomit Koyfman, Udo Krautz, Shiri Moran:
  Gating Aware Error Injection. Haifa Verification Conference 2016: 34-48
• 
  Massimo Benerecetti, Daniele Dell'Erba, Fabio Mogavero:
  Improving Priority Promotion for Parity Games. Haifa Verification Conference 2016: 117-133
• 
  Nikolaj S. Bjørner, Garvit Juniwal, Ratul Mahajan, Sanjit A. Seshia, George Varghese:
  ddNF: An Efficient Data Structure for Header Spaces. Haifa Verification Conference 2016: 49-64
• 
  Vincent Bloemen, Jaco van de Pol:
  Multi-core SCC-Based LTL Model Checking. Haifa Verification Conference 2016: 18-33
• 
  Lukás Holík, Michal Kotoun, Petr Peringer, Veronika Soková, Marek Trtík, Tomás Vojnar:
  Predator Shape Analysis Tool Suite. Haifa Verification Conference 2016: 202-209
• 
  Laura R. Humphrey, Bettina Könighofer, Robert Könighofer, Ufuk Topcu:
  Synthesis of Admissible Shields. Haifa Verification Conference 2016: 134-151
• 
  Wei Jin, Alessandro Orso:
  Improving Efficiency and Accuracy of Formula-Based Debugging. Haifa Verification Conference 2016: 99-116

skipping 242 more matches