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

• 2001
• 
  Detlef Bartetzko, Clemens Fischer, Michael Möller, Heike Wehrheim:
  Jass - Java with Assertions. RV@CAV 2001: 103-117
• 
  Mireille Ducassé, Erwan Jahier:
  Efficient Automated Trace Analysis: Examples with Morphine. RV@CAV 2001: 118-133
• 
  Surrendra Dudani, Joao Geada, Grzegorz Jakacki, Daniel Vainer:
  Dynamic Assertions Using TXP. RV@CAV 2001: 134-146
• 
  Bernd Finkbeiner, Henny Sipma:
  Checking Finite Traces using Alternating Automata. RV@CAV 2001: 147-163
• 
  Ann Q. Gates, Steve Roach, Oscar Mondragon, Nelly Delgado:
  DynaMICs: Comprehensive Support for Run-Time Monitoring. RV@CAV 2001: 164-180
• 
  Marc Geilen:
  On the Construction of Monitors for Temporal Logic Properties. RV@CAV 2001: 181-199
• 
  Klaus Havelund, Grigore Rosu:
  Preface. RV@CAV 2001: 287-288
• 
  Klaus Havelund, Grigore Rosu:
  Monitoring Java Programs with Java PathExplorer. RV@CAV 2001: 200-217
• 
  Moonjoo Kim, Sampath Kannan, Insup Lee, Oleg Sokolsky, Mahesh Viswanathan:
  Java-MaC: a Run-time Assurance Tool for Java Programs. RV@CAV 2001: 218-235
• 
  David Kortenkamp, Tod Milam, Reid G. Simmons, Joaquín Lopez Fernández:
  Collecting and Analyzing Data from Distributed Control Programs. RV@CAV 2001: 236-254
• 
  Jeremy W. Nimmer, Michael D. Ernst:
  Static verification of dynamically detected program invariants: Integrating Daikon and ESC/Java. RV@CAV 2001: 255-276
• 
  Stavros Tripakis, Sergio Yovine:
  Timing Analysis and Code Generation of Vehicle Control Software using Taxys. RV@CAV 2001: 277-286
• 
  Klaus Havelund, Grigore Rosu:
  Workshop on Runtime Verification, RV 2001, in connection with CAV 2001, Paris, France, July 23, 2001. Electronic Notes in Theoretical Computer Science 55(2), Elsevier 2001 [contents]