Schedule at a Glance

Floor plans

• HG F-floor
• HG E-floor
• HG D-floor

Keynotes

• Alexander Egyed: Fine-Tuning Model Transformation: Change Propagation in Context of Consistency, Completeness, and Human Guidance

• Oscar Nierstrasz: Synchronizing Models and Code

• Frank Tip: Finding and Fixing Bugs in Web Applications

• Patrice Godefroid: Tests from Proofs

• Klaus Ostermann: Does Software Composition Work?

• Marie-Claude Gaudel: Checking Models, Proving Programs, and Testing Systems

• Manuel Wimmer, Gerti Kappel, Angelika Kusel, Werner Retschitzegger, Johannes Schoenboeck, Wieland Schwinger, Dimitris Kolovos, Richard Paige, Marius Lauder, Andy Schürr and Dennis Wagelaar: A Comparison of Rule Inheritance in Model-to-Model Transformation Languages
• Jesús Sánchez Cuadrado, Esther Guerra and Juan de Lara: Generic Model Transformations: Write Once, Reuse Everywhere
• Isao Sasano, Zhenjiang Hu, Soichiro Hidaka, Kazuhiro Inaba, Hiroyuki Kato and Keisuke Nakano: Toward bidirectionalization of ATL with GRoundTram
• Marcel van Amstel, Steven Bosems, Luis Ferreira Pires and Ivan Kurtev: Performance in Model Transformations: A Comparison Between ATL and QVT

• Gábor Bergmann, Zoltán Ujhelyi, István Ráth and Dániel Varró: A Graph Query Language for EMF models
• Tassilo Horn and Jürgen Ebert: The GReTL Transformation Language

• Yu Sun, Jeffrey G. Gray, Christoph Wienands, Michael Golm and Jules White: Demonstration-based Approach to Support Live Transformations in a Model Editor
• Marcel van Amstel and Mark G. J. van den Brand: Model Transformation Analysis: Staying Ahead of the Maintenance Nightmare

• Eduard Bauer, Jochen Kuester and Gregor Engels: Test Suite Quality for Model Transformation Chains [from TOOLS 2011]
• Marco Trudel, Manuel Oriol, Carlo Alberto Furia and Martin Nordio: Automated Translation of Java Source Code to Eiffel [from TOOLS 2011]
• Markus Lepper and Baltasar Trancón-y-Widemann: Optimization of Visitor Performance by Reflection-Based Analysis
• Fredrik Seehusen, Atle Refsdal and Ketil Stølen: An Evaluation of the Graphical Modeling Framework (GMF) based on the Development of the CORAS Tool

• Eduard Bauer and Jochen Kuester: Combining Specification-based and Code-based Coverage for Model Transformation Chains
• Jim Steel, Keith Duddy and Robin Drogemuller: A Transformation Workbench for Building Information Models

• Kevin Lano and Shekoufeh Kolahdouz Rahimi: Model-Driven Development of Model Transformations
• Basil Becker, Leen Lambers, Johannes Dyck, Stefanie Birth and Holger Giese: Iterative Development of Consistency-Preserving Rule-Based Refactorings

• Eduard Bauer, Jochen Kuester and Gregor Engels: Test Suite Quality for Model Transformation Chains
• Marco Trudel, Manuel Oriol, Carlo Alberto Furia and Martin Nordio: Automated Translation of Java Source Code to Eiffel
• Markus Lepper and Baltasar Trancón-y-Widemann: Optimization of Visitor Performance by Reflection-Based Analysis [from ICMT 2011]
• Fredrik Seehusen, Atle Refsdal and Ketil Stølen: An Evaluation of the Graphical Modeling Framework (GMF) based on the Development of the CORAS Tool [from ICMT 2011]

• Andrea Ciancone, Mauro Luigi Drago, Antonio Filieri, Vincenzo Grassi and Raffaela Mirandola: KlaperSuite: an Integrated Model-Driven Environment for Non-Functional Requirements Analysis of Component-Based Systems
• Daniel Langone, Jorge Ressia and Oscar Nierstrasz: Unifying Subjectivity

• Matthias Diehn Ingesman and Erik Ernst: Lifted Java: A Minimal Calculus for Translation Polymorphism
• Yannick Welsch and Jan Schäfer: Location Types for Safe Distributed Object-Oriented Programming
• Ana Milanova and Jan Vitek: Static Dominance Inference

• Tutorial "Introduction to the Coq proof assistant" by Catherine Dubois

• Christoph Bockisch, Andreas Sewe, Mira Mezini and Mehmet Aksit: An Overview of ALIA4J: An Execution Model for Advanced-Dispatching Languages
• Adam Przybylek: Systems evolution and software reuse in OOP and AOP

In parallel with:

• Catherine Dubois: Tutorial on Coq (continued)

• Zvezdan Protic, Mark Van Den Brand and Tom Verhoeff: A Generic Solution for Syntax-driven Model Co-evolution
• Philip Langer, Konrad Wieland and Manuel Wimmer, and Jordi Cabot: From UML Profiles to EMF Profiles and Beyond
• Alexandre Bergel, Oscar Nierstrasz, Lukas Renggli and Jorge Ressia: Domain-Specific Profiling
• Carlos Rodríguez, Mario Sanchez and Jorge Villalobos: Metamodel Dependencies for Executable Models

