Week Schedule at a Glance

ETSI Building Maps

Monday - June 28

Tuesday - June 29

Wednesday - June 30

Thursday - July 1

Friday - July 2

ICMT

Monday June 28

ICMT Keynote [Auditorium]

Chair: Laurence Tratt

• Stefano Ceri: Search Computing: a Model-Driven Perspective.

Session 1 "Composition and Bidirectionality" [Room 3.0.2]

Chair: Jordi Cabot

• Safe Composition of Transformations. Florian Heidenreich, Jan Kopcsek and Uwe Aßmann
• From State-to Delta-Based Bidirectional Model Transformations. Zinovy Diskin, Yingfei Xiong and Krzysztof Czarnecki
• Surviving the Heterogeneity Jungle with Composite Mapping Operators. Manuel Wimmer, Gerti Kappel, Angelika Kusel, Werner Retschitzegger, Johannes Schoenboeck and Wieland Schwinger

Session 2 "Matching and Execution" [Room 3.0.2]

Chair: Alfonso Pierantonio

• Meta-model Matching Based on Planar Graph Edit Distance. Konrad Voigt and Thomas Heinze
• From Sequence Diagrams to State Machines by Graph Transformation. Roy Grønmo and Birger Møller-Pedersen
• Synthesis of OCL Pre-Conditions for Graph Transformation Rules. Jordi Cabot, Robert Clarisó, Esther Guerra and Juan de Lara

Session 3 "Model Management and Applications" [Room 3.0.2]

Chair: Martin Gogolla

• Constructing and Navigating Non-Invasive Model Decorations. Dimitrios Kolovos, Louis Rose, Nicholas Drivalos Matragkas, Richard Paige, Fiona Polack and Kiran Fernandes
• Implementing Business Process Recovery Patterns through QVT Transformations. Ricardo Pérez-Castillo, Ignacio García-Rodríguez de Guzmán and Mario Piattini
• Temporal Model-Based Diagnostics Generation for HVAC Control Systems. Marion Behrens and Gregory Provan





Tuesday June 29

Joint TOOLS Europe and ICMT Keynote [Auditorium]

Chair: Jan Vitek

• Oege de Moor: Analysing OO Programs on an OO Database.

Session 1, joint with TOOLS Europe [Room 3.0.1]

Chair: Jeff Gray

• Domain-Specific Composition of Model Deltas (ICMT). Maider Azanza, Don Batory, Oscar Díaz and Salvador Trujillo
• Deep Meta-Modelling with MetaDepth (TOOLS Europe). Juan De Lara and Esther Guerra
• Model-to-Model Transformations By Demonstration (ICMT). Philip Langer, Manuel Wimmer and Gerti Kappel

Session 2 "Transformation Systems" [Room 3.0.2]

Chair: Antonio Cichetti

• Model Migration with Epsilon Flock. Louis Rose, Dimitrios Kolovos, Richard Paige and Fiona Polack
• Exceptional Transformations. Eugene Syriani, Jörg Kienzle and Hans Vangheluwe
• Towards Incremental Execution of ATL Transformations. Frédéric Jouault and Massimo Tisi

Session 3 "Semantics" [Room 3.0.2]

Chair: Dimitris Kolovos

• Improving Higher-Order Transformations Support in ATL. Massimo Tisi, Jordi Cabot and Frédéric Jouault
• A constructive approach to testing model transformations. Camillo Fiorentini, Alberto Momigliano, Mario Ornaghi and Iman Poernomo
• Towards a Rewriting Logic Semantics for ATL. Javier Troya and Antonio Vallecillo

TOOLS Europe

Tuesday June 29

Joint TOOLS Europe and ICMT Keynote [Auditorium]

Chair: Jan Vitek

• Oege de Moor: Analysing OO Programs on an OO Database.

Session 1, joint with ICMT [Room 3.0.1]

Chair: Jeff Gray

• Domain-Specific Composition of Model Deltas (ICMT). Maider Azanza, Don Batory, Oscar Díaz and Salvador Trujillo
• Deep Meta-Modelling with MetaDepth (TOOLS Europe). Juan De Lara and Esther Guerra
• Model-to-Model Transformations By Demonstration (ICMT). Philip Langer, Manuel Wimmer and Gerti Kappel

Session 2 [Room 3.0.1]

Chair: Richard Paige

• Encoding Ownership Types in Java. Nicholas Cameron, James Noble.
• Revisiting Parametric Types and Virtual Classes. Anders Bach Madsen, Erik Ernst.
• Welterweight Java. Johan Astlund, Tobias Wrigstad.

