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