FASE 2015 programme

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

Who's online

We have 2468 guests and no members online

Site Hosted by