Component-Based Systems
September 5-6, 2005
|
|
SAVCBS'05 |
|
Specification and Verification of Component-Based Systems |
|
| Workshop at September 5-6, 2005 |
Assume-Guarantee Testing
Colin Blundell, University of Pennsylvania
Dimitra Giannakopoulou, RIACS/NASA Ames
Corina Pasareanu, QSS/NASA Ames
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
Thread-Modular Verification by Context Inference
Ranjit Jhala, University of California San Diego
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
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
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