QoSA '14- Proceedings of the 10th international ACM Sigsoft conference on Quality of software architectures

Full Citation in the ACM Digital Library

SESSION: Keynote address

• Tomas Bures

Trust or verify?

• Bertrand Meyer

SESSION: Performance of architectures

• Bholanathsingh Surajbali

Automatic detection of performance anti-patterns in inter-component communications

• Alexander Wert
• Marius Oehler
• Christoph Heger
• Roozbeh Farahbod

Architectural tactics support in cloud computing providers: the jelastic case

• Jaime Chavarriaga
• Carlos A. Noguera
• Rubby Casallas
• Viviane Jonckers

Performance-based selection of software and hardware features under parameter uncertainty

• Leire Etxeberria
• Catia Trubiani
• Vittorio Cortellessa
• Goiuria Sagardui

SESSION: Performance modelling

• Catia Trubiani

Dealing with uncertainties in the performance modelling of software systems

• Diego Perez-Palacin
• Raffaela Mirandola

Experiences with modeling memory contention for multi-core industrial real-time systems

• Thijmen de Gooijer
• K. Eric Harper

Using architecture-level performance models as resource profiles for enterprise applications

• Andreas Brunnert
• Kilian Wischer
• Helmut Krcmar

SESSION: Architecture evaluation

• Ralf Reussner

Empirical resilience evaluation of an architecture-based self-adaptive software system

• Javier Cámara
• Pedro Correia
• Rogério de Lemos
• Marco Vieira

Architecture management and evaluation in mature products: experiences from a lightweight approach

• Mikko Raatikainen
• Juha Savolainen
• Tomi Männistö

Failure data collection for reliability prediction models: a survey

• Barbora Buhnova
• Stanislav Chren
• Lucie Fabriková

SESSION: Architecture analysis I

• Barbora Bühnová

Efficient re-resolution of SMT specifications for evolving software architectures

• Kenneth Johnson
• Radu Calinescu

Regression verification of AADL models through slicing of system dependence graphs

• Andreas Johnsen
• Kristina Lundqvist
• Paul Pettersson
• Kaj Hänninen

Evaluation of a static architectural conformance checking method in a line of computer games

• Tobias Olsson
• Daniel Toll
• Anna Wingkvist
• Morgan Ericsson

SESSION: Architecture analysis II

• Ivica Crnkovic

An empirical investigation of modularity metrics for indicating architectural technical debt

• Zengyang Li
• Peng Liang
• Paris Avgeriou
• Nicolas Guelfi
• Apostolos Ampatzoglou

Formalizing correspondence rules for automotive architecture views

• Yanja Dajsuren
• Christine M. Gerpheide
• Alexander Serebrenik
• Anton Wijs
• Bogdan Vasilescu
• Mark G.J. van den Brand

SRMP: a software pattern for deadlocks prevention inreal-time concurrency models

• Rania Mzid
• Chokri Mraidha
• Jean-Philippe Babau
• Mohamed Abid

TUTORIAL SESSION: Tutorials

Software QoS enhancement through self-adaptation and formal models

• Raffaela Mirandola
• Diego Perez-Palacin

Designing and evolving distributed architecture using kevoree

• François Fouquet
• Grégory Nain
• Erwan Daubert
• Johann Bourcier
• Olivier Barais
• Noel Plouzeau
• Brice Morin