Mulder: Empowering the JAMStack with DSLs

All times are intended as PM and expressed in CEST: UTC+2

Show only

Sun Oct 02 2016

Bouvet 1

Bouvet 2

Vauban 2

Vauban 1

Lamennais 1

Lamennais 2

Lamennais 3

Rotonde J. Cartier

Rotonde Surcouf

09:00

Doctoral Symposium

Advanced Model Management with Epsilon

ARCADIA in a Nutshell

Hybrid Graphical and Textual Modelling and Code Generation with PapyrusRT

10:30

Coffee Break

11:00

Doctoral Symposium

Advanced Model Management with Epsilon

ARCADIA in a Nutshell

Hybrid Graphical and Textual Modelling and Code Generation with PapyrusRT

12:30

Lunch

14:00

Doctoral Symposium

Modeling Reactive Systems with the Scenario Modeling Language and ScenarioTools

Creating a Domain-Specific Graphical Modeling Workbench with Eclipse Technologies

Technologies and Design Patterns for Model-based Development of Cyber-physical Systems

15:30

Coffee Break

16:00

Doctoral Symposium

Modeling Reactive Systems with the Scenario Modeling Language and ScenarioTools

Creating a Domain-Specific Graphical Modeling Workbench with Eclipse Technologies

Technologies and Design Patterns for Model-based Development of Cyber-physical Systems

17:30

Mon Oct 03 2016

Vauban 1

Bouvet 1

Bouvet 2

Charcot

Vauban 2

Lamennais 1

Lamennais 2

Lamennais 3

Rotonde J. Cartier

Rotonde Surcouf

09:00

Educators Symposium

Empirical Research in Model Based Software Engineering

Applying Model Driven Engineering Technologies in the Creation of Domain Specific Modeling Languages

10:30

11:00

Educators Symposium

Empirical Research in Model Based Software Engineering

Applying Model Driven Engineering Technologies in the Creation of Domain Specific Modeling Languages

12:30

Lunch

14:00

Educators Symposium

Empirical Research in Model Based Software Engineering

Multi-level Modelling with MetaDepth

15:30

16:00

Educators Symposium

Empirical Research in Model Based Software Engineering

Multi-level Modelling with MetaDepth

17:30

19:00

Satellite Events Welcome Reception

22:00

Tue Oct 04 2016

Bouvet 2

Bouvet 1

Vauban 1

Vauban 2

Lamennais 1

Lamennais 2

Lamennais 3

Rotonde J. Cartier

Rotonde Surcouf

Broussais

Charcot

09:00

10:30

Coffee Break

11:00

12:30

Lunch

14:00

15:30

Coffee Break

16:00

17:30

Wed Oct 05 2016

Chateaubriand

Rotonde J. Cartier

Lamennais 12

Lamennais 45

Grand Large

08:45

General Chairs Opening

09:00

Program Commitee Opening

09:15

10:30

11:00

Domain-Specific Modelling

Multi-Variability Modeling and Realization for Software Derivation in Industrial Automation Management

A Model-based Approach for Multi-Device User Interactions

Using Free Modeling as an Agile Method for Developing Domain Specific Modeling Languages

Supporting the Model-Driven Development of Real-time Embedded Systems with Run-Time Monitoring and Animation via Highly Customizable Code Generation

Model-driven Performance Prediction of Systems of Systems. SoSyM First

Automatic Generation of Detailed Flight Plans from High-level Mission Descriptions

Modelling and Formal Methods

Towards a Categorical Approach for Meta-Modelling Epistemic Game Theory

OCL2MSFOL - A Mapping to Many-Sorted First-Order Logic for Efficiently Checking the Satisfiability of OCL Constraints

On the Synthesis of Protocol State Machines from Contracts

12:15

12:30

Lunch

14:00

Modelling Models

Towards the Characterization of Realistic Models - Evaluation of Multidisciplinary Graph Metrics

Unifying Explanatory and Constructive Modeling

Metamodel Specialization for Graphical Modeling Language Support

Applications II

Visual Modeling of RESTful Conversations with RESTalk. SoSyM First

Formalizing Knowledge in Multi-Scale Agent-Based Simulations

Process Mining Using BPMN - Relating Event Logs and Process Models. SoSyM First

