Skip to main content

Detailed program

Unless explicitly marked as “invitation only”, all events in this program are accessible by both academic and industrial participants who are registered on the given days.




Sunday 14 Oct 2018

09:00 - 10:30: T1 Hawk in 2A08
09:00 - 10:30: W1 ModComp in 5A60
Chairs: TBA
09:15-10:30 The Forgotten Interfaces: A Critique of Component-based Models of Computing
Bran Selic
09:00 - 10:30: W2 Models@run.time in 2A56 (Aud 3)
Chairs: TBA
09:00-09:15 Welcome
09:15-09:45 A Guided Tour through Models@run.time
09:45-10:15 The Integration Challenges of Runtime Models
Kirstie Bellman
10:15-10:30 Breakout Discussion on Classifying Work on Models@run.time
09:00 - 10:30: W3 Workshop on OCL and Textual Modeling (OCL) in 2A18
Chairs: TBA
Parallel execution of first-order operations
Sina Madani , Dimitrios S. Kolovos , Richard F. Paige
Introducing the Active Map operation to unify and improve efficiency of active operations
Frédéric Jouault , Fabien Chhel
Using process algebra to statically analyze incremental propagation graphs
Théo Le Calvar , Fabien Chhel , Frédéric Jouault , Frédéric Saubion
09:00 - 10:30: W4 FlexMDE - Flexible modelling I in 2A52
Chairs: TBA
Degrees of Rigorousness
Thomas Kuehne University of Wellington
Towards flexible object and class modeling tools: an experience report
Andreas Kästner , Martin Gogolla , Bran Selic
09:00 - 10:30: W5 Executable Modeling (EXE) - Opening and Industry Talks in 2A54
Chairs: TBA
09:00-09:15 Workshop Opening
09:15-09:40 Invited Industry Talk: Managing Build Configuration Complexity in Industrial Embedded Systems
Elena Strabykina HCL Technologies, Products and Platforms, Mattias Mohlin HCL Technologies, Products and Platforms
09:40-10:05 Invited Industry Talk: Why Executable Models are a Requirement for our Customers
Taylor Riche National Instruments
10:05-10:30 Invited Industry Talk: UML Precise Semantics Standards at OMG: Executing on the Vision
Ed Seidewitz Model Driven Solutions
10:30 - 11:00: Coffee Break (Atrium Ground Floor)
11:00 - 12:30: T1 Hawk
11:00 - 12:30: W1 ModComp Session 1 in 5A60
Interface protocol inference to aid understanding legacy software components
Kousar Aslam , Yaping Luo , Ramon Schiffelers , Mark van den Brand
On the Model-driven Synthesis of Adaptable Choreographies
Marco Autili , Amleto Di Salle , Francesco Gallo , Claudio Pompilio , Massimo Tivoli
A Model-Based Approach to Managing Feature Binding Time in Software Product Line Engineering
Armayau Zango Umar , Jaejoon Lee
11:00 - 12:30: W2 Models@run.time - Paper Presentations #1 in 2A56 (Aud 3)
Chairs: TBA
11:00-11:30 Model Synchronization with the Role-oriented Single Underlying Model
Christopher Werner , Uwe Assmann
11:30-12:00 On the need for transitioning model-based assurance cases from design time to runtime
Ran Wei , Tim Kelly , Jan Reich , Simos Gerasimou
12:00-12:30 Joint Discussion
11:00 - 12:30: W3 Workshop on OCL and Textual Modeling (OCL) in 2A18
Chairs: TBA
A text model - Use your favourite M2M for M2T
Edward D. Willink
Multi-Level Constraints
Tony Clark , Ulrich Frank
Goal-driven elaboration of OCL enriched UML class diagrams
Robert Darimont , Christophe Ponsard , Michel Lemoine
, ,
11:00 - 12:30: W4 FlexMDE - Flexible modelling II in 2A52
Chairs: TBA
Stakeholder specific visualisation from heterogeneous modeling tools
Abdil Kaya , Stefan Dutre , Jef Stegen , Satya Prakash Jha , Joachim Denil
Towards a modular and flexible human-usable textual syntax for EMF models
Dimitrios S. Kolovos , Richard F. Paige
Comparative case studies in agile model-driven development
Kevin Lano , Hessa Alfraihi , Shekoufeh Kolahdouz-Rahimi , Mohammadreza Sharbaf , Howard Haughton
Discussion. Wrap up and closing
11:00 - 12:35: W5 Executable Modeling (EXE) - Session 2: Paper Presentations in 2A54
Chairs: TBA
11:00-11:25 Execution of UTP test cases using fUML
Marc-Florian Wendland , Niels Hoppe
11:25-11:50 A generic solution for weaving business code into executable models
Eric Cariou , Olivier Le Goaer , Lea Brunschwig , Franck Barbier
11:50-12:15 On executable models that are integrated with program code
Marco Konersmann
12:15-12:35 EmbeddedMontiArc: Textual modeling alternative to Simulink (Tool Demonstration)
Evgeny Kusmenko , Jean-Marc Ronck , Bernhard Rumpe , Michael von Wenckstern
12:30 - 14:00: Lunch (Atrium Ground Floor)
14:00 - 15:30: W1 ModComp in 5A60
Chairs: TBA
Model-driven and component based engineering in the era of smart software-intensive systems
Martin Törngren
14:00 - 15:30: W2 Models@run.time - Paper Presentations #2 in 2A56 (Aud 3)
Chairs: TBA
14:00-14:30 Reflecting on the past and the present with temporal graph-based models.
Antonio Garcia-Dominguez , Nelly Bencomo , Luis Hernan Garcia Paucar
14:30-15:00 Towards evolvable software architecture runtime models for continuous adaptive monitoring
Thomas Brand , Holger Giese
15:00-15:30 Joint Discussion
14:00 - 15:30: W3 Workshop on OCL and Textual Modeling (OCL) in 2A18
Chairs: TBA
vOCL: A novel approach for UML constraints modeling
Omar Badreddin , Gerardo Barraza , Wahab Hamou-Lhadj
Efficient validation of large models using the Mogwaı̈ tool
Gwendal Daniel
Model Finding and Model Completion with USE
Martin Gogolla , Loli Burgueño , Antonio Vallecillo
14:00 - 15:30: W5 Executable Modeling (EXE) in 2A54
Keynote: Model Execution: Past, Present and Future
Benoit Combemale
15:30 - 16:00: Coffee Break (Atrium Ground Floor)
16:00 - 17:30: W1 ModComp Session 3 & Closing in 5A60
16:00-16:30 Compiling Protocols to Promela and Verifying their LTL Properties
Benjamin Lion , Samir Chouali , Farhad Arbab
16:30-17:00 A Component-Based and Model-Driven Approach to Deal with Non-Functional Properties through Global QoS Metrics
Cristina Vicente-Chicote , Juan F. Ingles-Romero , Jesus Martinez
17:00-17:30 Open discussion and conclusions
16:00 - 17:30: W2 Models@run.time - Keynote and Breakout Discussions in 2A56 (Aud 3)
Chairs: TBA
16:00-16:30 Keynote: Towards Smarter Cyber-Physical Systems
Benoit Combemale
16:30-17:30 Breakout Discussions
16:00 – 17:30: W5 Executable Modeling (EXE) - Live Tool Demonstrations & Workshop Closing in 2A54
Tool demonstration related to paper “Execution of UTP test cases using fUML”
Marc-Florian Wendland , Niels Hoppe
Tool demonstration on PauWare related to paper “A generic solution for weaving business code into executable models”
Eric Cariou , Olivier Le Goaer , Lea Brunschwig , Franck Barbier
Tool demonstration on Codeling related to paper “On executable models that are integrated with program code”
Marco Konersmann
Tool demonstration on Papyrus for xtUML
Cortland Starrett , Robert Mulvey , Keith Brown , Levi Starrett
Tool demonstration on WebGME Dynamic Systems Studio (WebGME-DSS)
Patrik Meijer , Tamas Kecskes
17:15-17:30 Workshop Closing

