SAVCBS

Keyphrases

Publications

2009

Perry R. James, Patrice Chalin
ESC4: a modern caching ESC for Java. SAVCBS (2009)
Peter D. Mosses
Component-based semantics. SAVCBS (2009)
SAVCBS'09, Proceedings of the 8th International Workshop on Specification and Verification of Component-Based Systems, August 25, 2009, Amsterdam, The Netherlands SAVCBS (2009)
Mariëlle Stoelinga
Compositional dependability modeling using arcade: abstract for the keynote talk. SAVCBS (2009)
Chiyoung Seo, George Edwards, Daniel Popescu, Sam Malek, Nenad Medvidovic
A framework for estimating the energy consumption induced by a distributed system's architectural style. SAVCBS (2009)
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)
Taekgoo Kim, Kevin Bierhoff, Jonathan Aldrich, Sungwon Kang
Typestate protocol specification in JML. SAVCBS (2009)

2007