• Omar Chebaro, Nikolay Kosmatov, Alain Giorgetti and Jacques Julliand: The SANTE Tool: Value Analysis, Program Slicing and Test Generation for C Program Debugging [from TAP 2011]
• Claire Dross, Yannick Moy and Jean-Christophe Filliātre: Correct Code Containing Containers [from TAP 2011]
• Niko Schwarz, Mircea Lungu and Oscar Nierstrasz: Seuss: Cleaning up Class Responsibilities with Language-based Dependency Injection
• Mirco Kuhlmann, Lars Hamann and Martin Gogolla: Extensive Validation of OCL Models by Integrating SAT Solving into USE

• Jean-Rémy Falleri, Simon Denier, Jannik Laval, Philippe Vismara and Stéphane Ducasse: Efficient Retrieval and Ranking of Undesired Package Cycles in Large Software Systems
• Simon Bliudze and Joseph Sifakis: Synthesizing Glue Operators from Glue Constraints for the Construction of Component-Based Systems [from SC 2011]

• Alessandro Sivieri, Gianpaolo Cugola and Carlo Ghezzi: Computational REST Meets Erlang
• Phillip Heidegger and Peter Thiemann: A Heuristic Approach for Computing Effects
• Mark Hills, Paul Klint, Tijs Van Der Storm and Jurgen Vinju: A Case of Visitor versus Interpreter Pattern

• Omar Chebaro, Nikolay Kosmatov, Alain Giorgetti and Jacques Julliand: The SANTE Tool: Value Analysis, Program Slicing and Test Generation for C Program Debugging
• Claire Dross, Yannick Moy and Jean-Christophe Filliâtre: Correct Code Containing Containers

• Renzo Degiovanni, Pablo Ponzio, Nazareno Aguirre and Marcelo Frias: Abstraction based Automated Testing from Formal Tabular Requirements Specifications
• Nazareno Aguirre, Valeria Bengolea, Marcelo Frias and Juan Galeotti: Incorporating Coverage Criteria in Bounded Exhaustive Black Box Test Generation of Structural Inputs

• Mathias Soeken, Robert Wille and Rolf Drechsler: Encoding OCL Data Types for SAT-based Verification of UML/OCL Models
• Pierre-Christophe Bue, Jacques Julliand and Pierre-Alain Masson: Association of Under-Approximation Techniques for Generating Tests From Models

• Matthias Büchler, Johan Oudinet and Alexander Pretschner: Security Mutants for Property-Based Testing
• Javier Troya, Jose Bautista, Fernando López-Romero and Antonio Vallecillo: Lightweight Testing of Communication Networks with e-Motions

• Karl Meinke and Muddassar Sindhu: Incremental Learning-Based Testing for Reactive Systems
• Lina Bentakouk, Pascal Poizat and Fatiha Zaidi: Checking the Behavioral Conformance of Web Services with Symbolic Testing and SMT Solver

• Pierre-Cyrille Heam and Catherine Masson: A Random Testing Approach Using Pushdown Automata
• Li Tan: State Coverage Metrics for Specification-Based Testing with Büchi Automata

• Perla Velasco Elizondo and Ndjatchi Mbe Koua Christophe: Deriving Functional Interface Specifications for Composite Components
• Antonina Danylenko, Christoph Kessler and Welf Löwe: Comparing Machine Learning Approaches for Context-Aware Composition
• Andre Rauber Du Bois: An Implementation of Composable Memory Transactions in Haskell

• Jean-Rémy Falleri, Simon Denier, Jannik Laval, Philippe Vismara and Stéphane Ducasse: Efficient Retrieval and Ranking of Undesired Package Cycles in Large Software Systems [from TOOLS 2011]
• Simon Bliudze and Joseph Sifakis: Synthesizing Glue Operators from Glue Constraints for the Construction of Component-Based Systems

• Maarten Bynens, Eddy Truyen and Wouter Joosen: A Sequence of Patterns for Reusable Aspect Libraries with Easy Configuration
• David Lorenz and Victor Trakhtenberg: Pluggable Aspect Instantiation Models
• Ali Gondal, Michael Poppleton and Michael Butler: Composing Event-B Specifications - Case-Study Experience

• Joseph Porter, Daniel Balasubramanian, Graham Hemingway and Janos Sztipanovits: Towards Incremental Cycle Analysis in ESMoL Distributed Control System Models (short paper)
• Constanze Deiters and Andreas Rausch: Assuring Architectural Properties during Compositional Architecture Design (short paper)
• Axel Legay, Saddek Bensalem, Andreas Griesmayer, Rongjie Yan, Lavindra De Silva and Felix Ingrand: A Formal Approach for Incremental Construction with an Application to Autonomous Robotic Systems

• Sébastien Limet, Sophie Robert and Ahmed Turki: Coherence and Performance for Interactive Scientific Visualisation Applications
• Annie Ressouche, Jean-Yves Tigli and Oscar Carrillo: Toward validated Composition in Component-based Adaptive Middleware