Attendees and Position Papers

Stuart Anderson, LFC, Edinburgh
Type Systems, Software Architectures, and Testing

Antonia Bertolino, Istituto di Elaborazione della Informazione, CNR, Pisa
Reaction Graphs for the Testing and Analysis of Software Architectures

Paolo Ciancarini, Università di Bologna
Model Checking a Software Architecture

Lori Clarke, University of Massachusetts, Amherst
Improving Architectural Description Languages to Support Analysis Better

Russo Fabrizio, Università di L'Aquila

Mario Fusani, Istituto di Elaborazione della Informazione, CNR, Pisa
Quality Evalutaiton based on Architecture Analysis

David Garlan, Carnegie Mellon University
Foundations for Compositional Connectors

Carlo Ghezzi, Politecnico di Milano

William Griswold, University of California, San Diego
Coping With Software Change Using Information Transparency

Mary-Jean Harrold, Ohio State University
Architecture-Based Regression Testing of Evolving Systems

Paola Inverardi, Universita' di L'Aquila
Reaction Graphs for the Testing and Analysis of Software Architectures

Dimitra Giannakopoulou, Imperial College, United Kingdom
Behaviour Analysis based on Software Architecture

Jeff Kramer, Imperial College, United Kingdom
Behaviour Analysis based on Software Architecture

Charles Liu, University of California, Irvine
Software Components with Retrospectors

Martina Marrè, Universidad de Buenos Aires, Argentina

Frederic Mercier, Istituto di Elaborazione della Informazione del CNR, Pisa

Vinicio Lami, Istituto di Elaborazione della Informazione del CNR, Pisa

Cecilia Mascolo, Università di Bologna
Model Checking a Software Architecture

Daniel Le Metayer, INRIA, Rennes, France

Carlo Montangero, Università di Pisa
A Case for Refinement Calculi in Software Architecture Design

Henry Muccini, Università di L'Aquila

Peyman Oreizy, University of California, Irvine
Issues in Modeling and Analyzing in Dynamic Software Architectures

Leon Osterweil, University of Massachusetts, Amherst
Architecting Processes are Key to Software Quality

Emilia Peciola, Ericcson, Roma

Mauro Pezzè, Politecnico di Milano

Debra Richardson, University of California, Irvine
Software Components with Retrospectors
Architecture-level Dependence Analysis for Software Systems

David Rosenblum, University of California, Irvine
Challenges in Exploiting Architectural Models for Software Testing

Judy Stafford, University of Colorado, Boulder
Architecture-level Dependence Analysis for Software Systems

Valeria Torri, Hewlett Packard, Bergamo

Michel Wermelinger, Unversidade Nova de Lisboa, Portugal
Specification, Testing and Analysis of (Dynamic) Software Architecture with the Chemical Abstract Machine

Alexander Wolf, University of Colorado, Boulder
Architecture-level Dependence Analysis for Software Systems

Daniel Yankelevich, Universidad de Buenos Aires, Argentina

Michal Young, University of Oregon
Testing Complex Architectural Conformance Relations