SAVCBS Logo SAVCBS'05
Specification and Verification of
Component-Based Systems
Workshop at
ESEC/FSE 2005
September 5-6, 2005
SAVCBS 2005 Program Schedule
Faculty of Economics, Room 119, Monday Sep. 5 Faculty of Economics, Room 119, Tuesday Sep. 6
8:00 -
9:00
Registration open. 8:00 -
9:00
Registration open.
9:00 -
9:45
Opening remarks and introductions
Gary T. Leavens, Iowa State University
Mike Barnett, Microsoft Research
 
9:00 -
10:30
Session 3 (chair: Dimitra Giannakopoulou)
 
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
 
9:45 -
10:30
Session 1 (chair: Gary T. Leavens)
 
Assume-Guarantee Testing
Colin Blundell, University of Pennsylvania
Dimitra Giannakopoulou, RIACS/NASA Ames
Corina Pasareanu, QSS/NASA Ames
 
10:30-
11:00
Break 10:30-
11:00
Break
11:00 -
12:30
Session 2 (chair: Jonathan Aldrich)
 
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
 
11:00 -
12:30
Session 4 (chair: Jonathan Aldrich)
 
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
12:30 -
2:30
Lunch 12:30 -
2:30
Lunch
2:30 -
4:00
Poster Session (chair: Gary T. Leavens)
 
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
Rafael M. Gasca, Univ. Sevilla
Carmelo Del Valle, Univ. Sevilla
 
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
 
2:30 -
4:00
Session 5 (chair: Gary T. Leavens)
 
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
4:00 -
4:30
Break 4:00 -
4:30
Break
4:30 -
6:00
Invited Talk (chair: Mike Barnett)
 
Thread-Modular Verification by Context Inference
Ranjit Jhala, University of California San Diego
 
Discuss ideas and other topics.
4:30 -
6:00
Discussion (chair: Mike Barnett)
 
Identify collaborative topics & areas needing exploration.
 
Closing remarks, evaluations