Monday 15 Oct 2018

09:00 - 10:30: Systems Analysis and Modeling (SAM) in Aud 2
Chairs: Reinhard Gotzhein and Ferhat Khendek
09:00-09:15 Opening
09:15-10:30 Keynote 1 - Industrial Transformation, Cloud, IoT and 5G and the relevance of Formal Methods
Azimeh Sefidcon Ericsson, Sweden
09:00 - 10:30: xtUML Days - Plenary Session #1 in 3A52
Shlaer-Mellor xtUML Overview
Cortland Starrett One Fact
xtUML in the K-Span - Modeling in the Field
Dave Salt UK Crown
20 Years of xtUML at SAAB Companies
Martin Nilsson SAAB Dynamics
09:00 - 10:30: W6 Collaborative Modelling in MDE (COMMitMDE) in 4A54
09:00-10:00 Keynote: TBA
10:00-10:30 Continuous integration support in modeling tools
Robbert Jongeling , Jan Carlson , Antonio Cicchetti , Federico Ciccozzi
09:00 - 10:30: W7 Model-Driven Engineering Tools (MDETools) in 4A60 (Aud 4)
09:00-09:15 Welcome and Intro
09:15-10:30 Keynote: Developing a Modeling Tool Someone Wants to Use: Challenges, trends and solutions for how to develop modeling tools that people actually can and want to use
Mattias Mohlin HCL Technologies, Sweden
09:00 - 10:30: W8 The Globalization of Modeling Languages (GEMOC) in 2A52
09:00-09:15 Opening
09:15-10:30 Keynote: Model Driven Software Engineering creates tomorrow’s legacy
Mark van den Brand TU Eindhoven
09:00 - 10:30: W9 Model-driven Robot Software Engineering (MORSE) in 2A56 (Aud 3)
Keynote: The Role of Higher-order Models in Robotics and its Reasoning Challenges
Herman Bruyninckx
09:00 - 10:45: W10 Model-Driven Engineering for the Internet-of-Things (MDE4IoT) in 3A54
09:15-10:00 Keynote:
Øystein Haugen HIOF
10:00-10:45 Keynote:
Franck Fleurey TellU
09:00 - 10:30: W16 Human Factors in Modeling (HuFaMo) in 2A54
Keynote / Invited speaker
Discussions and open announcements/demos
10:30 - 11:00: Coffee Break (Atrium Ground Floor)
11:00 - 12:30: Systems Analysis and Modeling (SAM) - Session 1: Cloud Systems in Aud 2
Chair: Finn Kristoffersen
Modelling Data Protection Vulnerabilities of Cloud Systems using Risk Patterns
Alexander Palm , Zoltán Ádám Mann , Andreas Metzger
Scheduling Architectures for Scientific Workflows in the Cloud (short paper)
Johannes Erbel , Fabian Korte , Jens Grabowski
The Impact of Integrating Agile Software Development and Model-Driven Development: A Comparative Case Study
Hessa Alfraihi , Kevin Lano , Shekoufeh Kolahdouz-Rahimi , Mohammadreza Sharbaf , Howard Haughton
11:00 - 12:30: xtUML Days - Plenary Session #2 in 3A52
Big Machine Big Model - Modeling Industrial Machinery
Dennis Tubbs ICS
1 Application, 3 Dialects, 5 Architectures
Levi Starrett One Fact
Open discussion, Q and A
11:00 - 12:30: W6 Collaborative Modelling in MDE (COMMitMDE) in 4A54
Challenges for Reuse in Collaborative Modeling Environments
Omar Alam , Jonathan Corley , Constantin Masson , Eugene Syriani ,
Handling Constraints in Model Versioning
Alessandro Rossini , Adrian Rutle , Yngve Lamo , Uwe Wolter
Delta-Driven Collaborative Modeling
Maik Appeldorn , Dilshodbek Kuryazov , Andreas Winter
11:00 - 12:30: W7 Model-Driven Engineering Tools (MDETools) - Session: Research papers in 4A60 (Aud 4)
Improved traceability for bidirectional model transformations
Romina Eramo , Alfonso Pierantonio , Michele Tucci
Robotic system testing with AMSA framework
Hamza El Baccouri , Goulven Guillou , Jean-Philippe Babau
An LSP infrastructure to build EMF language servers for web-deployable model editors
Roberto Rodriguez-Echeverria , Javier Luis Canovas Izquierdo , Manuel Wimmer , Jordi Cabot
A study design template for identifying usability issues in graphical modeling tools
Jakob Pietron , Alexander Raschke , Michael Stegmaier , Matthias Tichy , Enrico Rukzio
11:00 - 12:30: W8 The Globalization of Modeling Languages (GEMOC) - Paper Presentations #1 in 2A52
Model Consistency ensured by Metamodel Integration
Johannes Meier , Andreas Winter
A Common Integrated Framework for Heterogeneous Modeling Services
Anastasia Mavridou , Tamas Kecskes , Qishen Zhang , Janos Sztipanovits
Tool-Support of Socio-Technical Coordination in the Context of Heterogeneous Modeling
Francis Bordeleau , Benoit Combemale , Romina Eramo , Mark van den Brand , Manuel Wimmer
11:00 - 12:30: W9 Model-driven Robot Software Engineering (MORSE) - Languages for Robotics in 2A56 (Aud 3)
Towards the use of Quality-of-Service Metrics in Reinforcement Learning: A robotics example
Juan Francisco Inglés-Romero , Juan Manuel Espín , Rubén Jiménez-Andreu , Roberto Font , Cristina Vicente-Chicote
Using IEC 61499 to Implement a Self-Organising Plug and Produce System information on submission
Jörg Walter , Kim Gruettner , Wolfgang Nebel
A Context-Based Behavioral Language for IoT
Achiya Elyasaf , Assaf Marron , Arnon Sturm , Gera Weiss
11:00 - 12:30: W10 Model-Driven Engineering for the Internet-of-Things (MDE4IoT) in 3A54
Static Analysis of Complex Event Processing Programs
Adrián García-López , Loli Burgueño , Antonio Vallecillo
Domain Model-Based Data Stream Validation for Internet of Things Applications
Simon Pizonka , Timo Kehrer , Matthias Weidlich
DSML4TinyOS: Code Generation for Wireless Devices
Hussein M. Marah , Raheleh Eslampanah , Moharram Challenger
11:00 - 12:30: W16 Human Factors in Modeling (HuFaMo) - Support for modeling in 2A54
Using sketch recognition for capturing developer’s mental models
Emmanuel Renaux , Tatiana De-Wyse , José Mennesson
ModelByVoice - towards a general purpose model editor for blind people
João Lopes , Joao Cambeiro , Vasco Amaral
Discussions and open announcements/demos
12:30 - 14:00: Lunch (Atrium Ground Floor)
14:00 - 15:30: Systems Analysis and Modeling (SAM) - Session 2: Notations and Semantics in Aud 2
Chair: Edel Sherrat
CREST - A DSL for Reactive Cyber-Physical Systems
Stefan Klikovits , Alban Linard , Didier Buchs
On the Ontological Expressiveness of the High-Level Constraint Language for Product Line Specification
Angela Villota Gomez , Raul Mazo , Camille Salinesi
Distributed Computing on Distributed Memory
Andreas Prinz
14:00 - 15:30: xtUML Days - Plenary Session #3 in 3A52
Real Models, Real Deployments - Panel Discussion (moderated)
HOWTO: Preparing to Migrate Tooling
David Skinner BAE Systems
5 Cool Things You Can Do with a Model Compiler
Tristan Pye Consultant
14:00 - 17:00: MAD@MODELS Meeting in 4A54
Chair(s): Kimi Cousins
14:00-15:30 Modeling, Agile and DevOps – three words combined that can’t make sense!
Michael Hudson HCL
15:30-16:00 BREAK
16:00-17:00 Bring your MAD experiences and join these industry leaders in a lively discussion
14:00 - 15:30: W7 Model-Driven Engineering Tools (MDETools) - Session: Challenge problem in 4A60 (Aud 4)
Implementing the MDETools’18 challenge with ThingML
Jakob Høgenes , Brice Morin
Controlling a virtual rover using AutoFOCUS3
Levi Lucio , Sudeep Kanav , Andreas Bayha , Johannes Eder
An evaluation of Papyrus-RT in solving the leader-follower challenge problem
Karim Jahed
Modeling and programming a leader-lollower challenge problem with scenario-based tools
Joel Greenyer , Michael Bar-Sinai , Gera Weiss , Aviran Sadon , Assaf Marron
Applying Umple to the rover control challenge problem: A case study in model-driven engineering
Timothy Lethbridge , Abdulaziz Algablan
Navigating the rover with xtUML
Keith Brown
14:00 - 15:30: W8 The Globalization of Modeling Languages (GEMOC) - Paper Presentations #2 in 2A52
CPS simulation models categories in Extended Enterprises
Renan Leroux , Marc Pantel , Ileana Ober , Jean-Michel Bruel
Adding a HenshinEngine to GEMOC Studio: An experience report
Steffen Zschaler
Organization of the discussion
14:00 - 15:30: W9 Model-driven Robot Software Engineering (MORSE) - Languages for Robotics in 2A56 (Aud 3)
CommonLang: A DSL for Defining Robot Tasks
Adrian Rutle , Jonas Backer , Kolbein Foldøy , Robin T. Bye
Embedding Scenario-based Modeling in Statecharts
Assaf Marron , Yotam Hacohen , David Harel , Andreas Mülder , Axel Terfloth
Continuous Integration for Testing Full Robotic Behaviours in a GUI-stripped Simulation
Vladimir Estivill-Castro , Rene Hexel , Carl Lusty
14:00 - 15:30: W10 Model-Driven Engineering for the Internet-of-Things (MDE4IoT) in 3A54
ThingML+: Augmenting Model-Driven Software Engineering for the Internet of Things with Machine Learning
Armin Moin , Stephan Rössler , Stephan Günnemann
An Initial Mapping Study on MDE4IoT
Sabine Wolny , Alexandra Mazak , Bernhard Wally
ML4CREST: Machine Learning for CPS Models
Stefan Klikovits , Aurélien Coet , Didier Buchs
14:00 - 15:30: W16 Human Factors in Modeling (HuFaMo) - Experimenting for comparing in 2A54
Comparing the comprehensibility of numeric versus symbolic contribution labels in goal models: an experimental design
Sotirios Liaskos , Wisal Tambosi
Comparing the Developer Experience with two Multi-Agents Systems DSLs: SEA_ML++ and DSML4MAS - Study Design
João Silva , Ankica Barisic , Vasco Amaral , Miguel Goulão , Baris Tekin Tezel , Ömer Faruk Alaca , Moharram Challenger , Geylani Kardas
Discussions about the replication of the experiment from the Silva’s paper
15:30 - 16:00: Coffee Break (Atrium Ground Floor)
16:00 - 17:30: xtUML Days - Plenary Session #4 in 3A52
Constraint Modeling with Albert Einstein
Cortland Starrett One Fact - xtUML Education in Japan
Kenji Hisazumi Kyushu University
Roving in xtUML
Keith Brown
16:00 - 17:30: W7 Model-Driven Engineering Tools (MDETools) - Panel and discussion in 4A60 (Aud 4)
Hybrid textual/graphical modeling: quantum leap, incremental improvement, or distraction?
16:00 - 17:30: W9 Model-driven Robot Software Engineering (MORSE) - Presentation and Overview of Robotic Research Projects in 2A56 (Aud 3)
ROSIN (Model-Based Metacontrol for ROS systems)
Carlos Hernandez Corbato
COGIMON (Modeling and Verification of Robot Control Architectures for Compliant Interaction)
Dennis Wigand
Collection, discussion and classification of further research projects
Sebastian Götz , Nico Hochgeschwender , Sebastian Wrede , Andreas Wortmann
16:00 - 17:30: W10 Model-Driven Engineering for the Internet-of-Things (MDE4IoT) in 3A54
MDE4IoT in EU projects: Fora, ENACT, TBD
16:00 - 17:30: W16 Human Factors in Modeling (HuFaMo) - Working on modeling languages in 2A54
Visual Inheritance for Designing Visual Notation Based on a Metamodel
Nungki Selviandro , Tim Kelly , Richard Hawkins
Modeling and Analyzing Information Flow in Development Teams as a Pipe System
Jil Klünder , Oliver Karras , Nils Prenner , Kurt Schneider
Discussions and open announcements/demos
19:00 - 23:00: Satellite Reception at Sorte Diamanten (Royal Library), Søren Kierkegaards Plads 1
There will be buses from the conference venue. Bus meeting time 18:00 in front of the conference building. You can also walk, or use public transport to get there.

