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