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

• 2011
• 
  Elvira Albert, Samir Genaim, Abu Naser Masud:
  More Precise Yet Widely Applicable Cost Analysis. VMCAI 2011: 38-53
• 
  Sébastien Bardin, Philippe Herrmann, Franck Védrine:
  Refinement-Based CFG Reconstruction from Unstructured Programs. VMCAI 2011: 54-69
• 
  Aaron R. Bradley:
  SAT-Based Model Checking without Unrolling. VMCAI 2011: 70-87
• 
  Angelo Brillout, Daniel Kroening, Philipp Rümmer, Thomas Wahl:
  Beyond Quantifier-Free Interpolation in Extensions of Presburger Arithmetic. VMCAI 2011: 88-102
• 
  Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan:
  Probabilistic Büchi Automata with Non-extremal Acceptance Thresholds. VMCAI 2011: 103-117
• 
  Chih-Hong Cheng, Harald Rueß, Alois C. Knoll, Christian Buckl:
  Synthesis of Fault-Tolerant Embedded Systems Using Games: From Theory to Practice. VMCAI 2011: 118-133
• 
  Byron Cook, Jasmin Fisher, Elzbieta Krepska, Nir Piterman:
  Proving Stabilization of Biological Systems. VMCAI 2011: 134-149
• 
  Patrick Cousot, Radhia Cousot, Francesco Logozzo:
  Precondition Inference from Intermittent Assertions and Application to Contracts on Collections. VMCAI 2011: 150-168
• 
  Benoît Delahaye, Joost-Pieter Katoen, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Falak Sher, Andrzej Wasowski:
  Abstract Probabilistic Automata. VMCAI 2011: 324-339
• 
  David L. Dill:
  Are Cells Asynchronous Circuits? - (Invited Talk). VMCAI 2011: 1
• 
  Alastair F. Donaldson, Leopold Haller, Daniel Kroening:
  Strengthening Induction-Based Race Checking with Lightweight Static Analysis. VMCAI 2011: 169-183
• 
  Robert Frohardt, Bor-Yuh Evan Chang, Sriram Sankaranarayanan:
  Access Nets: Modeling Access to Physical Spaces. VMCAI 2011: 184-198
• 
  Thomas Martin Gawlitza, Peter Lammich, Markus Müller-Olm, Helmut Seidl, Alexander Wenner:
  Join-Lock-Sensitive Forward Reachability Analysis for Concurrent Programs with Dynamic Process Creation. VMCAI 2011: 199-213
• 
  Alexander Gotmanov, Satrajit Chatterjee, Michael Kishinevsky:
  Verifying Deadlock-Freedom of Communication Fabrics. VMCAI 2011: 214-231
• 
  Eric Goubault, Sylvie Putot:
  Static Analysis of Finite Precision Computations. VMCAI 2011: 232-247
• 
  Pieter Hooimeijer, Margus Veanes:
  An Evaluation of Automata Algorithms for String Analysis. VMCAI 2011: 248-262
• 
  Falk Howar, Bernhard Steffen, Maik Merten:
  Automata Learning with Automated Alphabet Abstraction Refinement. VMCAI 2011: 263-277
• 
  Swen Jacobs, Viktor Kuncak:
  Towards Complete Reasoning about Axiomatic Specifications. VMCAI 2011: 278-293
• 
  Se-Won Kim, Kwang-Moo Choe:
  String Analysis as an Abstract Interpretation. VMCAI 2011: 294-308
• 
  Shuvendu K. Lahiri, Julien Vanegue:
  ExplainHoudini: Making Houdini Inference Transparent. VMCAI 2011: 309-323
• 
  Francesco Logozzo:
  Practical Verification for the Working Programmer with CodeContracts and Abstract Interpretation - (Invited Talk). VMCAI 2011: 19-22
• 
  Nuno P. Lopes, Andrey Rybalchenko:
  Distributed and Predictable Software Model Checking. VMCAI 2011: 340-355
• 
  Hakjoo Oh, Lucas Brutschy, Kwangkeun Yi:
  Access Analysis-Based Tight Localization of Abstract Memories. VMCAI 2011: 356-370
• 
  Ruzica Piskac, Thomas Wies:
  Decision Procedures for Automating Termination Proofs. VMCAI 2011: 371-386
• 
  Stephen F. Siegel, Ganesh Gopalakrishnan:
  Formal Analysis of Message Passing - (Invited Talk). VMCAI 2011: 2-18
• 
  Stephen F. Siegel, Timothy K. Zirkel:
  Collective Assertions. VMCAI 2011: 387-402
• 
  Bernhard Steffen, Oliver Rüthing:
  Quality Engineering: Leveraging Heterogeneous Information - (Invited Talk). VMCAI 2011: 23-37
• 
  Philippe Suter, Robin Steiger, Viktor Kuncak:
  Sets with Cardinality Constraints in Satisfiability Modulo Theories. VMCAI 2011: 403-418
• 
  Ranjit Jhala, David A. Schmidt:
  Verification, Model Checking, and Abstract Interpretation - 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings. Lecture Notes in Computer Science 6538, Springer 2011, ISBN 978-3-642-18274-7 [contents]