Tuesday 16 Oct 2018

09:00 - 10:30: Systems Analysis and Modeling (SAM) in Aud 2
09:00-10:30 Keynote 2 - Developing Distributed Applications with Open-source MDE Tooling
Juergen Dingel Queens University, Canada
09:00 - 10:30: xtUML Days (by invitation only) - Plenary Session #1 in 3A52
"Show and Tell" Community Engagement
2 Weeks of xtUML at Shinshu University - A Substantial Training Package
Papyrus and PIC Update
09:00 - 10:30: MPS Day in 3A54
09:00-10:00 Why modern language workbenches matter?
Václav Pech JetBrains
10:00-10:30 Biological knowledge base project
Alexander Shatalin JetBrains
09:00 - 10:30: Model-Based Systems Engineering Meeting in 2A56 (Aud 3)
09:00-09:15 Welcome &
09:15-10:00 Keynote: SysML v2 and MBSE: The next ten years
Ed Seidewitz Model Driven Solutions
10:00-10:30 « MBSE: A debate on potentials and impediments for large organizations »
Christian Zingel AVL
09:00 - 10:30: Doctoral Symposium in 2A18
09:00-09:15 Welcome
09:15-10:00 Keynote: The Obstacle is the Way
Jeff Gray University of Alabama
10:00-10:30 Tool Advances Inspired to Address Observed Challenges of Developing UML-like Models When Using Modelling Tools
Parsa Pourali
09:00 - 10:30: Educators Symposium in 4A58
09:00-10:10 Keynote: Teaching and learning about abstraction
Perdita Stevens
10:10-10:30 Teaching Model-Based Systems Engineering for Industry 4.0: Student Challenges and Expectations
Arvid Butting , Sinem Konar , Bernhard Rumpe , Andreas Wortmann
09:00 - 10:30: W11 Debugging in Model-Driven Engineering (MDEBug) - Opening and Keynote in 2A08
09:00-09:15 Workshop Opening
09:15-10:30 The Vienna Development Method (VDM)
Peter Gorm Larsen Aarhus University
09:00 - 10:30: W12 Model Driven Engineering, Verification and Validation (MoDeVVA) in 2A20
09:00-09:15 Welcome
09:15-10:30 Keynote: V&V for behavioral modeling in practice
Eugene Syriani
09:00 - 10:30: W13 Pains in Model-Driven Engineering Practice (PAINS) in 2A52
Invited Talk: Pains in Modeling: SysML-based Deployment in an Engineering Domain
Stefan Kriebel BMW Group
Invited Talk: Applying model based approaches in industry environments: key challenges and issues
Nikolaus Regnat Siemens
09:00 - 10:30: W14 Models and Evolution (ME) in 2A54
09:00-09:20 Opening Remarks
09:20-09:40 Reuse Considerations in Evolving Software Products: The Software Product Line Perspective
Iris Reinhartz-Berger , Amir Tomer , Malki Grossman
09:40-10:00 Resilience in Sirius Editors: Understanding the Impact of Metamodel Changes
Alfonso Pierantonio , Juri Di Rocco , Davide Di Ruscio , Hrishikesh Narayanankutty
10:00-10:20 Semantic Differencing of Activity Diagrams by a Translation into Finite Automata
Oliver Kautz , Bernhard Rumpe
09:00 - 10:30: W15 Multi-Level Modeling (MULTI) in 4A60 (Aud 4)
Keynote: Multi-Level Modeling in the Wild with AutomationML
Manuel Wimmer
11:40-12:00 Toward a Unified Conception of Multi-Level Modelling: Advanced Requirements
Ulrich Frank
10:30 - 11:00: Coffee Break (Atrium Ground Floor)
11:00 - 12:30: Systems Analysis and Modeling (SAM) - Session 3: MSC, URN, GRL in Aud 2
Chair: Emmanuel Gaudin
An Arithmetic Semantics for GRL Goal Models with Function Generation
Yuxuan Fan , Amal Anda , Daniel Amyot
Textual User Requirements Notation
Ruchika Kumar , Gunter Mussbacher
A comparative analysis of MSC-based requirements specification approaches used in the automotive industry
Kevin Keller , Jennifer Brings , Marian Daun , Thorsten Weyer
11:00 - 12:30: xtUML Days (by invitation only) - Plenary Session #2 in 3A52
xtUML Roadmap - Tooling and Methodology
Review of items from 2017
Looking forward
11:00 - 12:30: MPS Day in 3A54
11:00-12:30 Coding a Language Extension with MPS
Markus Völter
11:00 - 12:30: Model-Based Systems Engineering Meeting in 2A56 (Aud 3)
11:00-12:00 Automotive Challenges
Jianlin Shi Volvo Cars, Maged Khalil Continental, Thibaud Thomas Plastic Omnium
12:00-12:30 Panel & Discussions: « What are the challenges facing Automotive industry in terms of MBSE? »
11:00 - 12:30: Doctoral Symposium - Quality Assurance in 2A18
Model-driven Round-trip Software Dependability Engineering
Michele Tucci
A Modular and Reuse-Oriented Approach to Integrate a Modeling Environment with a Verifier
Sudeep Kanav
Optimization and Reconfiguration of IEC 61499-based Software Architectures
Tarik Terzimehic
11:00 - 12:30: Educators Symposium in 4A58
Towards a Body of Knowledge for Model-Based Software Engineering
Federico Ciccozzi, Michalis Famelis, Gerti Kappel, Leen Lambers, Sebastien Mosser, Richard Paige, Alfonso Pierantonio, Arend Rensink, Rick Salay, Gabi Taentzer, Antonio Vallecillo and Manuel Wimmer
The impact of opt-in gamification on students' grades in a software design course
Kiko Fernandez-Reyes , Dave Clarke , Janina Hornbach
Using MOOC Technology and Formative Assessment in a Conceptual Modelling Course: an Experience Report
Daria Bogdanova , Monique Snoeck
We'll Make Modelers Out of 'Em Yet: Introducing Modeling into a Curriculum
Eric J. Rapos
Practicing Domain-Specific Languages: From Code to Models
Laure Gonnord , Sebastien Mosser
11:00 - 12:30: W11 Debugging in Model-Driven Engineering (MDEBug) - Paper Presentations in 2A08
11:00-11:20 Towards an Automated Fault Localizer while Designing Meta-models
Adel Ferdjoukh , Jean-Marie Mottu
11:20-11:40 Towards Providing Debugging in the Domain-Specific Modeling Languages for Software Agents
Baris Tekin Tezel , Geylani Kardas
11:40-12:00 Debugging of Model Transformations and Contracts in SyVOLT
Bentley Oakes , Clark Verbrugge , Levi Lucio , Hans Vangheluwe
12:00-12:20 A Generalized Stepping Semantics for Model Debugging
Simon Van Mierlo , Yentl Van Tendeloo , Hans Vangheluwe
12:20-12:30 Discussion
11:00 - 12:30: W12 Model Driven Engineering, Verification and Validation (MoDeVVA) in 2A20
11:00-11:30 ProVer: an SMT-based approach for process verification
Souheib Baarir , Reda Bendraou , Hakan Metin
11:30-12:00 Generation of test strategies for Model-based Functional Safety testing using an Artifact-centric approach
Bert Van Acker , Joachim Denil , Paul De Meulenaere , Bjorn Aelvoet , Dries Mahieu , Jan van den Oudenhoven
12:00-12:30 Balancing Model Usability and Verifiability with SBVR and Answer Set Programming
Deepali Kholkar , Dushyanthi Mulpuru , Vinay Kulkarni
11:00 - 12:30: W13 Pains in Model-Driven Engineering Practice (PAINS) - Flash Talks in 2A52
User Experience for DSLs - Aspects in regard to the Introduction of MDE within an Industrial Environment
Gerald Stieglbauer , Philip Langer , Stefan Sobernig
The Pains of Working with Spreadsheets in Model-Driven Engineering
Jonathan Co , Richard F. Paige , Peter Thomas , Stephen Hobson
Pains in Adopting MDE for Safety in Highly-Automated Driving
Arne Nordmann
Model Based System Engineering Challenges @ PLASTIC OMNIUM
Thibaud Thomas , Sutra Iris
Code Generation Pains
Garry Craig
Simplification and dynamic customization of MDE tools
Elena Strabykina , Mattias Mohlin
Pains with MDE
Vinay Kulkarni , Sreedhar Reddy
Pains in Model-Based Engineering: Views from an IV&V Perspective
Robert Pettit
How to provide “experience” to doubters? On introducing MDE into an organization
Juha-Pekka Tolvanen
The PAINS after 15 years of practicing MDE
Levi Lucio
11:00 - 12:30: W14 Models and Evolution (ME) in 2A54
11:00-11:20 Improving Trace-Based Propagation of Feature Annotations in Model Transformations
Sandra Greiner , Bernhard Westfechtel
11:30-11:50 Towards Hybrid Model Persistence
Alfa Yohannis , Horacio Hoyos Rodriguez , Fiona Polack , Dimitris Kolovos
12:00-12:20 Towards a Metamodel for Modular Simulation Environments
Sandro Koch , Frederik Reiche , Robert Heinrich
12:20-12:30 Discussion and Closing
11:00 - 12:30: W15 Multi-Level Modeling (MULTI) - Advances in multi-level modeling in 4A60 (Aud 4)
A Tool for the Convergence of Multilevel Modelling Approaches
Fernando Macías , Adrian Rutle , Volker Stolz
Context Aware Factors in Rearchitecting Two-Level Models into Multilevel Models
Mira Balaban , Igal Khitron , Azzam Maraee
Practical Experiences with Multi-Level Modeling using FMMLx: A Hierarchy of Domain-Specific Modeling Languages in Support of Life-Cycle Assessment
Monika Kaczmarek , Mario Nolte , Andreas Fritsch , Stefanie Betz
Multi-Level Modeling with XML
Jens Gulden
12:30 - 14:00: Lunch (Atrium Ground Floor)
14:00 - 15:30 Systems Analysis and Modeling (SAM) - Session 4: Performance, Safety and realizability in Aud 2
Chair: Daniel Amyot
Pattern libraries guiding the model-based reuse of automotive solutions
Maged Khalil
Enabling Performance Modeling for the Masses: Initial Experiences
Abel Gómez , Connie U. Smith , Amy Spellmann , Jordi Cabot
Realizability of Service Specifications
Mohammad F. Al-Hammouri , Gregor V. Bochmann
14:00 - 15:30: xtUML Days (by invitation only) - Plenary Session #3 in 3A52
Work in Progress and Proposed Package Outlines/Discussion
14:00 - 15:30: Modeling Tools Restarted in 3A54
14:00-14:20 Modeling Tools Restarted – meet HCL
Kimi Cousins HCL,
14:20-14:45 Client Advocacy & Tech Connect Initiative
Otto Klaren HCL,
14:45-15:30 Real-Time, Multi-User, Cross-Site Collaboration in a design tool!
Sandeep Katosh HCL,
14:00 - 15:30: MBSE Adoption Challenges - Model-Based Systems Engineering Meeting in 2A56 (Aud 3)
14:00-15:30 MBSE Adoption Challenges
Jesko Lamm Bernafon, Yves Bernard Airbus, Marco Ferrogalini Bombardier Transport
14:00 - 15:30: Doctoral Symposium - Heterogeneous and Complex Systems in 2A18
Context-aware traceability across heterogeneous modeling environments
Beatriz A. Sanchez
Exploration of hardware topologies based on functions, variability and timing
Johannes Eder
Model-Driven Development of Condition Monitoring Software
Faruk Pasic
14:00 - 15:30: Educators Symposium in 4A58
How do we teach Modelling and Model-Driven Engineering? A survey
Alfonso Pierantonio, Federico Ciccozzi, Michalis Famelis, Gerti Kappel, Leen Lembers, Sebastien Mosser, Richard Paige, Arend Rensink, Rick Salay, Gabriele Taentzer, Antonio Vallecillo and Manuel Wimmer
How to Improve the Understanding of Roles in Modeling
Markus Hamann , Juliane Pfeffer , Birgit Demuth
Adapting Kirkpatrick´s Evaluation Model to Technology Enhanced Learning
Jenny Ruiz de la Peña , Monique Snoeck
Teaching Software Language Engineering and Usability through Students Peer Reviews
Fabian Gilson
Evolution towards a holistic course in Model-driven System Development - Modeling for Enterprise Architecture with Business and System Architecture and Platform-based development
Arne.J. Berre , Shihong Huang , Hani Murad , Ewa Kabza
14:00 - 15:30: W11 Debugging in Model-Driven Engineering (MDEBug) - Discussions in 2A08
14:00-14:45 Discussion, deciding on set of topics and forming of groups
14:45-15:30 Discussion in groups
14:00 - 15:30: W13 Pains in Model-Driven Engineering Practice (PAINS) in 2A52
14:00-15:30 Breakout Sessions
14:00 - 15:30: W15 Multi-Level Modeling (MULTI) - Process modelling & Bicycle challenge in 4A60 (Aud 4)
Multilevel Modelling of Coloured Petri Nets (in Process modelling)
Alejandro Rodríguez , Adrian Rutle , Francisco Durán , Lars Michael Kristensen , Fernando Macías
Perspective Based Level Addressing System for Unbalanced Meta Models (in Process modelling)
Daniel Toepel
A Contribution to the MULTI Challenge Using the FMMLx (in Bycicle challenge)
Ulrich Frank , Tony Clark
Multi-level modeling with MELANEE (in Bycicle challenge)
Arne Lange , Colin Atkinson
The Bicycle Challenge in DMLA, where Validation Means Correct Modeling (in Bycicle challenge)
Gergely Mezei , Zoltan Theisz , Dániel Urbán , Sándor Bácsi
14:00 - 15:30: W17 Analytics and mining of model repositories (AMMoRe) - Model Management and Analytics I in 2A54
Process model management and analytics
Barbara Weber DTU
Automatic model repair using reinforcement learning
Angela Barriga , Adrian Rutle , Rogardt Heldal
15:30 - 16:00: Coffee Break (Atrium Ground Floor)
16:00 - 17:30: Systems Analysis and Modeling (SAM) - Session 5: Collaborative Modeling in Aud 2
Chair: Gunter Mussbacher
Towards Online Collaborative Multi-View Modelling
Nirmal Kanagasabai , Omar Alam , Jörg Kienzle
Collaborative Software Design and Modeling in Open Source Systems (short paper)
Omar Badreddin , Wahab Hamou-Lhadj , Vahdat Abdelzad , Rahad Khandoker , Maged Elassar
15:30 - 18:00: Modeling Tools Restarted in 3A54
16:00-17:00 Experience IoT Modeling – Real Time
Elena Strabykina HCL, Mattias Mohlin HCL,
17:00-18:00 HCL Social
16:00 - 17:30: MBSE Adoption Challenges - Model-Based Systems Engineering Meeting in 2A56 (Aud 3)
16:00-17:00 MBSE Adoption Challenges
David Williams HCL, Stéphane Bonnet Thalès, Pascal Roques PRFC
17:00-17:30 Panel & Discussions: « How can we improve MBSE adoption in industry ? »
17:30 The End
16:00 - 18:00: Doctoral Symposium - Consistency Management in MDE in 2A18
Tolerant Consistency Management in Model-Driven Engineering
Nils Weidmann
Multi-model Consistency Preservation
Heiko Klare
17:00-18:00 Discussion Panel: Do's and Don'ts When Performing Doctoral Studies
16:00 - 17:30: Educators Symposium in 4A58
16:00 - 17:30: W11 Debugging in Model-Driven Engineering (MDEBug) - Discussions continued in 2A08
14:00-14:45 Discussion in groups
14:45-15:30 Discussion of results and wrap-up
16:00 - 17:30: W13 Pains in Model-Driven Engineering Practice (PAINS) in 2A52
16:00-17:30 Plenary and conclusion
16:00 - 17:30: W15 Multi-Level Modeling (MULTI) - Discussion and Position in 4A60 (Aud 4)
Multilevel Modeling: What's in a Level? A Position Paper
Mira Balaban , Igal Khitron , Michael Kifer , Azzam Maraee
A Story of Levels
Thomas Kuehne
Present and future of multi-level modeling (Plenary session)
16:00 - 17:30: W17 Analytics and mining of model repositories (AMMoRe) - Model Management and Analytics II in 2A54
Model analytics for feature models: case studies for S.P.L.O.T. repository
Önder Babur , Loek Cleophas , Mark Van Den Brand
Exploring model repositories by means of megamodel-aware search operators
Francesco Basciani , Juri Di Rocco , Davide Di Ruscio , Ludovico Iovino , Alfonso Pierantonio
Wrap up and closing
19:00: Doctoral Symposium Dinner

