Session: TH 1.1

Track: SCBSE

Topic: Components and Services Formalization

Chair: Jan Carlson

Time: Thursday 11.00-12.30

Papers:

• "Measure, diagnose, refactor: A formal quality cycle for software models" by Hendrik Voigt, Thomas Ruhroth and Heike Wehrheim
• "A Step Towards a More Practical Protocol Conformance Checking Algorithm" by Andreas Both and Wolf Zimmermann
• "An Intuitive Formal Semantics of a Real-Time Component Model" by Aneta Vulgarakis, Jagadish Suryadevara, Jan Carlson, Cristina Seceleanu and Paul Pettersson

Session: TH 1.2

Track: SPPI

Topic: Software Processes

Chair: TBA

Time: Thursday 11.00-12.30

Papers:

• "Process lines: a product line approach designed for process model development" by Thomas Ternité
• "Experiences and Results from Establishing a Software Cockpit at BMD Systemhaus" by Rudolf Ramler, Stefan Larndorfer and Clemens Buchwieser
• "Usability of Process Discovery Algorithms for Software Organizations" by Burcu Akman and Onur Demirörs

Session: TH 1.3

Track: SOA

Topic: Workflows and Composition

Chair: Bernd Reuther

Time: Thursday 11.00-12.30

Papers:

• "Fault-Tolerant BPEL Workflow Execution via Cloud-Aware Recovery Policies" by Ernst Juhnke, Tim Doernemann and Bernd Freisleben
• "BPELscript: A Simplified Script Syntax for WS-BPEL 2.0" by Marc Bischoff, Oliver Kopp, Tammo van Lessen and Frank Leymann
• "Bridging the component-based and service-oriented worlds" by Karel Masek, Petr Hnetynka and Tomas Bures

Session: TH 1.4

Track: DES

Topic: Real-time systems specification and analysis

Chair: Erwin Schoitsch

Time: Thursday 11.00-12.30

Papers:

• "A real-time framework for Ada 2005 and the Ravenscar profile", by K. N. Gregertsen and A. Skavhaug
• "Improving Real-time Software Quality by Direct Specification of Timing Requirements", by M. Korsgaard, A. Skavhaug and S. Hendseth
• "RAMS Analysis of a bio-inspired Traffic Data Sensor ("Smart Eye")", by P. Böhm and T. Gruber

Session: TH 2.1

Track: SCBSE

Topic: Domain-Specific Component Models and Frameworks

Chair: Panagiotis Katsaros

Time: Thursday 14.30-16.00

Papers:

• "Constructing Domain-Specific Component Frameworks through Architecture Refinement" by Frédéric Loiret, Michal Malohlava, Ales Plsek, Philippe Merle and Lionel Seinturier
• "A Generative Approach to the Construction of Application-Specific XML Processing Components" by Antonio Sarasa-Cabezuelo, Alberto Martínez-Avilés, José-Luis Sierra-Rodríguez and Alfredo Fernández-Valmayor
• "Using JavaBeans to Realize a Domain Specific Component Model" by Juraj Feljan, Jan Carlson and Mario Žagar (short paper)
• "Flexibility and End-User Support in Model-based Product Line Tools" by Rick Rabiser, Deepak Dhungana and Paul Gruenbacher (short paper)

Session: TH 2.2

Track: SPPI

Topic: Software Quality

Chair: TBA

Time: Thursday 14.30-16.00

Papers:

• "What Software Repositories Should Be Mined for Defect Predictors?" by Rudolf Ramler, Stefan Larndorfer and Thomas Natschläger
• "Implementation of a Software Quality Improvement Project in an SME: A Before and After Comparison" by Ayse Tosun, Ayse bener, Burak Turan
• "CQML Scheme: A Classification Scheme for Comprehensive Quality Model Landscapes" by Michael Klaes, Jens Heidrich, Juergen Muench and Adam Trendowicz

Session: TH 2.3

Track: ITQSA

Topic: Grid- and Cloud-Computing

Chair:Rainer Stotzka

Time: Thursday 14.30-16.00

Papers:

• "Secure Service-Oriented Grid Computing with Public Virtual Worker Nodes" by Matthias Schmidt, Niels Fallenbeck, Mathew Smith, Bernd Freisleben
• "SuGI - Portal and Training Systems for Grid Middlewares", by Joachim Götzem, Bernd Reuther,Paul Mueller, Viktor Achter, Sebastian Breuers
• "Multi-Layered Virtual Machines for Security Updates in Grid Environments", by "Roland Schwarzkopf, Matthias Schmidt, Niels Fallenbeck, Bernd Freisleben

Session: TH 2.4

Track: WC

Topic: Web Computing 1

Chair: Konrad Klöckner

Time: Thursday 14.30-16.00

Papers:

