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

• 2009
• 
  Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine:
  Approximated parameterized verification of infinite-state processes with global conditions. Formal Methods Syst. Des. 34(2): 126-156 (2009)
• 
  Remy Chevallier, Emmanuelle Encrenaz-Tiphène, Laurent Fribourg, Weiwen Xu:
  Timed verification of the generic architecture of a memory circuit using parametric timed automata. Formal Methods Syst. Des. 34(1): 59-81 (2009)
• 
  Hana Chockler, Ofer Strichman:
  Before and after vacuity. Formal Methods Syst. Des. 34(1): 37-58 (2009)
• 
  Ariel Cohen, Kedar S. Namjoshi:
  Local proofs for global safety properties. Formal Methods Syst. Des. 34(2): 104-125 (2009)
• 
  Véronique Cortier, Stéphanie Delaune:
  Safely composing security protocols. Formal Methods Syst. Des. 34(1): 1-36 (2009)
• 
  Thao Dang, Tarik Nahhal:
  Coverage-guided test generation for continuous and hybrid systems. Formal Methods Syst. Des. 34(2): 183-213 (2009)
• 
  Paul Gastin, Nathalie Sznajder, Marc Zeitoun:
  Distributed synthesis for well-connected architectures. Formal Methods Syst. Des. 34(3): 215-237 (2009)
• 
  Moez Krichen, Stavros Tripakis:
  Conformance testing for real-time systems. Formal Methods Syst. Des. 34(3): 238-304 (2009)
• 
  Orna Kupferman, Nir Piterman, Moshe Y. Vardi:
  From liveness to promptness. Formal Methods Syst. Des. 34(2): 83-103 (2009)
• 
  Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi:
  Hybrid systems: from verification to falsification by combining motion planning and discrete search. Formal Methods Syst. Des. 34(2): 157-182 (2009)