Wednesday 17 Oct 2018

08:30 - 10:00: Plenary Session in Aud 1
Chair: Øystein Haugen
Welcome to MODELS 2018
Keynote: Modeling air pollution: Informing policies to address a global environmental challenge
Noelle Eckley Selin MIT
Lightning talks from exhibit presenters
10:00 - 10:30: Coffee Break: Exhibition & Interactive Tool Demos (Atrium Ground Floor)
10:30 - 12:00: Foundations in Aud 1
Chair: Vadim Zaytsev
Exploring Potency
Thomas Kuehne Victoria University of Wellington
From (Imperfect) Object Diagrams to (Imperfect) Class Diagrams
Andreas Kästner , Martin Gogolla University of Bremen, Bran Selic Malina Software Corp.
On the Quest for Flexible Modelling
Esther Guerra Universidad Autónoma de Madrid, Juan De Lara Universidad Autónoma de Madrid
Mathematical Programming for Anomaly Analysis of Clafer Models
Markus Weckesser TU Darmstadt, Malte Lochau TU Darmstadt, Michael Ries , Andy Schürr TU Darmstadt
10:30 - 12:00: Industry Day in Aud 2
Chair: Benoit Combemale
10:30-11:00 Why Industry Does not Care About Models
Bran Selic Malina Software Corp.
11:00-11:30 Automated and Scalable Solutions for Software Testing: The Essential Role of MDE
Lionel Briand University of Luxembourg, SNT
11:30-12:00 Modeling of Business Logic to enhance Business Agility
Markus Voelter Ind.
12:00 - 13:30: Lunch: Exhibition & Interactive Tool Demos (Atrium Ground Floor)
12:00 - 13:30: Hiring Lunch (by registration) in EatIT (1st Floor)
13:30 - 15:00: Transformations in Aud 1
Chair: Eugene Syriani
From Single- to Multi-Variant Model Transformations: Trace-Based Propagation of Variability Annotations
Bernhard Westfechtel Uni Bayreuth, Sandra Greiner Uni Bayreuth
Expressing Confidence in Models and in Model Transformations Elements
Loli Burgueño University of Málaga, Manuel F. Bertoa University of Málaga, Nathalie Moreno University of Málaga, Antonio Vallecillo University of Málaga
Model Transformation Product Lines
Juan De Lara Universidad Autónoma de Madrid, Esther Guerra Universidad Autónoma de Madrid, Marsha Chechik University of Toronto, Rick Salay University of Toronto
Expressive and Efficient Model Transformation with an Internal DSL of Xtend
Artur Boronat University of Leicester
13:30 - 15:00: Industry Day in Aud 2
Chair: Anders Ek
13:30-14:00 Model based software development: Experiences from large scale usage
Roger Holmberg Ericsson, Olivera Milenkovic Aspire Technology
14:00-14:30 MBSE with Arcadia and Capella: rationale, status and perspectives
Stéphane Bonnet Thales
14:30-15:00 Is Open Source a Viable Alternative for Industrial MBE Tools?
Francis Bordeleau Cmind Inc.
15:00 - 15:30: Coffee Break: Exhibition & Interactive Tool Demos (Atrium Ground Floor)
15:30 - 17:00: Verification, Validation and Planning in Aud 1
Chair: Nelly Bencomo
Evolutionary Algorithm for Bug Localization in the Reconfigurations of Models at Runtime
Lorena Arcega Universidad San Jorge, Jaime Font Universidad San Jorge, Carlos Cetina Universidad San Jorge
Integrating the Designer in-the-loop for Metamodel/Model Co-Evolution via Interactive Computational Search
Wael Kessentini University of Montreal, Manuel Wimmer TU Wien, Houari Sahraoui University of Montreal,
Unified LTL Verification and Embedded Execution of UML Models
Valentin Besnard , Matthias Brun ESEO, Frédéric Jouault ESEO, Ciprian Teodorov ENSTA , Philippe Dhaussy ENSTA
A Model-Driven Solution to support Smart Mobility Planning (P&I)
Antonio Bucchiarone FBK, Antonio Cicchetti Mälardalen University
15:30 - 17:00: Industry Day in Aud 2
Chair: Jean-Michel Bruel
15:30-16:00 Applying Model-Driven Engineering to High Performance Computing
Benoit Lelandais CEA, Marie-Pierre Oudot CEA
16:00-16:30 Lessons Learned from Model-Based Safety Assessment with SysML and Component Fault Trees (Invited Paper from Practice & Innovation Track)
Arne Nordmann Bosch, Peter Munk Bosch
16:30-17:00 Digital Behavioral Twins for Safe Connected Cars (Invited Paper from Practice & Innovation Track)
Ximing Chen , Zhihao Jiang , Eunsuk Kang , Shinichi Shiraishi , Victor M. Preciado
Toyota and University of of Pennsylvania
17:00-18:30: Steering Commitee Meeting (by invitation only) in 3A20
17:00-18:30: Break (go for walk, ice cream, check-in into your hotel, visit exhibit, working spaces available)
18:30-21:00: MODELS18 Social Reception + Poster Session (Atrium Ground Floor)
Access included for all participants registered for the main conference or industry program on Wednesday. No ticket necessary, but bring your badge.

Thursday 18 Oct 2018

08:30 - 09:30: Plenary Session in Aud 1
Chair: Andrzej Wąsowski
Keynote: Models for motion prediction; robotic brains versus biological brains
Martijn Wisse Delft University of Technology
09:30 - 10:00: Coffee Break (Atrium Ground Floor)
10:00 - 11:30: Model Analysis and Testing in Aud 1
Chair: Michalis Famelis
Engineering Software Diversity: a Model-Based Approach to Systematically Diversify Communications
Brice Morin SINTEF, Jakob Høgenes SINTEF, Hui Song SINTEF, Nicolas Harrand KTH, Benoit Baudry KTH
Extending Complex Event Processing to Graph-structured Information
Gala Barquero , Loli Burgueño University of Málaga, Javier Troya University of Sevilla, Antonio Vallecillo University of Málaga
Enabling Model Testing of Cyber-Physical Systems (P&I)
Carlos A. González , Mojtaba Varmazyar University of Luxembourg, Shiva Nejati University of Luxembourg, Lionel Briand University of Luxembourg, Yago Isasi LuxSpace,
Toward testing from finite state machines with symbolic inputs and outputs (SOSYM First)
Alexandre Petrenko CRIM
10:00 - 11:30: Experience Reports in Aud 2
Chair: Tim Lethbridge
Measures to report the Location Problem of Model Fragment Location (P&I)
Manuel Ballarín Universidad San Jorge, Ana Marcen Universidad San Jorge, Vicente Pelechano Universitat Politècnica de València, Carlos Cetina Universidad San Jorge
Using language workbenches and domain-specific languages for safety-critical software development (SOSYM First)
Markus Voelter , Bernd Kolb , Klaus Birken , Federico Tomassetti , Patrick Alff , Laurent Wiart , Andreas Wortmann , Arne Nordmann
Improving the developer experience with a Low-Code Process Modelling Language (P&I)
Henrique Henriques , Hugo Lourenço , Vasco Amaral , Miguel Goulão ,
A feature-based survey of model view approaches (SOSYM First)
Hugo Bruneliere , Erik Burger , Jordi Cabot , Manuel Wimmer ,
11:30 - 13:00: Lunch (Atrium Ground Floor)
11:30 - 13:00: Steering Committee Lunch (by invitation only) in 3A20
13:00 - 14:30: Empirical Studies in Aud 1
Chair: Silvia Abrahão
Model-Based Software Engineering: A Multiple-Case Study on Challenges and Development Efforts
Rodi Jolak , Truong Ho-Quang , Michel R.V. Chaudron , Ramon R.H. Schiffelers
An Empirical Investigation to Understand the Difficulties and Challenges of Software Modellers When Using Modelling Tools
Parsa Pourali , Joanne Atlee
Effort Used to Create Domain-Specific Modeling Languages (P&I)
Juha-Pekka Tolvanen , Steven Kelly
A Decade of Software Design and Modeling: A Survey to Uncover Trends of the Practice (P&I)
Omar Badreddin , Rahad Khandoker , Andrew Forward , Omar Masmali , Timothy Lethbridge
13:00 - 14:30: Panel in Aud 2
Moderator: Alexander Pretschner TUM, fortiss, and Bavarian Research Institute for Digital Transformation
Why Model-Based Engineering Works in Practice!
Francis Bordeleau Cmind, Lionel Briand University of Luxembourg, Maged Khalil Continental, Sebastian Voss fortiss
14:30 - 15:00: Coffee Break (Atrium Ground Floor)
15:00 - 16:30: Patterns, Refactoring and Refinement in Aud 1
Chair: Marouane Kessentini
Recommending Model Refactoring Rules from Refactoring Examples
Chihab Eddine Mokaddem , Houari Sahraoui , Eugene Syriani
Refactoring Architecture Models for Compliance with Custom Requirements
Ta’id Holmes , Uwe Zdun
Model-Driven Trace Diagnostics for Pattern-based Temporal Specifications
Wei Dou , Domenico Bianculli , Lionel Briand
On Computing Instructions to Repair Failed Model Refinements
Oliver Kautz , Bernhard Rumpe
16:30 - 18:15: SoSyM editorial board meeting (by invitation only) in 3A20
17:30 - 23:00: Banquet (including Awards) at the Royal Opera House, Operaen, Ekvipagemestervej 10
17:30 A guided tour of the opera (award winning international level architecture). Register in the conference reception to be admitted to the tour, the tour is free, but we have limited number of places. Bus will be available from the conference venue 17:30, meeting time, buses depart 17:45 (no waiting). You can walk, or use public transport to get to the opera as well depending on the weather.
19:00-23:00 The conference banquet (same location) Bus will be available from the conference venue 18:15 (meeting time) buses depart 18.30 (no waiting). You can also arrange alternative transport, walk yourself.
After the banquet a shuttle will be available from 21:30 (until the last guest but no longer than 23:00 hours). The shuttle will stop at the WakeUp Hotel Borgergade, Nørreport metro/train station, and Imperial Hotel.

