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

• 2007
• 
  Vasu S. Alagar, Mubarak Mohammad:
  Specification and verification of trustworthy component-based real-time reactive systems. SAVCBS 2007: 89-93
• 
  Adam Bakewell, Dan R. Ghica:
  Game-based safety checking with Mage. SAVCBS 2007: 85-87
• 
  Luciano Baresi, Giorgio Gerosa, Carlo Ghezzi, Luca Mottola:
  Playing with time in publish-subscribe using a domain-specific model checker. SAVCBS 2007: 55-62
• 
  Patrice Chalin, Perry R. James, George Karabotsos:
  An integrated verification environment for JML: architecture and early results. SAVCBS 2007: 47-53
• 
  Ádám Darvas, Peter Müller:
  Faithful mapping of model classes to mathematical structures. SAVCBS 2007: 31-38
• 
  Mohammad Izadi, Ali Movaghar:
  Compositional failure-based semantic equivalences for Reo specifications. SAVCBS 2007: 99-100
• 
  Mikolás Janota, Radu Grigore, Michal Moskal:
  Reachability analysis for annotated code. SAVCBS 2007: 23-30
• 
  Peter Müller, Martin Nordio:
  Proof-transforming compilation of programs with abrupt termination. SAVCBS 2007: 39-46
• 
  Dirk Niebuhr, Andreas Rausch:
  A concept for dynamic wiring of components: correctness in dynamic adaptive systems. SAVCBS 2007: 101-102
• 
  Olaf Owe, Gerardo Schneider, Martin Steffen:
  Components, objects, and contracts. SAVCBS 2007: 95-98
• 
  Ramzi Ben Salah, Marius Bozga, Oded Maler:
  On timed components and their abstraction. SAVCBS 2007: 63-71
• 
  Daniel Sykes, William Heaven, Jeff Magee, Jeff Kramer:
  Plan-directed architectural change for autonomous systems. SAVCBS 2007: 15-21
• 
  Pavlína Vareková, Pavel Moravec, Ivana Cerná, Barbora Zimmerová:
  Effective verification of systems with a dynamic number of components. SAVCBS 2007: 3-13
• 
  Pavlína Vareková, Barbora Zimmerová:
  Subject-observer specification with component-interaction automata. SAVCBS 2007: 75-81
• 
  Arnd Poetzsch-Heffter:
  Proceedings of the 2007 Conference Specification and Verification of Component-Based Systems, SAVCBS 2007, Dubrovnik, Croatia, September 3-4, 2007. ACM 2007, ISBN 978-1-59593-721-6 [contents]