SAVCBS'05
	Specification and Verification of Component-Based Systems
	Workshop at 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