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

• 2015
• 
  Assalé Adjé, Pierre-Loïc Garoche:
  Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs. VMCAI 2015: 99-116
• 
  Peter Backes, Jan Reineke:
  Analysis of Infinite-State Graph Transformation Systems by Cluster Abstraction. VMCAI 2015: 135-152
• 
  Nikolaj S. Bjørner, Arie Gurfinkel:
  Property Directed Polyhedral Abstraction. VMCAI 2015: 263-281
• 
  Bettina Braitling, Luis María Ferrer Fioriti, Hassan Hatefi, Ralf Wimmer, Bernd Becker, Holger Hermanns:
  Abstraction-Based Computation of Reward Measures for Markov Automata. VMCAI 2015: 172-189
• 
  Maria Christakis, Peter Müller, Valentin Wüstholz:
  An Experimental Evaluation of Deliberate Unsoundness in a Static Program Analyzer. VMCAI 2015: 336-354
• 
  Maria Christakis, Patrice Godefroid:
  Proving Memory Safety of the ANI Windows Image Parser Using Compositional Exhaustive Testing. VMCAI 2015: 373-392
• 
  Agostino Cortesi, Pietro Ferrara, Marco Pistoia, Omer Tripp:
  Datacentric Semantics for Verification of Privacy Policy Compliance by Mobile Applications. VMCAI 2015: 61-79
• 
  Patrick Cousot:
  Abstracting Induction by Extrapolation and Interpolation. VMCAI 2015: 19-42
• 
  Andrei Marian Dan, Yuri Meshman, Martin T. Vechev, Eran Yahav:
  Effective Abstractions for Verification under Relaxed Memory Models. VMCAI 2015: 449-466
• 
  Pietro Ferrara, Peter Müller, Milos Novácek:
  Automatic Inference of Heap Properties Exploiting Value Domains. VMCAI 2015: 393-411
• 
  Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng:
  Abstracting and Counting Synchronizing Processes. VMCAI 2015: 227-244
• 
  Khalil Ghorbal, Andrew Sogokon, André Platzer:
  A Hierarchy of Proof Rules for Checking Differential Invariance of Algebraic Sets. VMCAI 2015: 431-448
• 
  Rigel Gjomemo, Kedar S. Namjoshi, Phu H. Phung, V. N. Venkatakrishnan, Lenore D. Zuck:
  From Verification to Optimizations. VMCAI 2015: 300-317
• 
  Bishoksan Kafle, John P. Gallagher:
  Tree Automata-Based Refinement with Application to Horn Clause Verification. VMCAI 2015: 209-226
• 
  Jiangchao Liu, Xavier Rival:
  Abstraction of Arrays Based on Non Contiguous Partitions. VMCAI 2015: 282-299
• 
  Madhavan Mukund, Ranjal Gautham Shenoy, S. P. Suresh:
  Bounded Implementations of Replicated Data Types. VMCAI 2015: 355-372
• 
  Kartik Nagar, Y. N. Srikant:
  Path Sensitive Cache Analysis Using Cache Miss Paths. VMCAI 2015: 43-60
• 
  Pavithra Prabhakar, Miriam Garcia Soto:
  Foundations of Quantitative Predicate Abstraction for Stability Analysis of Hybrid Systems. VMCAI 2015: 318-335
• 
  Mickael Randour, Jean-François Raskin, Ocan Sankur:
  Variations on the Stochastic Shortest Path Problem. VMCAI 2015: 1-18
• 
  Andrew Reynolds, Viktor Kuncak:
  Induction for SMT Solvers. VMCAI 2015: 80-98
• 
  Ratul Saha, Javier Esparza, Sumit Kumar Jha, Madhavan Mukund, P. S. Thiagarajan:
  Distributed Markov Chains. VMCAI 2015: 117-134
• 
  Gwen Salaün, Lina Ye:
  Debugging Process Algebra Specifications. VMCAI 2015: 245-262
• 
  Caterina Urban, Antoine Miné:
  Proving Guarantee and Recurrence Temporal Properties by Abstract Interpretation. VMCAI 2015: 190-208
• 
  Md Tawhid Bin Waez, Andrzej Wasowski, Juergen Dingel, Karen Rudie:
  A Model for Industrial Real-Time Systems. VMCAI 2015: 153-171
• 
  He Zhu, Aditya V. Nori, Suresh Jagannathan:
  Dependent Array Type Inference from Tests. VMCAI 2015: 412-430
• 2014
• 
  Deepak D'Souza, Akash Lal, Kim Guldstrand Larsen:
  Verification, Model Checking, and Abstract Interpretation - 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings. Lecture Notes in Computer Science 8931, Springer 2014, ISBN 978-3-662-46080-1 [contents]