CompArch 2013

The CompArch logo
17–21 June 2013 : Vancouver, British Columbia, Canada

Tuesday, 18 June


Keynote 1:

Mahadev Satyanarayanan
Cloudlets: at the Leading Edge of Cloud-Mobile Convergence

(Allard Hall, Forum 101)


(All CBSE sessions today
in Allard Hall, room 106)

CBSE 1: Adaptable Components

Christian Heinzemann and Steffen Becker. Executing Reconfigurations in Hierarchical Component Architectures

Hang Yin, Hongwan Qin, Jan Carlson and Hans Hansson. Mode switch handling for the ProCom component model

Gilles Vanwormhoudt and Areski Flissi. CIAO: A Component Model and its OSGi Framework for Dynamically Adaptable Telephony Applications

(All QoSA sessions today
in Allard Hall, room Forum 101)

QoSA 1: The System View

Borjan Tchakaloff, Sébastien Saudrais and Jean-Philippe Babau. ORQA: Modeling Energy and Quality of Service within AUTOSAR Models

John Klein and Hans van Vliet. A Systematic Review of System-of-Systems Architecture Research

Qinghua Lu, Liming Zhu, Len Bass, Xiwei Xu, Zhanwen Li and Hiroshi Wada. API Issues: an Empirical Study and Impact


CBSE 2: Component Verification

Kenneth Johnson, Radu Calinescu and Shinji Kikuchi. An Incremental Verification Framework for Component-Based Software Systems

Jir̆í Barnat, Nikola Benes, Ivana Cerna and Zuzana Petruchová. DCCL: Verification of Component Systems with Ensembles

Eden Burton and Emil Sekerinski. Correctness of Object-Oriented Programs with Mixins

QoSA 2: Adaptive Systems

Eric Yuan, Sam Malek, Bradley Schmerl, David Garlan and Jeff Gennari. Architecture-Based Self-Protecting Software Systems

Matthias Becker, Markus Luckey and Steffen Becker. Performance Analysis of Self-Adaptive Systems for Requirements Validation at Design-Time

Terry Zhou, Ian Peake and Heinz Schmidt. Towards Cost-aware Service Recovery


CBSE 3: Dependable & Reusable Components

Sanchit Karve and Christopher Scaffidi. Towards Mining Informal Online Data to Guide Component-Reuse Decisions

Widura Schwittek and Stefan Eicker. A Study on Third Party Component Reuse in Java Enterprise Open Source Software

Quentin Enard, Miruna Stoicescu, Emilie Balland, Charles Consel, Laurence Duchien, Jean-Charles Fabre and Matthieu Roy. Design-driven Development Methodology for Resilient Computing

QoSA 3: Quality Analysis

Balwinder Sodhi, Ashish Agrawal and Prabhakar Tadinada. A Multi-dimensional Measure for Intrusion – the Intrusiveness Quality Attribute

Catia Trubiani, Indika Meedeniya, Vittorio Cortellessa, Aldeida Aleti and Lars Grunske. Model-based Performance Analysis of Software Architectures under Uncertainty

Luca Berardinelli, Philip Langer and Tanja Mayerhofer. Combining fUML and Profiles for Non-Functional Analysis Based on Model Execution Traces



(Atrium of Allard Hall)


CompArch 2013 gratefully acknowledges the financial and professional support of the following organizations and professional societies:

University of British Columbia sponsors CompArch 2013 ACM SIGSoft sponsors CompArch 2013 Karlsruhe Institute of Technology sponsors CompArch 2013 Faculty of Informatics Masaryk University sponsors CompArch 2013 Agile Vancouver sponsors CompArch 2013
Software Engineering Institute sponsors CompArch 2013 Kruchten Engineering Services Ltd sponsors CompArch 2013 Microsoft sponsors CompArch 2013 University of Applied Sciences and Arts Northwestern Switzerland sponsors CompArch 2013