• "An Enhanced Wiki for Requirements Engineering" by David Ferreira and Alberto Rodrigues da Silva
• "AsyncHttpEvalRequest: A New Primitive for Downloading Web Applications Incrementally and Securely" by Antero Taivalsaari, Janne Kuuskeri and Tommi Mikkonen
• "The Cycle of Trust in Mixed Service-oriented Systems" by Florian Skopik, Daniel Schall and Schahram Dustdar

Session: TH 3.1

Track: SCBSE

Topic: Component-based systems correctness and test

Chair: Tomas Bures

Time: Thursday 16.30-18.00

Papers:

• "Integration and Reliability Testing for Component-Based Software Systems" by Francesca Saglietti, Florin Pinte and Sven Söhnlein
• "Automated Versioning in OSGi: a Mechanism for Component Software Consistency Guarantee" by Jaroslav Bauml and Premek Brada
• "A Component Testing Approach Supported by a CASE Tool" by Fernando Silva, Eduardo Almeida and Silvio Meira (short paper)
• "Guaranteeing Correctness of Component Bindings in Dynamic Adaptive Systems based on Runtime Testing" by Dirk Niebuhr and Andreas Rausch (short paper)

Session: TH 3.2

Track: SM

Topic: Project Planning

Chair: Cigdem Gencel

Time: Thursday 16.30-18.00

Papers:

• "A Simulation Framework to Support Software Project (Re)Planning" by Diana Kirk and Stephen MacDonell
• "Insight into the Effectiveness of Risk Management within Five Software Organizations" by Mira Kajko-Mattsson, Jan Lundholm and Jonas Norrby.

Session: TH 3.3

Track: MDE

Topic: MDE foundations

Chair: Antonino Sabetta

Time: Thursday 16.30-18.00

Papers:

• "Checking Architectural and Implementation Constraints for Domain-Specific Component Frameworks using Models" by Carlos Noguera and Frédéric Loiret
• "Approaching the model-driven generation of feedback to remove software performance flaws" by Vittorio Cortellessa, Antinisca Di Marco, Romina Eramo, Alfonso Pierantonio, Catia Trubiani
• "Textual Views in Model Driven Engineering" by Thomas Goldschmidt, Steffen Becker and Axel Uhl

Session: FR 1.1

Track: SCBSE

Topic: Modelling Services

Chair: Premek Brada

Time: Friday 10.30-12.00

Papers:

• "Modeling Service Oriented Architectures of Mobile Applications by Extending SoaML with Ambients" by Nour Ali and Muhammad Ali Babar
• "Service-Oriented Performance Modeling the MULE Enterprise Service Bus (ESB) Loan Broker Application" by Paul Brebner
• "Service Replication Strategies in Service-Oriented Architectures" by Nicholas May, Heinz Schmidt and Ian Thomas (short paper)
• "An Extensible Language for Service Dependency Management" by Siamak Haschemi and Arif Wider (short paper)
• "Enabling Model-Driven Schedulability Analysis in the Development of Distributed Component-Based Real-Time Applications" by Patricia Lopez Martinez, José M. Drake and Julio L. Medina (MDE short paper)

Session: FR 1.2

Track: SPPI

Topic: Innovative Development Approaches

Chair: TBA

Time: Friday 10.30-12.00

Papers:

• "Agile Experiences in a Software Service Company" by Jakub Rudzki, Imed Hammouda and Tuomas Mikkola
• "Foundations for a Model-Driven Integration of Business Services in a Safety-critical Application Domain" by Richard Mordinyi, Thomas Moser Alexander Mikula, Eva Kühn, and Stefan Biffl
• "A Lightweight MDSD Process Applied in Small Projects" by Gàbor Guta, Wolfgang Schreiner and Dirk Draheim
• "Sprint Planning with a Digital Aid Tool: Lessons Learnt" by Erlend Agøy Engum, Zornitza Racheva, and Maya Daneva

Session: FR 1.3

Track: SM

Topic: Software Estimation

Chair: Mira Kajko-Mattsson

Time: Friday 10.30-12.00

Papers:

• "Estimating Web Application Development Effort Using Web-COBRA and COSMIC: An Empirical Study" by Sergio Di Martino, Filomena Ferrucci and Carmine Gravino.
• "Reliability of COSMIC Functional Size Measurement Results: A Multiple Case Study on Industry Cases" by Özden Özcan Top, Onur Demirörs and Baris Özkan.
• "Bootstrap Prediction Intervals for a Semi-parametric Software Cost Estimation Model" by Nikolaos Mittas and Lefteris Angelis.

Session: FR 1.4

Track: OSS

Topic: Open Source Software Development

Chair: Tommi Mikkkonen

Time: Friday 10.30-12.00

Papers:

• "Fault Analysis in OSS Based on Program Slicing Metrics" by Steve Counsell, Sue Black, Tracy Hall and David Bowes
• "Evaluating Quality of Open Source Components for Reuse-Intensive Commercial Solutions" by Jakub Rudzki, Kimmo Kiviluoma, Tero Poikonen and Imed Hammouda
• "An examination of the use of Open Source Software Processes as a global software development solution for commercial software engineering" by Gary Gaughan, Maha Shaikh and Brian Fitzgerald

Session: FR 2.1

Track: SCBSE

Topic: Embedded and Real-time systems

Chair: Francesca Saglietti

Time: Friday 14.30-16.00

Papers:

• "Multi-Level Modeling for Industrial Automation Systems" by Gerd Dauenhauer, Thomas Aschauer and Wolfgang Pree
• "Embedded Software Component Quality and Certification: A Preliminary Evaluation" by Fernando Carvalho, Silvio Meira, Bruno Freitas and João Eulino
• "An Architecture-based Framework for Managing Adaptive Real-time Applications" by Ning Gui, Vincenzo De Florio and Chris Blondia (short paper)
• "Translation of UML 2 Activity Diagrams into Finite State Machines for Model Checking" by Alexander Raschke (MDE short paper)
• "Model-Based System Testing Using Visual Contracts" by Baris Güldali, Michael Mlynarski, Andreas Wübbeke and Gregor Engels(MDE short paper)

Session: FR 2.2

Track: ITQSA

Topic: Future Internet Architecture

Chair: Paul Mueller

Time: Friday 14.30-16.00

Papers:

• "Composition of Self Descriptive Protocols for Future Network Architectures" by Dennis Schwerdel, Zornitsa Dimitrova, Abbas Siddiqui, Bernd Reuther, Paul Mueller
• "Multi Agent Based Service Evaluation and Selection Architecture", by Jaleh Shoshtarian Malak, Mehran Mohsenzadeh, Mir Ali Seyyedi
• "Web Browser as a Uniform Application Platform: How far are we?" by Feetu Nyrhinen, Tommi Mikkonen

Session: FR 2.3

Track: SM

Topic: Management and SMEs

Chair: Lefteris Angelis

Time: Friday 14.30-16.00

Papers:

• "The Relative Importance of Aspects of Intellectual Capital for Software Companies" by Sebastian Barney, Aybuke Aurum and Claes Wohlin
• "A Framework for the Balanced Optimization of Quality Assurance Strategies Focusing on Small and Medium Sized Enterprises" by Michael Klaes, Frank Elberzhager, Rolf van Lengen, Torsten Schulz and Jürgen Goebbels.
• "Long-term Planning of Software Development Efforts by Roadmapping - an Approach and Experiences from Three Small Companies" by Jarno Vähäniitty, Casper Lassenius, Kristian Rautiainen and Pasi Pekkanen (Short paper)

Session: FR 2.4

Track: WC

Topic: Web Computing 2

Chair: Konrad Klöckner

Time: Friday 14.30-16.00

Papers:

• "Exercise generation by group models for autonomous web-based learning" by Michael Sonntag
• "LocaRhythms: Real-Time Data Mining for Continuous Detection and Prediction of Stays" by Tom Gross

Session: FR 3.1

Track: SCBSE

Topic: Component Models - Diversity of Solutions

Chair: Frederic Loiret

Time: Friday 16.30-18.00

Papers:

• "A Look at Current Component Models from the Black-box Perspective" by Premek Brada
• "Developing Adaptable Components using Dynamic Languages" by Didier Donsez, Kiev Gama and Walter Rudametkin
• "A Component-Based Technology for Hardware and Software Components" by Luka Lednicki, Ana Petricic and Mario Žagar (short paper)
• "Component-based Construction of Concurrent Systems with Active Components" by Ioannis Ntalamagkas and Kung-Kiu Lau (short paper)
• "Dynamic Software Architecture Development: Towards an Automated Process" by Maurice ter Beek, Antonio Bucchiarone and Stefania Gnesi (MDE Short paper)

Session: FR 3.2

Track: MDE

Topic: MDE applications

Chair: Antonio Bucchiarone

Time: Friday 16.30-18.00

Papers:

• "Feature Diagrams and their Transformations: an Extensible Meta-model Approach" by Miguel A. Laguna and Jose M. Marqués
• "Automated Feature Model-based Generation of Refinement Transformations" by Lucia Kapova and Thomas Goldschmidt
• "Empirical Investigations of Model Size, Complexity and Effort in Large Scale, Distributed Model Driven Development Processes" by Werner Heijstek and Michel Chaudron
• "A Lightweight Approach for Domain-Specific Modeling Languages Design" by Sylvain Robert, Sébastien Gérard, François Lagarde and François Terrier

Session: FR 3.3

Track: SPPI

Topic: Cooperation and Evolution

Chair: TBA

Time: Friday 16.30-18.00

Papers:

• "Configuration Management for Realtime Simulation Software" by Dominik Schmitz, Wie Deng, Thomas Rose, Miatthias Jarke, Harald Nonn, and Korakoj Sanguanpiyapan
• "Process-based Collaboration in Global Software Engineering" by Harald Klein, Andreas Rausch and Edward Fischer
• "Analysis of Software Evolvability in Quality Models" by Pei Breivold Hongyu and Ivica Crnkovic

Session: FR 3.4

Track: DES

Topic: Safety assessment, validation and certification

Chair: Amund Skavhaug

Time: Friday 16.30-18.00

Papers:

• "The DECOS Concept of Generic Safety Cases - a Step towards Modular Certification", by E. Althammer, E. Schoitsch, H. Eriksson and J. Vinter
• "Safety Assessment of Design Patterns for Safety-Critical Embedded Systems", by Ashraf Armoush, Eva Beckenschulze and Stefan Kowalewski
• "Concluding Remarks: Dependable Embedded Systems and Standardization", by Erwin Schoitsch;

Session: ST 1.1

Track: SCBSE

Topic: Experiences and Applications

Chair: Ivica Crnkovic

Time: Saturday 09.00-10.30

Papers:

• "Experiences in Applying Situational Method Engineering in AOSE" by Mariachiara Puviani, Giacomo Cabri and Letizia Leonardi
• "Suggesting Software Components for Reuse in Search Engines Using Discovered Knowledge Techniques" by Alexandre C. Martins, Eduardo S. Almeida and Silvio Meira
• "BAL: A language for component based distributed applications development" by Nikos Chondros and Panayiotis Alefragis

Session: ST 1.2

Track: SPPI

Topic: Empirical Approaches

Chair: TBA

Time: Saturday 09.00-10.30

Papers:

• "Stakeholders Perception of Success: an Empirical Investigation" by Evgenia Egorova, Marco Torchiano, Maurizio Morisio, Claes Wohlin, Aybuke Aurum, and Richard Berntsson
• "Investigating impact of business risk on requirements selection decisions" by Nina Dzamashvili Fogelström, Mikael Svahnberg and Tuomas Mikkola
• "Synthetic metrics for evaluating runtime performance of software architectures with complex tradeoffs" by Anakreon Mentis, Panagiotis Katsaros and Lefteris Angelis
• "An Experimental Study on Requirements Engineering for Software Product Lines" by Danuza F. S. Neiva, Eduardo S. Almeida and Silvio R. L. Meira
• "A Comparative Survey of Economic Models for Software Product Lines" by Ali Muhammad Sarmad, Barbar Muhammed Ali, and Klaus Schmid

Session: ST 1.3

Track: SEAA WIP

Topic: Work in Progress

Chair: Konrad Klöckner

Time: Saturday 09.00-10.30

Papers:

• "Agile Principles Applied to a Complex Long Term Research Activity – The PERIMETER Approach" by Eileen Dillon, Christian Haemmerle, Luca Salgarelli, Fikret Sivrikaya
• "Change Propagation in Project Controlling Using Triple Graph Grammars" by Edward Fischer
• "Role of Decomposition as a Preliminary Task to Service Composition" by Eren K. Akbiyik, Ayesha Manzer, Ali H. Dogru
• "Towards an Architecture for the Internet of Services" by Aneta Kabzeva, Markus Hillenbrand, Paul Müller, Ralf Steinmetz
• "Towards a Generic Model Interpretation Runtime Architecture" by Michael Thonhauser, Christian Kreiner
• "Rapid System-Level Power Estimation for Power-Aware Embedded Software Design" by Christian Bachmann, Andeas Genser, Josef Haid, Christian Steger, Reinhold Weiß
• "One Reason why Developers Avoid Inheritance-Based Refactorings" by Steve Counsell, Robert M. Hierons, George Loizou, K. Mannock
• "Implementation of Language for Extra-functional Properties for Reusable Software Components" by Kamil Ježek, Premysl Brada
• "Psychological Design Factors in Web Usability" by Mushtaq Raza
• "A Flight Vehicle Test of Real-Time Position Display Based on GPS/INS Using UHF Communication" by Hongjoon Yun, Sukhoon Kang
• "Transformation of Pair of FSMs Sharing Input Symbols" by Vít Fábera, Vlastimil Jáneš, Mária Jánešová
• "Logical Control with Respecting of Faults" by Josef Bokr, Vlastimil Jáneš, Mária Jánešová

Keynote: 2

Topic: NASA's State-Space Exploration: Verifying Safety-Critical Systems

Speaker: Dimitra Giannakopoulou

Time: Thursday 13.30-14.30

Description:

Keynote: 3

Topic: A Dirty-Slate Approach to Scaling BGP

Speaker: Paul Francis

Time: Friday 09.00-10.00

Description: