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

• 2012
• 
  Jörg Brauer, Marco Roveri, Hendrik Tews:
  6th International Workshop on Systems Software Verification, SSV 2011, August 26, 2011, Nijmegen, The Netherlands. OASIcs 24, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2012, ISBN 978-3-939897-36-1 [contents]
• 2011
• 
  Stefan Berghofer:
  Verification of Dependable Software using SPARK and Isabelle. SSV 2011: 15-31
• 
  Jan Olaf Blech:
  A Tool for the Certification of Sequential Function Chart based System Specifications. SSV 2011: 57-70
• 
  Jörg Brauer, René Rydhof Hansen, Stefan Kowalewski, Kim G. Larsen, Mads Chr. Olesen:
  Adaptable Value-Set Analysis for Low-Level Code. SSV 2011: 32-43
• 
  Holger Gast:
  Structuring Interactive Correctness Proofs by Formalizing Coding Idioms. SSV 2011: 1-14
• 
  Dominique Gückel, Stefan Kowalewski:
  Automatic Derivation of Abstract Semantics From Instruction Set Descriptions. SSV 2011: 71-83
• 
  Antti Jääskeläinen, Mika Katara, Shmuel Katz, Heikki Virtanen:
  Verification of Safety-Critical Systems: A Case Study Report on Using Modern Model Checking Tools. SSV 2011: 44-56
• 
  Frontmatter, Table of Contents, Preface. SSV 2011
• 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]
• 2009
• 
  Matko Botincan, Matthew J. Parkinson, Wolfram Schulte:
  Separation Logic Verification of C Programs with an SMT Solver. SSV 2009: 5-23
• 
  Andrew Boyton:
  A Verified Shared Capability Model. SSV 2009: 25-44
• 
  Jörg Brauer, Ralf Huuck, Bastian Schlich:
  Interprocedural Pointer Analysis in Goanna. SSV 2009: 65-83
• 
  Jörg Brauer, Bastian Schlich, Stefan Kowalewski:
  Parallel and Distributed Invariant Checking of Microcontroller Software. SSV 2009: 45-63
• 
  Ernie Cohen, Michal Moskal, Stephan Tobies, Wolfram Schulte:
  A Precise Yet Efficient Memory Model For C. SSV 2009: 85-103
• 
  Yuusuke Hashimoto, Shin Nakajima:
  Modular Checking with Model Checking. SSV 2009: 105-122
• 
  Mark A. Hillebrand, Dirk Leinenbach:
  Formal Verification of a Reader-Writer Lock Implementation in C. SSV 2009: 123-141
• 
  Ralf Huuck, Gerwin Klein, Bastian Schlich:
  Preface. SSV 2009: 1-3
• 
  Vitor Lima, Chamseddine Talhi, Djedjiga Mouheb, Mourad Debbabi, Lingyu Wang, Makan Pourzandi:
  Formal Verification and Validation of UML 2.0 Sequence Diagrams using Source and Destination of Messages. SSV 2009: 143-160
• 
  Norbert Schirmer, Makarius Wenzel:
  State Spaces - The Locale Way. SSV 2009: 161-179
• 
  Michael Vistein, Frank Ortmeier, Wolfgang Reif, Ralf Huuck, Ansgar Fehnker:
  An Abstract Specification Language for Static Program Analysis. SSV 2009: 181-197

skipping 16 more matches