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

Cover Page, Table of Contents, and Introduction

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

Poster Session

Specification and Design of Component-based Coordination Systems by Integrating Coordination Patterns
Pedro Luis Pérez Serrano, University of Extremadura
Marisol Sanchez-Alonso, University of Extremadura

Constraint satisfaction techniques for diagnosing errors in Design by Contract software
Rafael Ceballos, Univ. Sevilla
Rafael M. Gasca, Univ. Sevilla
Diana Borrego Univ. Sevilla

A Categorical Characterization for the Compositional Features of the # Component Model
Francisco Heron Carvalho Junior, Universidade Federal do Ceará
Rafael Lins, Universidade Federal de Pernambuco

Software Product Lines structuring based upon market demands
Montse Ereño, Mondragon University
Rebeca Cortazar, Deusto University
Uxue Landa, Mondragon University

Component-Based Specification Approach for Embedded Systems
Abdelaziz Guerrouat, Technical University of Clausthal
Harald Richter, Technical University of Clausthal

Theory of Infinite Streams and Objects
Konstantin Chekin, Dresden University of Technology

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/08/17 15:51:18 $