default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSAVCBS@ESEC/FSE 2007: Dubrovnik, Croatia
- 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 - Pavlína Vareková, Pavel Moravec, Ivana Cerná
, Barbora Zimmerová:
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 Zimmerová:
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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-09 00:24 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
