default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSAVCBS@FSE 2006: Portland, Oregon, USA
- Proceedings of the 2006 Conference on Specification and Verification of Component-Based Systems, SAVCBS '06, Portland, Oregon, USA, November 10-11, 2006. ACM 2006
Session 1
- Joan Krone, William F. Ogden, Murali Sitaraman:
Performance analysis based upon complete profiles. 3-10 - Alexander Ufimtsev, Liam Murphy
:
Performance modeling of a JavaEE component application using layered queuing networks: revised approach and a case study. 11-18
Session 2
- Joseph R. Kiniry, Alan E. Morkan, Barry Denby:
Soundness and completeness warnings in ESC/Java2. 19-24 - Patrice Chalin:
Early detection of JML specification errors using ESC/Java2. 25-32
Session 3
- Françoise Bellegarde, Jacques Julliand, Hassan Mountassir, Emilie Oudot:
Experiments in the use of τ-simulations for the components-verification of real-time systems. 33-40 - Julien Groslambert, Jacques Julliand, Olga Kouchnarenko:
JML-based verification of liveness properties on a class in isolation. 41-48
Session 4
- Andrew McVeigh, Jeff Kramer, Jeff Magee:
Using resemblance to support component reuse and evolution. 49-56 - Gregory Kulczycki, Jyotindra Vasudeo:
Simplifying reasoning about objects with Tako. 57-64
Challenge problem solutions
- Bart Jacobs, Frank Piessens, Wolfram Schulte:
VC generation for functional behavior and non-interference of iterators. 67-70 - David R. Cok:
Specifying java iterators with JML and Esc/Java2. 71-74 - Bruce W. Weide:
SAVCBS 2006 challenge: specification of iterators. 75-77 - Kevin Bierhoff:
Iterator specification with typestates. 79-82 - Neelakantan R. Krishnaswami:
Reasoning about iterators with separation logic. 83-86
Poster abstract
- Hendrik Post, Wolfgang Küchlin:
Automatic data environment construction for static device drivers analysis. 89-92
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-05 22:22 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:
