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

• 2009
• 
  Perry R. James, Patrice Chalin:
  ESC4: a modern caching ESC for Java. SAVCBS 2009: 19-26
• 
  Taekgoo Kim, Kevin Bierhoff, Jonathan Aldrich, Sungwon Kang:
  Typestate protocol specification in JML. SAVCBS 2009: 11-18
• 
  Peter D. Mosses:
  Component-based semantics. SAVCBS 2009: 3-10
• 
  Chiyoung Seo, George Edwards, Daniel Popescu, Sam Malek, Nenad Medvidovic:
  A framework for estimating the energy consumption induced by a distributed system's architectural style. SAVCBS 2009: 27-34
• 
  Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich:
  An abstraction refinement approach combining precise and approximated techniques for efficient program verification: abstract for the invited talk. SAVCBS 2009: 35-36
• 
  Mariëlle Stoelinga:
  Compositional dependability modeling using arcade: abstract for the keynote talk. SAVCBS 2009: 1-2
• 
  SAVCBS'09, Proceedings of the 8th International Workshop on Specification and Verification of Component-Based Systems, August 25, 2009, Amsterdam, The Netherlands. ACM 2009, ISBN 978-1-60558-680-9 [contents]
• 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]
• 2006
• 
  Bart Jacobs, Frank Piessens, Wolfram Schulte:
  VC generation for functional behavior and non-interference of iterators. SAVCBS@FSE 2006: 67-70
• 
  Françoise Bellegarde, Jacques Julliand, Hassan Mountassir, Emilie Oudot:
  Experiments in the use of τ-simulations for the components-verification of real-time systems. SAVCBS@FSE 2006: 33-40
• 
  Kevin Bierhoff:
  Iterator specification with typestates. SAVCBS@FSE 2006: 79-82
• 
  Patrice Chalin:
  Early detection of JML specification errors using ESC/Java2. SAVCBS@FSE 2006: 25-32
• 
  David R. Cok:
  Specifying java iterators with JML and Esc/Java2. SAVCBS@FSE 2006: 71-74
• 
  Julien Groslambert, Jacques Julliand, Olga Kouchnarenko:
  JML-based verification of liveness properties on a class in isolation. SAVCBS@FSE 2006: 41-48
• 
  Joseph R. Kiniry, Alan E. Morkan, Barry Denby:
  Soundness and completeness warnings in ESC/Java2. SAVCBS@FSE 2006: 19-24
• 
  Neelakantan R. Krishnaswami:
  Reasoning about iterators with separation logic. SAVCBS@FSE 2006: 83-86

skipping 23 more matches