Sessions

Papers

Authors

ESE  1: Model-based development

 

 

 

DiplodocusDF, a domain-specific modelling language for software defined radio applications.

Jair Gonzalez-Pina, Rabea Ameur-Boulifa and Renaud Pacalet.

A MDD Approach for the Generation of Valid Implementation Models

Rania Mzid, Chokri Mraidha, Jean-Philippe Babau and Mohamed Abid.

Multi-View Power Modeling based on UML MARTE and SysML

Carlos Gomez, Julien Deantoni and Frédéric Mallet.

ESE 2: Formal methods

 

A Property-Based Proof System for Contract-Based Design

Alessandro Cimatti and Stefano Tonetta.

Max-Plus Algebraic Throughput Analysis of Synchronous Dataflow Graphs

Robert de Groote, Jan Kuper, Hajo Broersma and Gerard Smit.

ESE 3: Certification and Tool Support

 

 

A Framework for the Development of Parallel and Distributed Real-Time Embedded Systems

Ricardo Garibay-Martinez, Luis Lino Ferreira and Luis Miguel Pinho.

Structuring Modular Safety Software Certification by Using Common Criteria Concepts

Christopher Preschern and Kurt Dietrich.

Database Proxy Tool Support in an AUTOSAR Development Environment

Andreas Hjertström, Dag Nyström and Mikael Sjödin.

ESE 4: Analysis and synthesis

 

 

 

 

Analyzing Long-Running Controller Applications for Specification Violations based on Deterministic Replay

Roland Schatz and Herbert Prähofer.

Varying Topology of Component-Based System Architectures using Metaheuristic Optimization

Ramin Etemaadi and Michel R.V. Chaudron.

Automatic Synthesis of Hardware-Specific Code in Component-based Embedded Systems

Luka Lednicki, Ivica Crnkovic and Mario Zagar.

A Bridge from System to Software Development for Safety-Critical Automotive Embedded Systems

Roland Mader, Gerhard Griessnig, Eric Armengaud, Andrea Leitner, Christian Kreiner, Quentin Bourrouilh, Christian Steger and Weiss Reinhold.

Real-Time Component Integration using Runnable Virtual Nodes

Rafia Inam, Jukka Mäki-Turja, Mikael Sjödin and Jiri Kuncar.

MOCS 1: Product Lines

 

 

 

An Aspect-based Feature Model for Architecting Component Product Lines

Leonardo Tizzei, Cecilia Rubira. Jaejoon Lee

A Traceability Information Retrieval Tool for Software Product Lines Projects

Wylliams Santos, Eduardo Almeida and Silvio Meira

CodeScoping: A Source Code Based Tool to Software Product Lines Scoping

Thiago Medeiros, Eduardo Almeida and Silvio Meira

A Lightweight Approach For Product Line Scoping

Markus Noebauer, Norbert Seyff, Iris Groher and Deepak Dhungana

MOCS 2: Embedded Systems

 

Ensuring Component Application Consistency on Small Devices: A Repository-Based Approach

Premek Brada and Kamil Jezek

Towards a model-based approach for allocating tasks to multicore processors

Juraj Feljan, Jan Carlson and Tiberiu Seceleanu

MOCS 3: Extra-functional Properties

 

 

Reliability prediction for Service Component Architectures with the SCA-ASM component model

Pasqualina Potena, Elvinia Riccobene and Patrizia Scandurra

Path Coverage Criteria for Palladio Performance Models

Henning Groenda

Using virtual machine security to reinforce components constraints

Aurelio A M Matsui, Straus Michalsky and Marco Gerosa

MOCS 4: Modeling components

 

 

 

 

Toward Model-Based Trade-off Analysis of Non-Functional Requirements

Mehrdad Saadatmand, Antonio Cicchetti and Mikael Sjödin

An MDE approach for Runtime Monitoring and Adapting Component-based Systems: Application to WIMP User Interface Architectures

Javier Criado, Luis Iribarne, Nicolás Padilla, Javier Troya and Antonio Vallecillo

X-MAN: An MDE Tool for Component-based System Development

Kung-Kiu Lau and Cuong M. Tran

A Model-Driven Engineering Framework for Fault Tolerance in Dependable Embedded Systems Design 

Ziani Adel, Brahim Hamid and Jean-Michel Bruel

Automatic Adaptation of Transformations based on Type Graph with Multiplicity

Quyet-Thang Pham and Antoine Beugnard

MOCS 5: Frameworks and Architecture

 

Testing a Component-based Application for Road Traffic Crossroad Control using the SimCo Simulation Framework

Tomas Potuzak, Richard Lipka, Premek Brada and Pavel Herout.

