SAVCBS 2007:
Dubrovnik,
Croatia
Arnd Poetzsch-Heffter (Ed.):
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 
- 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
Last update Fri May 25 08:39:14 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
