Progamm: Wissenschaftliches Programm

Wissenschaftliches Programm

Bitte beachten Sie, dass die Sessions innerhalb eines Blocks, zB Mittwoch Vormittag, parallel geführt werden. Sie können das Programm auch als PDF-Datei herunterladen.

10:45 – 12:00 Uhr 14:00 – 15:15 Uhr 15:45 – 17:00 Uhr
Rechte Pirouette
Leitung: Ruth Breu
Requirements Engineering
Rechte Pirouette
Leitung: Kurt Schneider
Empirical Software Engineering 1
Rechte Pirouette
Leitung: Willi Hasselbring
Software Construction 1
Linke Pirouette
Leitung: Wolf Zimmermann
Software Construction 2
Linke Pirouette
Leitung: Alexander Egyed
Software Construction 3
Linke Pirouette
Leitung: Martin Glinz
Performance Modelling and Analysis 1
Haute Ecole
Leitung: Stefan Sauer
Performance Modelling and Analysis 2
Haute Ecole
Leitung: Michael Goedicke
Empirical Software Engineering 2
Rechte Pirouette
Leitung: Gregor Engels
Empirical Software Engineering 3
Rechte Pirouette
Leitung: Stefan Wagner
Software Verification
Rechte Pirouette
Leitung: Wolfgang Reisig
Business Process Engineering
Linke Pirouette
Leitung: Florian Matthes
Variability and Evolution 1
Linke Pirouette
Leitung: Matthias Riebisch
Variability and Evolution 2
Linke Pirouette
Leitung: Ralf Reussner
Product Lines
Große Reitschule
Leitung: Uwe Assmann
Modelling and Model-Driven Development
Große Reitschule
Leitung: Michael Felderer

Mittwoch, 24. Februar

Mittwoch, 10:45 – 12:00 Uhr

Testing (Rechte Pirouette, Leitung: Ruth Breu)

Guiding Random Test Generation with Program Analysis

Lei Ma, Cyrille Valentin Artho, Cheng Zhang, Hiroyuki Sato, Johannes Gmeiner and Rudolf Ramler

Just test what you cannot verify!

Mike Czech, Marie-Christine Jakobs and Heike Wehrheim

A Controlled Experiment on Manual Test Case Derivation from UML Activity Diagrams and State Machines

Michael Felderer and Andrea Herrmann

Software Construction 1 (Linke Pirouette, Leitung: Wolf Zimmermann)

Accurate Profiling in the Presence of Dynamic Compilation

Yudi Zheng, Lubomír Bulej and Walter Binder

Transparent Object Proxies for JavaScript

Matthias Keil, Sankha Narayan Guria, Andreas Schlegel, Manuel Geffken and Peter Thiemann

Intelligent Code Completion with Bayesian Networks

Sebastian Proksch, Johannes Lerch and Mira Mezini

Performance Modelling and Analysis 1 (Haute Ecole, Leitung: Stefan Sauer)

Automated Workload Characterization for I/O Performance Analysis in Virtualized Environments

Axel Busch, Qais Noorshams, Samuel Kounev, Anne Koziolek, Ralf Reussner and Erich Amrehn

Performance-Influence Models

Norbert Siegmund, Alexander Grebhahn, Sven Apel and Christian Kästner

Scaling Size and Parameter Spaces in Variability-aware Software Performance Models

Matthias Kowal, Max Tschaikowski, Mirco Tribastone and Ina Schaefer

Mittwoch, 14:00 – 15:15 Uhr

Requirements Engineering (Rechte Pirouette, Leitung: Kurt Schneider)

Naming the Pain in Requirements Engineering: A Survey Design and German Results

Daniel Méndez Fernández and Stefan Wagner

A Quality Model for the Systematic Assessment of Requirements Traceability

Patrick Rempel and Patrick Mäder

Supporting requirements update during software evolution

Eya Ben Charrada, Anne Koziolek and Martin Glinz

Software Construction 2 (Linke Pirouette, Leitung: Alexander Egyed)

Design of a Domain-Specific Language based on a technology-independent Web Service Framework

Florian Rademacher, Martin Peters and Sabine Sachweh

Learning how to Prevent Return-Oriented Programming Efficiently

David Pfaff, Sebastian Hack and Christian Hammer

No PAIN, No Gain? The Utility of PArallel Fault INjections

Stefan Winter, Oliver Schwahn, Roberto Natella, Neeraj Suri and Domenico Cotroneo

Performance Modelling and Analysis 2 (Haute Ecole, Leitung: Michael Goedicke)

Analysis of the trade-offs in different modeling approaches for performance prediction of software systems

Samuel Kounev, Fabian Brosig, Philipp Meier, Steffen Becker, Anne Koziolek, Heiko Koziolek and Piotr Rygielski

Feedback Generation for Performance Problems in Introductory Programming Assignments

Florian Zuleger, Ivan Radicek and Sumit Gulwani

Integrating business process simulation and information system simulation for performance prediction

Robert Heinrich, Philipp Merkle, Jörg Henß and Barbara Paech

Mittwoch, 15:45 – 17:00 Uhr

Empirical Software Engineering 1 (Rechte Pirouette, Leitung: Willi Hasselbring)

From Aristotle to Ringelmann: A large-scale analysis of team productivity and coordination in Open Source Software projects

Ingo Scholtes, Pavlin Mavrodiev and Frank Schweitzer

Software Process Improvement: Where Is the Evidence?

