Specification and Verification of
Component-Based Systems
Workshop at
October 31-November 1, 2004

Sunday, October 31, 2004

Talks from Paper Session 1

Verification of Multithreaded Object-oriented Programs with Invariants
Bart Jacobs, Katholieke Universiteit Leuven
K. Rustan M. Leino, Microsoft Research
Wolfram Schulte, Microsoft Research

Talks from Paper Session 2

Encapsulating Concurrency as an Approach to Unification
Santosh Kumar, The Ohio State University
Bruce W. Weide, The Ohio State University
Paolo A. G. Sivilotti, The Ohio State University
Nigamanth Sridhar, Cleveland State University
Jason O. Hallstrom, Clemson University
Scott M. Pike, Texas A&M University

Basic Laws of Object Modeling
Rohit Gheyi, Federal University of Pernambuco
Tiago Massoni, Federal University of Pernambuco
Paulo Borba, Federal University of Pernambuco

Selective Open Recursion: Modular Reasoning about Components and Inheritance
Jonathan Aldrich, Carnegie Mellon University
Kevin Donnelly, Boston University

Talks from Paper Session 3

CTL Model-checking for Systems with Unspecified Finite-State Components
Gaoyan Xie, Washington State University
Zhe Dang, Washington State University

Automatic Extraction of Sliced Object State Machines for Component Interfaces
Tao Xie, University of Washington
David Notkin, University of Washington

Monday, November 1, 2004

Talks from Paper Session 4

Formalizing Lightweight Component Composition Verification
Stephen McCamant, Massachusetts Institute of Technology
Michael D. Ernst, Massachusetts Institute of Technology

Verification of Evolving Software
Sagar Chaki, Carnegie Mellon University
Natasha Sharygina, Carnegie Mellon University
Nishant Sinha, Carnegie Mellon University

Talks from Paper Session 5

Compositional Quality of Service Semantics
Richard Staehli, Simula Research Laboratory
Frank Eliassen, Simula Research Laboratory

An Analysis Framework for Security in Web Applications
Gary Wassermann, University of California, Davis
Zhendong Su, University of California, Davis

Talks from Paper Session 6

Synthesis of "Correct" Adaptors for Protocol Enhancement in Component-based Systems
Marco Autili, University of L'Aquila
Paola Inverardi, University of L'Aquila
Massimo Tivoli, University of L'Aquila
DavidGarlan, Carnegie Mellon University

Monitoring Design Pattern Contracts
Jason O. Hallstrom, Clemson University
Neelam Soundarajan, The Ohio State University
Benjamin Tyler, The Ohio State University

DEET for Component-Based Software
Murali Sitaraman, Clemson University
Durga P. Gandi, Clemson University
Wolfgang Küchlin, Universität Tübigen
Carsten Sinz, Universität Tübigen
Bruce W. Weide, The Ohio State University

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

$Date: 2004/11/05 04:16:13 $