Session 3: [Room 3.0.1]

Chair: Manuel Oriol

• Late Binding of AspectJ Advice. Ryan M Golbeck, Peter Selby, Gregor Kiczales.
• EriLex: An Embedded Domain Specific Language Generator. Hao Xu.
• A Generic Meta-Model-based Approach for Specifying Framework Functionality and Usage.Fabian Christ, Jan-Christopher Bals, Gregor Engels, Christian Gerth, Markus Luckey.

Wednesday June 30

TOOLS Europe Keynote [Auditorium]

Chair: James Noble

• Bertrand Meyer.

Session 1 [Room 3.0.1]

Chair: Alex Bergel

• Understanding the Impact of Collection Contracts on Design. Stephen F Nelson, David J Pearce, James Noble.
• Visualizing Dynamic Metrics with Profiling Blueprints. Alexandre Bergel, Romain Robbes, Walter Binder.
• Domain-Specific Program Checking. Lukas Renggli, Stephane Ducasse, Tudor Girba, Oscar Nierstrasz.

TOOLS Europe Keynote [Auditorium]

Chair: Bertrand Meyer

• Ivar Jacobson: A Smarter Way: The Software Engineering Method and Theory Initiative (Semat)

Session 2 [Room 3.0.1]

Chair: Angelo Gargantini

• Read-Only Execution for Dynamic Languages. Jean-Baptiste Arnaud, Marcus Denker, Stephane Ducasse, Damien Pollet, Alexandre Bergel, Mathieu Suen.
• Loosely-coupled Distributed Reactive Programming in Mobile Ad Hoc Networks. Andoni Lombide Carreton, Stijn Mostinckx, Tom Van Cutsem, Wolfgang De Meuter.
• Reasoning about Function Objects. Martin Nordio, Cristiano Calcagno, Bertrand Meyer, Peter Mueller, Julian Tschannen.

Tools for Engineering Productivity at Google : Q&A Session [Room 3.0.1]

• Phil Rollet, Engineering Productivity Manager and Daniel Fireman, Software Engineer in Test at Google will answer your questions on how Google increases Engineering Productivity via tools, culture and infrastructure.

Thursday July 1

Joint TOOLS Europe, SC and TAP Keynote [Auditorium]

Chair: Gordon Fraser

• Mike Ernst: The Need for Always-On Static and Dynamic Feedback: How Tests and Proofs Impede One Another.

Session 1 [Room 3.0.1]

Chair: Nate Nystrom

• JSConTest: Contract-Driven Testing of JavaScript Code. Phillip Heidegger, Peter Thiemann.
• Moles: tool-assisted environment isolation with closures. Jonathan de Halleux, Nikolai Tillmann.

Session 2 [Room 3.0.1]

Chair: Eric Wohlstadter

• Optimizing Aspect-oriented Mechanisms for Embedded Applications. Christine Hundt, Daniel Stohr, Sabine Glesner.
• SC Paper: An advice for advice composition in AspectJ.
• SC Ppaper: The .NET Composition Primitives: A Common Foundation for Open, Dynamic, and Reflective Component Frameworks.

TAP

Thursday July 1

Joint TAP, SC and TOOLS Europe Keynote [Auditorium]

Chair: Gordon Fraser

• Mike Ernst: The Need for Always-On Static and Dynamic Feedback: How Tests and Proofs Impede One Another.

Session 1, joint with TOOLS Europe [Room 3.0.1]

Chair: Nate Nystrom

• QuickSpec: Guessing Formal Specifications using Testing. Koen Claessen, Nicholas Smallbone and John Hughes.
• (TOOLS Europe) JSConTest: Contract-Driven Testing of JavaScript Code. Phillip Heidegger, Peter Thiemann.
• (TOOLS Europe) Moles: tool-assisted environment isolation with closures. Jonathan de Halleux, Nikolai Tillmann.

Session 2, "Testing Proofs" [Room 4.0.1]

Chair: Peli de Halleux

• Testing First-Order Logic Axioms in Program Verification. Ki Yung Ahn and Ewen Denney.
• Proving OCL Invariant Independence by Automatically Generated Test Cases. Martin Gogolla, Lars Hamann and Mirco Kuhlmann.
• Proof process evaluation with mutation analysis. Lydie du Bousquet and Michel Levy.

Session 3, "Test Generation using Proof Techniques" [Room 4.0.1]

Chair: Martin Gogolla

