SAVCBS@FSE

Keyphrases

Publications

2006

Proceedings of the 2006 Conference on Specification and Verification of Component-Based Systems, SAVCBS '06, Portland, Oregon, USA, November 10-11, 2006 SAVCBS@FSE (2006)
Bart Jacobs, Frank Piessens, Wolfram Schulte
VC generation for functional behavior and non-interference of iterators. SAVCBS@FSE (2006)
Julien Groslambert, Jacques Julliand, Olga Kouchnarenko
JML-based verification of liveness properties on a class in isolation. SAVCBS@FSE (2006)
Andrew McVeigh, Jeff Kramer, Jeff Magee
Using resemblance to support component reuse and evolution. SAVCBS@FSE (2006)
Joseph R. Kiniry, Alan E. Morkan, Barry Denby
Soundness and completeness warnings in ESC/Java2. SAVCBS@FSE (2006)
Joan Krone, William F. Ogden, Murali Sitaraman
Performance analysis based upon complete profiles. SAVCBS@FSE (2006)
Hendrik Post, Wolfgang Küchlin
Automatic data environment construction for static device drivers analysis. SAVCBS@FSE (2006)
Patrice Chalin
Early detection of JML specification errors using ESC/Java2. SAVCBS@FSE (2006)
Françoise Bellegarde, Jacques Julliand, Hassan Mountassir, Emilie Oudot
Experiments in the use of τ-simulations for the components-verification of real-time systems. SAVCBS@FSE (2006)
Bruce W. Weide
SAVCBS 2006 challenge: specification of iterators. SAVCBS@FSE (2006)
Kevin Bierhoff
Iterator specification with typestates. SAVCBS@FSE (2006)
Alexander Ufimtsev, Liam Murphy
Performance modeling of a JavaEE component application using layered queuing networks: revised approach and a case study. SAVCBS@FSE (2006)
Neelakantan R. Krishnaswami
Reasoning about iterators with separation logic. SAVCBS@FSE (2006)
Gregory Kulczycki, Jyotindra Vasudeo
Simplifying reasoning about objects with Tako. SAVCBS@FSE (2006)
David R. Cok
Specifying java iterators with JML and Esc/Java2. SAVCBS@FSE (2006)