Friday 19 Oct 2018

08:30 - 09:30: Plenary Session: The Most Influential Papers in Aud 1
Chairs: Jordi Cabot, Jeff Gray, Bernhard Rumpe
MODELS Most Influential Paper Award Talk: Precise Semantics of EMF Model Transformations by Graph Transformation
Enrico Biermann , Claudia Ermel , Gabriele Taentzer
SoSyM Regular Most Influential Paper Award Talk: Reducing accidental complexity in domain models
Colin Atkinson , Thomas Kühne
Invitation to MODELS 2019
09:30 - 10:00: Coffee Break (Atrium Ground Floor)
10:00 - 11:30: Model Management in Aud 1
Chair: Fiona Polack
Towards sound, optimal, and flexible building from megamodels
Perdita Stevens
Robust Hashing for Models
Salvador Martinez , Sebastien Gerard , Jordi Cabot
Incremental View Model Synchronization Using Partial Models
Kristóf Marussy , Oszkár Semeráth , Dániel Varró
Towards Scalable Model Views on Heterogeneous Model Resources (P&I)
Hugo Bruneliere , Florent Marchand de Kerchove , Gwendal Daniel , Jordi Cabot
10:00 - 11:30: Hardware Embedded Systems and CPS in Aud 2
Chair: Bran Selic
Slicing UML-based Models of Real-time Embedded Systems
Reza Ahmadi , Ernesto Posse , Juergen Dingel
HITECS: A UML Profile and Analysis Framework for Hardware-in-the-Loop Testing of Cyber Physical Systems
Seung Yeob Shin , Karim Chaouch , Shiva Nejati , Mehrdad Sabetzadeh , Lionel Briand , Frank Zimmer
Hybrid co-simulation: it’s about time (SOSYM First)
Fabio Cremona , Marten Lohstroh , David Broman , Edward A. Lee , Michael Masin , Stavros Tripakis
11:30 - 12:30: Lunch (Atrium Ground Floor)
12:30 - 13:30: Graphical Modelling and Modelling Applications in Aud 1
Chair: Antonio Vallecillo
Towards a Language Server Protocol Infrastructure for Graphical Modeling
Roberto Rodriguez-Echeverria , Javier Luis Canovas Izquierdo , Jordi Cabot , Manuel Wimmer
Visualizations of Evolving Graphical Models in the Context of Model Review
Florian Zoubek , Philip Langer , Tanja Mayerhofer
Dissimilarity Measures for Clustering Space Mission Architectures (P&I)
Cody Kinneer , Sebastian Herzig
12:30 - 13:30: Transformations 2 in Aud 2
Chair: Gabriele Taentzer
Change Propagation-based and Composition-based Co-evolution of Transformations with Evolving Metamodels
Djamel Eddine Khelladi , Roland Kretschmer , Alexander Egyed
Integration of Visual Contracts and Model Transformation for Enhanced MDE Development (P&I)
Matt Selway , Georg Grossmann , Kerryn Owen , Richard Dexter , Markus Stumptner
Assurance via hierarchies of model transformation refinements
Zinovy Diskin , Tom Maibaum , Alan Wassyng , Mark Lawford , Stephen Wynn-Williams
12:30 - 13:30: Synthesis & Simulation in 2A56 (Aud 3)
Chair: Francis Bordeleau
From Deployment to Platform Exploration - Automatic Synthesis of Distributed Automotive Hardware Architectures (P&I)
Johannes Eder , Andreas Bayha , Sebastian Voss , Alexandru Ipatiov , Maged Khalil
Highly-Optimizing and Multi-Target Compiler for Embedded System Models: C++ Compiler Toolchain for the Component and Connector Language EmbeddedMontiArc
Evgeny Kusmenko , Bernhard Rumpe , Sascha Schneiders , Michael von Wenckstern
Efficient use of local energy: An activity oriented modeling to guide Demand Side Management (P&I)
Alexandre Rio , Yoann Maurel , Olivier Barais , Yoran Bugni
13:30 - 14:00: Coffee Break (Atrium Ground Floor)
14:00 - 15:00: Keynote in Aud 1
Chair: Richard Paige
14:00-15:00 Keynote: Genetics of Computer Programs
Jim Cordy Queen's University
15:00 - 15:15 : Thank you and goodbye (Aud 1)