• Generating Regression Unit Tests using a Combination of Verification and Capture & Replay. Christoph Gladisch, Shmuel Tyszberowicz, Bernhard Beckert and Amiram Yehudai.
• DyGen: Automatic Generation of High-Coverage Tests via Mining Gigabytes of Dynamic Traces. Suresh Thummalapenta, Jonathan Halleux, Nikolai Tillmann and Scott Wadsworth.
• Combining Static Analysis and Test Generation for C Program Debugging. Omar Chebaro, Nikolai Kosmatov, Alain Giorgetti and Jacques Julliand.

Friday July 2

Joint SC and TAP Keynote [Auditorium]

Chair: Benoit Baudry

• Valérie Issarny: From Middleware to on the Fly Connector Synthesis for the Dynamic Composition of Pervasive Software Intensive Networked Systems.

TAP Keynote [Auditorium]

Chair: Angelo Gargantini

• Nachiappan Nagappan: Myths in Software Engineering: From the Other Side.

Session 1: (continued): "Test Generation using Proof Techniques" [Auditorium]

• Generating High Quality Tests for Boolean Circuits by Treating Tests as Proof Encodings. Eugene Goldberg and Panagiotis Manolios.

Session 2: "Theorem Proving and Testing" [Room 4.0.1]

Chair: Christoph Gladisch

• Relational Analysis of (Co)inductive Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions. Jasmin Christian Blanchette.
• Combining narrowing and theorem proving for rewriting-logic specifications. Vlad Rusu.

Session 3: "Abstraction" [Room 4.0.1]

Chair: Vlad Rusu

• Syntactic Abstraction of B Models to Generate Tests. Jacques Julliand, Nicolas Stouls, BUE Pierre-christophe and Pierre-Alain Masson.
• Building a test-ready abstraction of a behavioral model using CLP. Pierre-Christophe Bue, Frederic Dadeau, Adrien de Kermadec and Fabrice Bouquet.

SC

Thursday July 1

Joint SC, TAP and TOOLS Europe Keynote [Auditorium]

Chair: Gordon Fraser

• Mike Ernst: The Need for Always-On Static and Dynamic Feedback: How Tests and Proofs Impede One Another.

Session 1: "Model Composition" [Room 3.0.2]

Chair: Benoit Baudry

• Composing models at two modeling levels to capture heterogeneous concerns in requirements. Erwan Brottier, Yves Le Traon, Bertrand Nicolas.
• Managing Variability in Workflow with Feature Model Composition Operators. Mathieu Acher, Philippe Collet, Philippe Lahire, Robert France.

Session 2: "Languages" [Room 3.0.1]

Chair: Eric Wohlstadter

• Tools Europe Paper: Optimizing Aspect-oriented Mechanisms for Embedded Applications. Christine Hundt, Daniel Stohr, Sabine Glesner.
• An advice for advice composition in AspectJ. Fuminobu Takeyama, Shigeru Chiba.
• The .NET Composition Primitives: A Common Foundation for Open, Dynamic, and Reflective Component Frameworks. Mircea Trofin, Clemens Szyperski, Nicholas Blumhardt.



Friday July 2

Joint SC and TAP Keynote: [Auditorium]

Chair: Benoit Baudry

• Valérie Issarny: From Middleware to on the Fly Connector Synthesis for the Dynamic Composition of Pervasive Software Intensive Networked Systems.

Session 1: "Composing Services" [Room 3.0.2]

Chair: Jacques Malenfant

• Dynamically Adaptive Systems through Automated Model Evolution using Service Compositions. Adina Mosincat, Walter Binder, Mehdi Jazayeri.
• Visualizing and Assessing a Compositional Approach of Business Process Design. Sebastien Mosser, Alexandre Bergel, Mireille Blay-Fornarino.
• Construction of Asynchronous Communicating Systems: Weak Termination guaranteed!. Kees M. van Hee, Natalia Sidorova, Jan Martijn van der Werf.

Session 2: "Context-Orientation and Domain-Specific Composition" [Room 3.0.2]

Chair: Shigeru Chiba

• Composition and Compositionality for Robotics Components. Olena Rogovchenko, Jacques Malenfant .
• Event-specific Software Composition in Context-oriented Programming. Malte Appeltauer, Robert Hirschfeld, Hidehiko Masuhara, Michael Haupt, Kazunori Kawauchi.
• Predicated Generic Functions: Enabling Context-Dependent Method Dispatch. Jorge Vallejos, Sebastian Gonzalez, Pascal Costanza, Wolfgang De Meuter, Theo D'Hondt, Kim Mens.