| Monday 13 April |
| 10h30 - 12h30 |
Models & Synthesis (Chair: Julia Rubin)
- Alexander Knapp, Till Mossakowski, Markus Roggenbach and Martin Glauer. An Institution for Simple UML State Machines
- Abel Gómez, Massimo Tisi, Gerson Sunyé and Jordi Cabot. Map-based Transparent Persistence for Very Large Models
- Emil Andriescu, Thierry Martinez and Valerie Issarny. Composing Message Translators and Inferring their Data Types using Tree Automata
- Christian Brenner, Joel Greenyer and Wilhelm Schäfer. On-the-fly Synthesis of Scarcely Synchronizing Distributed Controllers from Scenario-Based Specifications
|
| 14h00 - 16h00 |
Testing and Fault Localization (Chair: Gabi Taentzer)
- Seema Jehan, Ingo Pill and Franz Wotawa. BPEL Integration Testing
- Johannes Bürdek, Malte Lochau, Stefan Bauregger, Andreas Holzer, Alexander von Rhein, Sven Apel and Dirk Beyer. Facilitating Reuse in Multi-Goal Test-Suite Generation for Software Product Lines
- Mike Czech, Marie-Christine Jakobs and Heike Wehrheim. Just test what you cannot verify!
- David Landsberg, Hana Chockler, Daniel Kroening and Matt Lewis. Evaluation of measures for Statistical Fault Localisation and an Optimising Scheme
|
| 16h30 - 17h45 |
Modelling (Chair: Arend Rensink)
- Rick Salay and Marsha Chechik. A Generalized Formal Framework for Partial Modeling
- Davide Arcelli, Vittorio Cortellessa and Catia Trubiani. Performance-based Software Model Refactoring in Fuzzy Contexts
- Kristopher Born, Thorsten Arendt, Florian Heß and Gabriele Taentzer. Analyzing Conflicts and Dependencies of Rule-Based Transformations in Henshin (short talk)
|
| Tuesday 14 April |
| 10h30 - 12h30 |
Verification (Chair: Marsha Chechik)
- Van Chan Ngo, Jean-Pierre Talpin and Thierry Gautier. Translation Validation for Clock Transformations in a Synchronous Compiler
- Grigory Fedyukovich, Andrea Callia D'Iddio, Antti Hyvärinen and Natasha Sharygina. Symbolic Detection of Assertion Dependencies for Bounded Model Checking
- Stefan Blom, Saeed Darabi and Marieke Huisman. Verification of Loop Parallelisations
- Manuel Clavel and Carolina Dania. Model-based formal reasoning about data-management applications
|
| 14h00 - 16h00 |
Modelling & Adaptation (Chair: Andrzej Wasowski)
- Radu Calinescu, Simos Gerasimou and Alec Banks. Self-Adaptive Software with Decentralised Control Loops
- Carlos Canal and Gwen Salaün. Model-Based Adaptation of Software Communicating via FIFO Buffers
- Ahmed Bouajjani, Georgel Calin, Egor Derevenetc and Roland Meyer. Lazy TSO Reachability
- Daniel Strüber, Julia Rubin, Marsha Chechik and Gabriele Taentzer. A Variability-Based Approach to Reusable and Efficient Model Transformations
|
| Wednesday 15 April |
| 14h00 - 16h00 |
Applications (Chair: Vittorio Cortelessa)
- Nuno Macedo, Alcino Cunha and Tiago Guimarães. Exploring Scenario Exploration
- Kenan Liu, Gustavo Pinto and Yu David Liu. Data-Oriented Characterization of Application-Level Energy Optimization
- Seung Yeob Shin, Yuriy Brun, Leon Osterweil, Hari Balasubramanian and Philip L. Henneman. Resource Specification for Prototyping Human-Intensive Systems
- Martín Abadi. The Prophecy of Undo
|