Marco Kuhrmann, Claudia Konopka, Peter Nellemann, Philipp Diebold and Juergen Muench

Cost-effective evolution of research prototypes into end-user tools: The MACH case study

Harald Störrle

Software Construction 3 (Linke Pirouette, Leitung: Martin Glinz)

Getting to Know You: Towards a Capability Model for Java

Ben Hermann, Michael Reif, Michael Eichberg and Mira Mezini

Copy and Paste Redeemed

Krishna Narasimhan and Christoph Reichenbach

Hidden Truths in Dead Software Paths

Michael Eichberg, Ben Hermann, Mira Mezini and Leonid Glanz

Donnerstag, 25. Februar

Donnerstag, 10:45 – 12:00 Uhr

Empirical Software Engineering 2 (Rechte Pirouette, Leitung: Gregor Engels)

Effekte modellbasierter Test- und Analyseverfahren in Unternehmen – Ergebnisse einer großangelegten empirischen Evaluation mittels industrieller Fallstudien

Michael Klaes

Empirical Software Metrics for Benchmarking of Verification Tools

Yulia Demyanova, Thomas Pani, Helmut Veith and Florian Zuleger

An Empirical Study on Program Comprehension with Reactive Programming

Guido Salvaneschi, Sven Amann, Sebastian Proksch and Mira Mezini

Business Process Engineering (Linke Pirouette, Leitung: Florian Matthes)

Supporting Process Model Validation through Natural Language Generation

Henrik Leopold, Jan Mendling and Artem Polyvyanyy

Kognitive Belastung als lokales Komplexitätsmaß in Geschäftsprozessmodellen

Kathrin Figl and Ralf Laue

Automatic Detection and Resolution of Lexical Ambiguity in Process Models

Fabian Pittke, Henrik Leopold and Jan Mendling

Product Lines (Große Reitschule, Leitung: Uwe Assmann)

Design and Evaluation of a Customizable Multi-Domain Reference Architecture on top of Product Lines of Self-Driving Heavy Vehicles – An Industrial Case Study

Jan Schroeder, Daniela Holzner, Christian Berger, Carl-Johan Hoel, Leo Laine and Anders Magnusson

Counterexample Guided Abstraction Refinement of Product-Line Behavioural Models

Maxim Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens, Bruno Dawagne and Martin Leucker

On Facilitating Reuse in Multi-goal Test-Suite Generation for Software Product Lines

Malte Lochau, Johannes Bürdek, Stefan Bauregger, Andreas Holzer, Alexander von Rhein, Sven Apel and Dirk Beyer

Donnerstag, 14:00 – 15:15 Uhr

Empirical Software Engineering 3 (Rechte Pirouette, Leitung: Stefan Wagner)

How Reviewers Think About Internal and External Validity in Empirical Software Engineering

Janet Siegmund, Norbert Siegmund and Sven Apel

Understanding the Influence of User Participation and Involvement on System Success – a Systematic Mapping Study

Ulrike Abelein and Barbara Paech

Hierarchical Software Landscape Visualization for System Comprehension: A Controlled Experiment

Florian Fittkau, Alexander Krause and Wilhelm Hasselbring

Modelling and Model-Driven Development (Linke Pirouette, Leitung: Michael Felderer)

Extracting Frame Conditions from Operation Contracts

Philipp Niemann, Frank Hilken, Martin Gogolla and Robert Wille

UMLchange – Specifying Model Changes to Support Security Verification of Potential Evolution

Sven Wenzel, Daniel Poggenpohl, Jan Jürjens and Martín Ochoa

A DSL-Based Approach for Event-Based Monitoring of Systems of Systems

Michael Vierhauser, Rick Rabiser, Paul Grünbacher and Alexander Egyed

Variability and Evolution 1 (Große Reitschule, Leitung: Matthias Riebisch)

Enhancing Clone-and-Own with Systematic Reuse for Developing Software Variants

Stefan Fischer, Lukas Linsbauer, Roberto E. Lopez-Herrejon and Alexander Egyed

Morpheus: Variability-Aware Refactoring in the Wild

Jörg Liebig, Sven Apel, Andreas Janker, Florian Garbe and Sebastian Oster

Model-Driven Development of Platform-Independent Mobile Applications Supporting Role-based App Variability

Steffen Vaupel, Gabriele Taentzer, Rene Gerlach and Michael Guckert

Donnerstag, 15:45 – 17:00 Uhr

Software Verification (Rechte Pirouette, Leitung: Wolfgang Reisig)

A Simple and Scalable Static Analysis for Bound Analysis and Amortized Complexity Analysis

Moritz Sinn, Florian Zuleger and Helmut Veith

GR(1) Synthesis for LTL Specification Patterns

Shahar Maoz and Jan Oliver Ringert

Witness Validation and Stepwise Testification across Software Verifiers

Dirk Beyer, Matthias Dangl, Daniel Dietsch, Matthias Heizmann and Andreas Stahlbauer

Variability and Evolution 2 (Linke Pirouette, Leitung: Ralf Reussner)

Evolution of Software in Automated Production Systems: Challenges and Research Directions

Birgit Vogel-Heuser, Alexander Fay, Ina Schaefer and Matthias Tichy

Do developers benefit from requirements traceability when evolving and maintaining a software system?

Patrick Mäder and Alexander Egyed

Development of Flexible Software Process Lines with Variability Operations: A Longitudinal Case Study

Joachim Schramm, Patrick Dohrmann and Marco Kuhrmann