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

• 2010
• 
  June Andronick, David Greenaway, Kevin Elphinstone:
  Towards Proving Security in the Presence of Large Untrusted Components. SSV 2010
• 
  Sebastian Biallas, Jörg Brauer, Stefan Kowalewski:
  Counterexample-Guided Abstraction Refinement for PLCs. SSV 2010
• 
  Justin Cappos, Jonathan Jacky:
  Model-based Testing Without a Model: Assessing Portability in the Seattle Testbed. SSV 2010
• 
  David A. Cock:
  Lyrebird - Assigning Meanings to Machines. SSV 2010
• 
  Jianjun Duan, John Regehr:
  Correctness Proofs for Device Drivers in Embedded Systems. SSV 2010
• 
  Volker Kamin, Thomas Noll:
  Loop Refinement Using Octagons and Satisfiability. SSV 2010
• 
  Toshiyuki Maeda, Akinori Yonezawa:
  Typed Assembly Language for Implementing OS Kernels in SMP/Multi-Core Environments with Interrupts. SSV 2010
• 
  J. Aaron Pendergrass:
  Verification of Stack Manipulation in the SCIP Processor. SSV 2010
• 
  Jirí Simsa, Randy Bryant, Garth A. Gibson:
  dBug: Systematic Evaluation of Distributed Systems. SSV 2010
• 
  Carsten Sinz, Stephan Falke, Florian Merz:
  A Precise Memory Model for Low-Level Bounded Model Checking. SSV 2010
• 
  Ralf Huuck, Gerwin Klein, Bastian Schlich:
  5th International Workshop on Systems Software Verification, SSV'10, Vancouver, BC, Canada, October 6-7, 2010. USENIX Association 2010 [contents]