iOCL - A Interactive Tool for Specifying Validating and Evaluating OCL Constraints

SAC-OCL - A Tool for A Semi Automatic Co-evolution of OCL Constraints

Scenario-Based Modeling and Synthesis for Reactive Systems with Dynamic System Structure in ScenarioTools

15:15

15:45

Models and Code

ThingML - A Language and Code Generation Framework for Heterogeneous Targets

Modern Cpp as a Modeling Language for Automated Driving and Human-Robot Collaboration

Handling Index-Out-Of-Bounds in Safety-Critical Embedded C Code Using Model-based Development

Empirical Investigations I

Controlled Experiment on the Comprehension of Runtime Phenomena Using Models Created at Design Time

Technical Debt in MDE - A Case Study on GMF.EMF-Based Projects

The Quest for Open Source Projects that Use UML - Mining GitHub

C Code Verification based on the Extended Labeled Transition System Model

NeoEMF - a Multi-database Model Persistence Framework for Very Large Models

ModifRoundtrip - A Model-Based tool to reuse legacy transformations

Tsmart-BIPEX - An Integrated Graphical Design Toolkit for Software Systems

ArchFeature - A Modeling Environment Integrating Features into Product Line Architecture

Reifier - Model-Driven Engineering of Component-Based and Service-Oriented JEE Applications

17:00

MODELS Steering Commitee Meeting

17:30

19:00

Conference Welcome Reception

22:00

Thu Oct 06 2016

Chateaubriand

Rotonde J. Cartier

Lamennais 12

Lamennais 45

Grand Large

Demeure de Corsaire

09:00

General Chairs Opening

09:15

10:30

11:00

Testing and Simulation

Incremental Diagram Layout for Concrete Syntax Migration

A Generic Framework for Model-Set Selection for the Unification of Testing and Learning MDE Tasks

Towards the Verification of Industrial Communication Protocols through a Simulation Environment Based on QEMU and SystemC

Empirical Investigations II

Descriptive vs Prescriptive Models in Industry

The Problems with Eclipse Modeling Tools - A Topic Analysis of Eclipse Forums

Model-Driven Software Engineering in the openETCS Project - Project Experiences and Lessons Learned

Advanced Algorithms and Modelling

Extracting Domain Models from Natural-Language Requirements. Approach and Industrial Evaluation

Incremental Backward Change Propagation of View Models by Logic Solvers

Feature Location in Models through a Genetic Algorithm Driven by Information Retrieval Techniques

12:15

12:30

Lunch

14:00

14:30

Merging Models with the Epsilon Merging Language - A Decade Later

What Went Right. The Secret History of UML and Related Matters - Career Award

15:30

16:00

Panel - User Experience in Model-Based Software Engineering

17:00

SoSyM Editorial Board Meeting

18:30

19:00

Gala Dinner

22:00

Fri Oct 07 2016

Chateaubriand

Rotonde J. Cartier

Broussais

Lamennais 12

Lamennais 45

09:00

General Chairs Opening

09:15

10:30

Hand-over to 2017

11:00

Model Transformation

A Generic Transformation Algorithm to Simplify the Development of Mapping Models

Automated Refactoring of ATL Model Transformations - A Search-Based Approach

Model Transformation for End-User Modelers with VMTL. SoSyM First

Ground Setting Properties for an Efficient Translation of OCL in SMT-based Model Finding

Query-based Access Control for Secure Collaborative Modeling Using Bidirectional Transformations

PrefetchML - A Framework for Prefetching and Caching Models

Partial Loading of XMI Models

Integration of a Graph-Based Model Indexer in Commercial Modelling Tools

Testing and Analysis

Towards Mutation Analysis for Use Cases

A Requirement Driven Testing Method for Multi-disciplinary System Design

Automatic Detection of Incomplete Requirements via Symbolic Analysis

A Model Management Approach for Assurance Case Reuse due to System Evolution

12:40

Legend:

Opening

Keynote

Talk Session

Workshop

Tutorial

Poster

Doctoral Symposium

Educator Symposium

Student Research Competition

Panel

Clinic

Meeting

Lunch

Steering Comitee

Virtual Reception

Coffee Break