Oscar Pereira, Rui Aguiar and Maribel Yasmina Santos. ORCA: Architecture for Business Tier Components Driven by Dynamic Adaptation and Based on Call Level Interfaces

Oscar Pereira, Rui Aguiar and Maribel Yasmina Santos

MOCS 6: Finding and Building Components

 

 

Extracting Components from Open Source: The Component Adaptation Environment (COPE) Approach

George Kakarontzas, Ioannis Stamelos, Stefanos Skalistis and Athanasios Naskos

Federated Search for Open Source Software Reuse

Fotios Kokkoras, Konstantinos Ntonas, Apostolos Kritikos, George Kakarontzas and Ioannis Stamelos

Application and UI composition using a Component-Based Description and Annotations

Christian Brel, Philippe Renevier-Gonin, Anne-Marie Pinna-Déry and Michel Riveill

MOCS 7: Modeling Services and Components

 

 

 

 

Engineering Emergent Semantics Into Pervasive Resource Discovery

Mauro Caporuscio

Low-Level Profiling and MARTE-Compatible Modeling of Software Components for Real-Time Systems

Konstantinos Triantafyllidis, Egor Bondarev and Peter H. De With

LogOS: an Automatic Logging Framework for Service-Oriented Architectures

Stephane Frenot and Julien Ponge

FOAM : A Lightweight Method for Verification of Use-Cases

Viliam Simko, Petr Hnetynka, Tomas Bures and Frantisek Plasil

A Model-driven Dependability Analysis Method for Component-based Architectures

Barbara Gallina, Muhammad Atif Javed, Faiz UL Muram and Sasikumar Punnekkat

MOCS 8: Special papers: Cyber-Physical Systems

 

 

DEZENT – a Cyber-Physical Approach for Providing Affordable Renewable Electric     

Horst F. Wedde

Applying the Organic Robot Control Architecture ORCA to Cyber-Physical Systems

Raphael Maas, Erik Maehle, Karl-Erwin Großpietsch

Bee-inspired Road Traffic Control as an Example of Swarm Intelligence in Cyber-Physical Systems

Sebastian Senge and Horst F. Wedde.

SPPI 1: Agile and Lean Processes

 

 

 

Adapting the Lean Enterprise Self-Assessment Tool for the Software Development Domain

Teemu Karvonen, Pilar Rodriguez, Pasi Kuvaja, Markku Oivo, Kirsi Mikkonen

Investigating Daily Team Meetings in Agile Software Projects

Viktoria Gulliksen Stray, Nils Brede Moe, Aybüke Aurum

Organizational Values and Agile Methods Deployment

Stavros Stavru

SPPI 2: Process Improvement and Quality Measurement and Assurance

 

 

 

Random Test Case Generation and Manual Unit Testing: Substitute or Complement in Retrofitting Tests for Legacy Code?

Rudolf Ramler, Martina Schmidt, Dietmar Winkler

A Case Study on Measuring Process Quality: Challenges and Lessons Learned

Ahmet Dikici, Oktay Turetken, Onur Demirors

From Assumptions to Context-specific Knowledge in the Area of Combined Static and Dynamic Quality Assurance: An Experience Report

Frank Elberzhager, Thomas Bauer

Micro Pattern Fault Proneness

Giuseppe Destefanis, Roberto Tonelli, Ewan Tempero, Giulio Concas, Michele L. Marchesi

SPPI 3: Process and Product Modeling

 

 

 

From Software to Software System Products: An Add-on Process Reference Model for Enhancing ISO/IEC 12207 with Product Management and System-Level Reuse

Fritz Stallinger, Robert Neumann

Towards a Metamodel for integrating Multiple Models for Process Improvement

Edgar Banhesse, Clenio F. Salviano, Mario Jino

The Barriers to Traceability and their Potential Solutions: Towards a Reference Framework

Gilbert Regan, Fergal Mc Caffery, Kevin Mcdaid, Derek Flood

A practice for recording problem and solution domain requirements in VLSRE

Markus Kelanti, Sanja Aaramaa, Jari Lehto

SPPI 5: Special Session-MeSVAM -- Measurement as a Strategy for Software Value Management

 

 

Managing Software Quality Requirements

Laura Phillips, Aybuke Aurum, Richard Berntsson Svensson

Software Measurement in Software Engineering Education: A Delphi Study to Develop a List of Teaching Topics and Related Levels of Learning

Monica Villavicencio, Alain Abran

Value-Based Coverage Measurement in Requirements-Based Testing: Lessons Learned from An Approach Implemented in the TOSCA Testsuite

Rudolf Ramler, Theodorich Kopetzky, Wolfgang Platz

SPPI 6: Practical Experiences and New Ideas for Process Improvement

 

 

 

A consolidated process for software process simulation: State of the Art and Industry Experience

Nauman Bin Ali, Kai Petersen

Fostering Cross-site Coordination through Awareness: An investigation of state-of-the-practice through a focus group study

Darja Smite, Torgeir Dingsøyr

Low degree of separation does not guarantee easy coordination

Zane Galvina, Darja Šmite

SM1 : Software Management

 

 

 

An Investigation of Software Effort Phase Distribution Using Compositional Data Analysis

Panagiota Chatzipetrou, Efi Papatheocharous, Lefteris Angelis and Andreas S. Andreou

Developers motivation in agile teams

Claudia Melo, Célio Santana and Fabio Kon

A Fuzzy Multi Criteria Decision Making Approach to Software Life Cycle Model Selection

Mümin Hiçdurmaz

Climbing the “Stairway to Heaven”: A multiple-case study exploring barriers in the transition from agile development towards continuous deployment of software

Helena Holmström Olsson, Hiva Alahyari and Jan Bosch

SM2 :Special Session-EsPreSSE -- Estimation and Prediction in Software and Systems Engineering

 

 

 

 

Towards the Understanding and Classification of the Personality Traits of Software Development Practitioners: Situational Context Cards Approach

Murat Yilmaz and Rory O’connor

Guiding Testing Activities by Predicting Defect-prone Parts Using Product and Inspection Metrics

Frank Elberzhager, Stephan Kremer, Jürgen Münch and Danilo Assmann

 An analysis of accuracy and learning in software project esimating

Andres Zapata and Michel Chaudron

 Pocket Estimator -A commercial solution to provide free parametric software estimation combining an expert and a learning algorithm

Florian Schnitzhofer and Peter Schnitzhofer.

Estimating the Return on Investment of Defect Taxonomy-Supported System Testing in Industrial Projects

Michael Felderer and Armin Beer

CLOUD 1: Cloud Technology

 

Feedback Control Algorithms to Deploy and Scale Multiple Web Applications per Virtual Machine

Adnan Ashraf, Benjamin Byholm, Joonas Lehtinen and Ivan Porres

Towards Mobile Multimedia Mashup Architecture

Mikko Hartikainen, Arto Salminen and Jarno Kallio

CLOUD 2: Cloud Software

 

A Model for Global Software Development with Cloud Platforms

Luisanna Cocco, Katiuscia Mannaro and Giulio Concas

Differentiation in the cloud: methodology for integrating customer values in experience design

Andrey Sirotkin, Kaisa Koskela-Huotari, Kaarina Karppinen, Javier Del Ser and Bronan McCabe

WiP/Ph.D. – 1: Work in Progress / Ph.D. Symposium

 

Cost-Efficient Resource Allocation for Multi-tier Web Applications in a Cloud Environment

Adnan Ashraf

Goal-Business Process Integration through Choreography within Enterprise Architecture Cahit Gungor
Measuring Software Engineer Motivation in Globally Distributed Projects Liva Šteinberga
QoS-enabled Middleware for Smart Grids Abdel Rahman, Alkhavaja, Luis Lino Ferreira, Michele Albano, Ricardo Garibay
A Proposal for Multidisciplinary Software for People with Autism Eraldo Guerra, Felipe Furtado

Discussion: What are the challenges of doing a PhD in Software Engineering?

WiP/Ph.D. – 2: Work in Progress / Ph.D. Symposium

 

Error-Resilient BDDs: A Preliminary Study Lorenzo Lago, Anna Bernasconi, Valentina Ciriani
A Haskell-Based Programming Paradigm for Coarse-Grained Reconfigurable Arrays Anja Niedermeier, Jan Kuper, Gerard Smit
High Breakdown Voltage and Switching Speed IGBT Design A. Belous, I. Lovshenko, V. Nelayev, A. Turtsevich, I. Shelibak
Design Methodology for Implementing Multiplexer Based Ternary Logic Circuits Using Carbon Nanotube Field Effekt Transistor (CNFET) Chetan Vudadha, P. Sai Phaneendra, V. Sreehari, M.B. Srinivas
Algorithmic vs Architectural Optimizations in a C-Based PLC to FPGA Translation Environment Christoforos Economakos, George Economakos
Visual Exploration of Changing FPGA Architectures in the VTR Project Konstantin Nasartschuk, Kenneth B. Kent, Rainer Herpers
Design Synchronization after Partial Dynamic Reconfiguration of Fault Tolerant System Lukas Miculka, Zdenek Kotasek
Analysis Approach for Safefy Critical Hardware using Neural Networks M. Schmedes, A. Th. Schwarzbacher, B. Hoppe