Specification and Verification of
Component-Based Systems
Workshop at
September 5-6, 2005

Talks from the SAVCBS 2005 workshop

Monday, September 5, 2005

Paper Session 1

Assume-Guarantee Testing
Colin Blundell, University of Pennsylvania
Dimitra Giannakopoulou, RIACS/NASA Ames
Corina Pasareanu, QSS/NASA Ames

Paper Session 2

Dream Types - A Domain Specific Type System for Component-Based Message-Oriented Middleware
Philippe Bidinger, INRIA
Matthieu Leclercq, INRIA
Vivien Quéma, INRIA
Alan Schmitt, INRIA
Jean-Bernard Stefani, INRIA

A Specification Language for Coordinated Objects
Gabriel Ciobanu, Romanian Academy
Dorel Lucanu, A.I.Cuza University

Invited talk by Ranjit Jhala and discussion

Thread-Modular Verification by Context Inference
Ranjit Jhala, University of California San Diego

Tuesday, September 6, 2005

Paper Session 3

Component-Interaction Automata as a Verification-Oriented Component-Based System Specification
Barbora Zimmerova, Masaryk University Brno
Lubos Brim, Masaryk University Brno
Ivana Cerna, Masaryk University Brno
Pavlina Varekova, Masaryk University Brno

Performance Modeling and Prediction of Enterprise JavaBeans with Layered Queuing Network Templates
Jing Xu, Carleton University
Alexandre V. Oufimtsev, University College Dublin
Murray Woodside, Carleton University
Liam Murphy, University College Dublin

Paper Session 4

Classboxes - An Experiment in Modeling Compositional Abstractions using Explicit Contexts
Markus Lumpe, Iowa State University
Jean-Guy Schneider, Swinburne University of Technology

A Specification-Based Approach to Reasoning about Pointers
Gregory Kulczycki, Virginia Tech
Murali Sitaraman, Clemson University
Bruce Weide, The Ohio State University
Nasko Rountev, The Ohio State University

Paper Session 5

Specification and Verification of Inter-Component Constraints in CTL
Truong Thang Nguyen, Japan Advanced Institute of Science and Technology
Takuya Katayama, Japan Advanced Institute of Science and Technology

Non-null References by Default in the Java Modeling Language
Patrice Chalin, Concordia University
Frédéric Rioux, Concordia University

Discussion Session, Wrapup

Mike Barnett, Steve Edwards, Dimitra Giannakopoulou, Gary T. Leavens, and Natasha Sharygina,

$Date: 2005/09/09 13:30:12 $