CompArch 2013

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

Wednesday, 19 June

  CBSE
QoSA
ISARCS
09:00–10:30

Keynote 2:

Woytek Kozaczynski
Monitoring and Diagnosing Cloud Infrastructure

(Allard Hall, Forum 101)

10:30–11:00
11:00–12:30

CBSE 4: Component Analysis

(Allard Hall, room 106)

Stephan Windmüller, Johannes Neubauer, Bernhard Steffen, Falk Howar and Oliver Bauer. Active Continuous Quality Control

Iman Yusuf and Heinz Schmidt. Parameterised Architectural Patterns for Providing Cloud Service Fault Tolerance with Accurate Costings

Pietro Abate and Johannes Schauer. Bootstrap software distributions

ISARCS 1: Analysis Techniques

(Allard Hall, room 104)

Teerat Pitakrat, Andre van Hoorn, and Lars Grunske. A Comparison of Machine Learning Algorithms for Proactive Hard Disk Drive Failure Detection

Xiwei Xu, Qinghua Lu, Liming Zhu, and Jim Zhanwen Li. Availability Analysis for Deployment of In-Cloud Applications

12:30–14:00
14:00–15:30

CBSE 5: Component Design

(Allard Hall, room 106)

Tomas Bures, Ilias Gerostathopoulos, Petr Hnetynka, Jaroslav Keznikl, Michal Kit and Frantisek Plasil. DEECo—an Ensemble-Based Component System

Jaroslav Keznikl, Tomas Bures, Frantisek Plasil, Ilias Gerostathopoulos, Petr Hnetynka and Nicklas Hoch. Design of Ensemble-Based Component Systems by Invariant Refinement

Nima Jafroodi and Peter Grogono. Implementing Generalized Alternative Construct for Erasmus Language

ISARCS 2: Security and Safety

(Allard Hall, room 104)

Cuauhtemoc Castellanos, Thomas Vergnaud, Etienne Borde, Thomas Derive, and Laurent Pautet. Formalization of Design Patterns for Security and Dependability

Roshanak Roshandel, Payman Arabshahi, and Radha Poovendran. LIDAR: A Layered Intrusion Detection and Remediation Framework for Smartphones

Marc Ronell. Safety Concerns Regarding the Use of Visual Programming in Civilian Avionics Software

15:30–16:00
16:00–17:30

QoSA 4: Models, Patterns, and Viewpoints

(Allard Hall, Forum 101)

Bedir Tekinerdogan and Elif Demirli. Evaluation Framework for Software Architecture Viewpoint Languages

Yanja Dajsuren, Mark Van Den Brand, Alexander Serebrenik and Serguei Roubtsov. Simulink Models are Also Software: Modularity Assessment

Zoya Durdik and Ralf Reussner. On the Appropriate Rationale for Using Design Patterns and Pattern Documentation

ISARCS 3: Critical Systems

(Allard Hall, room 104)

Maurice H. Ter Beek, Fabio Gadducci, and Francesco Santini. Validating Reconfigurations of Reo Circuits in an e-Banking Scenario

Thomas Gamer, Thijmen de Gooijer, Manuel Oriol, Michael Wahler, and Ettore Ferranti. Fault-tolerant Fault Tolerance for Component-Based Automation Systems

17:30–21:00
 
 
 

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