SAVCBS 2007: Dubrovnik, Croatia

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