|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 54 occurrences of 44 keywords
|
|
|
|
|
Results
Found 22 publication records. Showing 22 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Perry R. James, Patrice Chalin |
ESC4: a modern caching ESC for Java.  |
SAVCBS  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter D. Mosses |
Component-based semantics. |
SAVCBS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | |
SAVCBS'09, Proceedings of the 8th International Workshop on Specification and Verification of Component-Based Systems, August 25, 2009, Amsterdam, The Netherlands |
SAVCBS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mariëlle Stoelinga |
Compositional dependability modeling using arcade: abstract for the keynote talk. |
SAVCBS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Chiyoung Seo, George Edwards, Daniel Popescu 0001, Sam Malek, Nenad Medvidovic |
A framework for estimating the energy consumption induced by a distributed system's architectural style. |
SAVCBS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich |
An abstraction refinement approach combining precise and approximated techniques for efficient program verification: abstract for the invited talk. |
SAVCBS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Taekgoo Kim, Kevin Bierhoff, Jonathan Aldrich, Sungwon Kang |
Typestate protocol specification in JML. |
SAVCBS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrice Chalin, Perry R. James, George Karabotsos |
An integrated verification environment for JML: architecture and early results. |
SAVCBS |
2007 |
DBLP DOI BibTeX RDF |
JML4, integrated verification environment, Eclipse, java modeling language |
| 1 | Luciano Baresi, Giorgio Gerosa, Carlo Ghezzi, Luca Mottola |
Playing with time in publish-subscribe using a domain-specific model checker. |
SAVCBS |
2007 |
DBLP DOI BibTeX RDF |
modeling, model checking, time, distributed architectures, publish-subscribe |
| 1 | Peter Müller 0001, Martin Nordio |
Proof-transforming compilation of programs with abrupt termination. |
SAVCBS |
2007 |
DBLP DOI BibTeX RDF |
proof-transforming compiler, proof-carrying code, trusted components |
| 1 | Ádám Darvas, Peter Müller 0001 |
Faithful mapping of model classes to mathematical structures. |
SAVCBS |
2007 |
DBLP DOI BibTeX RDF |
model classes, verification, specification, abstraction, isomorphism, java modeling language |
| 1 | Adam Bakewell, Dan R. Ghica |
Game-based safety checking with Mage. |
SAVCBS |
2007 |
DBLP DOI BibTeX RDF |
game models, symbolic automata, refinement, software model checking, compositional verification, data approximation |
| 1 | Daniel Sykes, William Heaven, Jeff Magee, Jeff Kramer |
Plan-directed architectural change for autonomous systems. |
SAVCBS |
2007 |
DBLP DOI BibTeX RDF |
software architecture, dynamic reconfiguration, self-adaptive, autonomous systems, self-healing |
| 1 | Vasu S. Alagar, Mubarak Mohammad |
Specification and verification of trustworthy component-based real-time reactive systems. |
SAVCBS |
2007 |
DBLP DOI BibTeX RDF |
components, trustworthiness, real-time reactive systems |
| 1 | Arnd Poetzsch-Heffter (eds.) |
Proceedings of the 2007 Conference Specification and Verification of Component-Based Systems, SAVCBS 2007, Dubrovnik, Croatia, September 3-4, 2007 |
SAVCBS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavlína Vareková, Barbora Zimmerová |
Subject-observer specification with component-interaction automata. |
SAVCBS |
2007 |
DBLP DOI BibTeX RDF |
dynamic number of components, verification, specification, component-based systems, software modelling, finite-state systems |
| 1 | Pavlína Vareková, Pavel Moravec 0002, Ivana Cerná, Barbora Zimmerová |
Effective verification of systems with a dynamic number of components. |
SAVCBS |
2007 |
DBLP DOI BibTeX RDF |
dynamic number of components, formal verification, software verification, component-based systems, finite-state systems |
| 1 | Mohammad Izadi, Ali Movaghar 0001 |
Compositional failure-based semantic equivalences for Reo specifications. |
SAVCBS |
2007 |
DBLP DOI BibTeX RDF |
Reo specification language, failure-based equivalences, semantics, coordination, component-based systems, constraint automata |
| 1 | Dirk Niebuhr, Andreas Rausch |
A concept for dynamic wiring of components: correctness in dynamic adaptive systems. |
SAVCBS |
2007 |
DBLP DOI BibTeX RDF |
runtime testing, adaptation, component, reconfiguration, correctness, dynamic adaptive systems |
| 1 | Ramzi Ben Salah, Marius Bozga, Oded Maler |
On timed components and their abstraction. |
SAVCBS |
2007 |
DBLP DOI BibTeX RDF |
components, abstraction, timed automata |
| 1 | Mikolás Janota, Radu Grigore, Michal Moskal |
Reachability analysis for annotated code. |
SAVCBS |
2007 |
DBLP DOI BibTeX RDF |
ESC/Java2, JML |
| 1 | Olaf Owe, Gerardo Schneider, Martin Steffen |
Components, objects, and contracts. |
SAVCBS |
2007 |
DBLP DOI BibTeX RDF |
Creol, object-orientation, components, interfaces, contracts, compositionality, deontic logic |
Displaying result #1 - #22 of 22 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license