default search action

combined dblp search
author search
venue search
publication search

ask others

SAVCBS@ESEC/FSE 2009: Amsterdam, The Netherlands

> Home > Conferences and Workshops > SAVCBS
> Home > Conferences and Workshops > ESEC
> Home > Conferences and Workshops > FSE

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/2009savcbs
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/2009savcbs
SAVCBS'09, Proceedings of the 8th International Workshop on Specification and Verification of Component-Based Systems, August 25, 2009, Amsterdam, The Netherlands. ACM 2009, ISBN 978-1-60558-680-9
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/Stoelinga09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/Stoelinga09
Mariëlle Stoelinga:
Compositional dependability modeling using arcade: abstract for the keynote talk. 1-2

Session 1

- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/Mosses09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/Mosses09
Peter D. Mosses:
Component-based semantics. 3-10
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/KimBAK09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/KimBAK09
Taekgoo Kim, Kevin Bierhoff, Jonathan Aldrich, Sungwon Kang:
Typestate protocol specification in JML. 11-18
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/JamesC09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/JamesC09
Perry R. James, Patrice Chalin:
ESC4: a modern caching ESC for Java. 19-26

Session 2

- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/SeoEPMM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/SeoEPMM09
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. 27-34
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/SharyginaTT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/SharyginaTT09
Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich:
An abstraction refinement approach combining precise and approximated techniques for efficient program verification: abstract for the invited talk. 35-36

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.