Write a Blog >>
MODELS 2020
Fri 16 - Fri 23 October 2020
VenueOnline
Room nameRoom B
Floor0
Room number12
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

Fri 16 Oct

Displayed time zone: Eastern Time (US & Canada) change

07:00 - 08:30
Workshop 6: ME + AMMoReWorkshops at Room B
07:00
60m
Keynote
Keynote by Davide Di RuscioKEYNOTE
Workshops
Davide Di Ruscio University of L'Aquila
08:00
30m
Other
Models and Evolution
Workshops

Link to publication
09:00 - 10:30
Workshop 6: ME + AMMoReWorkshops at Room B
09:00
90m
Other
Models and Evolution
Workshops

Link to publication
11:00 - 12:30
Workshop 6: ME + AMMoReWorkshops at Room B
11:00
90m
Other
Analytics and Mining of Model Repositories
Workshops

Link to publication
13:30 - 15:00
Tutorial 6: SysML Tutorials at Room B
13:30
90m
Tutorial
Introduction to the OMG Systems Modeling Language (SysML) Version 2
Tutorials
Ed Seidewitz Model Driven Solutions
15:30 - 17:00
Tutorial 6: SysML Tutorials at Room B
15:30
90m
Tutorial
Introduction to the OMG Systems Modeling Language (SysML) Version 2
Tutorials
Ed Seidewitz Model Driven Solutions

Mon 19 Oct

Displayed time zone: Eastern Time (US & Canada) change

09:00 - 10:30
Workshop 7: SecureMDEWorkshops at Room B
09:00
90m
Other
Security for and by Model-Driven Engineering
Workshops

Link to publication
11:00 - 12:30
Workshop 7: SecureMDEWorkshops at Room B
11:00
90m
Other
Security for and by Model-Driven Engineering
Workshops

Link to publication
13:30 - 15:00
Tutorial 7: Big dataTutorials at Room B
13:30
90m
Tutorial
Big Data Polystore Management with TYPHON
Tutorials
Francesco Basciani University of L'Aquila, Marie-Saphira Flug (inactive profile) , Loup Meurice Rever SA, Fulya Horozal , Tijs van der Storm CWI & University of Groningen, Netherlands, Sebastian Scholze , Athanasios Zolotas
15:30 - 17:00
Tutorial 7: Big dataTutorials at Room B
15:30
90m
Tutorial
Big Data Polystore Management with TYPHON
Tutorials
Francesco Basciani University of L'Aquila, Marie-Saphira Flug (inactive profile) , Loup Meurice Rever SA, Fulya Horozal , Tijs van der Storm CWI & University of Groningen, Netherlands, Sebastian Scholze , Athanasios Zolotas

Tue 20 Oct

Displayed time zone: Eastern Time (US & Canada) change

09:00 - 10:30
Workshop 9: MoDeVVaWorkshops at Room B
09:05
45m
Keynote
Formal Models to Program Autonomous RobotsKEYNOTE
Workshops
Charles Lesire-Cabaniols ONERA - The French Aerospace Lab
09:50
40m
Other
Model Driven Engineering, Verification and Validation
Workshops

Link to publication
13:30 - 15:00
Tutorial 2: Graph transformationTutorials at Room B
13:30
90m
Tutorial
Graph Transformation for Software Engineers
Tutorials
Reiko Heckel University of Leicester, Gabriele Taentzer Universität Marburg
File Attached
15:30 - 17:00
Tutorial 2: Graph transformationTutorials at Room B
15:30
90m
Tutorial
Graph Transformation for Software Engineers
Tutorials
Reiko Heckel University of Leicester, Gabriele Taentzer Universität Marburg
File Attached

Wed 21 Oct

Displayed time zone: Eastern Time (US & Canada) change

13:15 - 14:30
B2-MDE Process SupportTechnical Track at Room B
Chair(s): Jesús Sánchez Cuadrado
13:15
20m
Full-paper
To build, or not to build: ModelFlow, a build solution for MDE projectsFT
Technical Track
Beatriz Sanchez University of York, Dimitris Kolovos University of York, Richard Paige McMaster University
Pre-print Media Attached
13:35
20m
Full-paper
An extensible framework for customizable model repairFT
Technical Track
Angela Barriga , Rogardt Heldal , Ludovico Iovino Gran Sasso Science Institute, L'Aquila, Italy, Magnus Marthinsen , Adrian Rutle Western Norway University of Applied Sciences
13:55
20m
Full-paper
Interactive Metamodel/Model Co-Evolution: A Clustering-based Multi-Objective ApproachFT
Technical Track
Wael Kessentini , Vahid Alizadeh DePaul University
14:15
15m
Talk
Ark: a constraint-based method for architectural synthesis of smart systemsJ1st
Technical Track
Milena Guessi , Flavio Oquendo IRISA (UMR CNRS) - Univ. Bretagne-Sud (UBS), Elisa Yumi Nakagawa University of São Paulo, Brazil
DOI
15:00 - 16:15
B3-Model Analysis and ValidationTechnical Track at Room B
Chair(s): Marsha Chechik University of Toronto, Canada
15:00
20m
Full-paper
Semantic Comparisons of Alloy ModelsFT
Technical Track
Jan Oliver Ringert University of Leicester, Syed Waqee Wali University of Leicester, UK
DOI Pre-print
15:20
20m
Full-paper
Automated Generation of Consistent Models with Structural and Attribute ConstraintsFT
Technical Track
Oszkár Semeráth Budapest University of Technology and Economics, Aren Babikian McGill University, Anqi Li , Kristóf Marussy , Daniel Varro McGill University / Budapest University of Technology and Economics
Link to publication
15:40
20m
Full-paper
mel - Model Extractor Language for Extracting Facts from ModelsFT
Technical Track
Robert Hackman , Joanne M. Atlee University of Waterloo, Finn Hacket Computer Science, University of Waterloo, Michael W. Godfrey University of Waterloo, Canada
16:00
15m
Demonstration
Strengthening Validation of Model Behavior through Filmstrip Templates in the tool USEDemo
Technical Track

Thu 22 Oct

Displayed time zone: Eastern Time (US & Canada) change

11:00 - 12:15
B4-Language Engineering and ModularityTechnical Track at Room B
Chair(s): Benoit Combemale University of Toulouse and Inria
11:00
20m
Full-paper
A Compositional Framework for Systematic Modeling Language ReuseFT
Technical Track
Arvid Butting Software Engineering RWTH Aachen University, Jerome Pfeiffer , Bernhard Rumpe RWTH Aachen, Andreas Wortmann RWTH Aachen University
11:20
20m
Full-paper
Template Based Model Engineering in UMLFT
Technical Track
11:40
15m
Talk
On the benefits of file-level modularity for EMF modelsJ1st
Technical Track
Mojtaba Bagherzadeh , Karim Jahed Queen's University, Juergen Dingel Queen's University, Kingston, Ontario
DOI Pre-print
11:55
15m
Demonstration
Concrete Syntax-Based Find for Graphical DSLsDemo
Technical Track
15:00 - 16:15
B5-Models and DataTechnical Track at Room B
Chair(s): Dimitris Kolovos University of York
15:00
20m
Full-paper
Detecting Quality Problems in Research Data: A Model-Driven ApproachFT
Technical Track
Arno Kesper , Viola Wenz Philipps-Universität Marburg, Gabriele Taentzer Universität Marburg
Link to publication DOI File Attached
15:20
15m
Demonstration
Insights Collaboration Space – A Team Collaboration App for the Design of Data-Driven ServicesDemo
Technical Track
15:35
15m
Demonstration
Towards User-Centred tooling for Modelling of Big Data ApplicationsDemo
Technical Track
Hourieh Khalajzadeh Monash University, Australia, Tarun Verma , Anj Simmons Deakin University, John Grundy Monash University, Mohamed Abdelrazek Deakin University, Australia, John Hosking University of Auckland
15:50
15m
Demonstration
TyphonML: a Modeling Environment to Develop Hybrid PolystoresDemo
Technical Track
Francesco Basciani University of L'Aquila, Juri Di Rocco University of L'Aquila, Davide Di Ruscio University of L'Aquila, Ludovico Iovino Gran Sasso Science Institute, L'Aquila, Italy, Alfonso Pierantonio Università degli Studi dell'Aquila

Fri 23 Oct

Displayed time zone: Eastern Time (US & Canada) change

13:15 - 14:30
B7-Run-time and ArchitectureTechnical Track at Room B
Chair(s): Bran Selic Malina Software Corporation
13:15
20m
Full-paper
A model-based approach for developing event-driven architectures with AsyncAPIP&I
Technical Track
Abel Gómez Universitat Oberta de Catalunya, Markel Iglesias-Urkia , Aitor Urbieta , Jordi Cabot ICREA - UOC
DOI Pre-print Media Attached
13:35
20m
Full-paper
A Scalable Querying Scheme for Memory-efficient Runtime Models with HistoryFT
Technical Track
Lucas Sakizloglou Hasso Plattner Institute, University of Potsdam, Sona Ghahremani Hasso Plattner Institute, University of Potsdam, Matthias Barkowsky Hasso Plattner Institute, University of Potsdam, Germany, Matthias Barkowsky Hasso Plattner Institute, University of Potsdam, Germany, Holger Giese Hasso Plattner Institute, University of Potsdam
Link to publication DOI Pre-print
13:55
15m
Talk
A model-based architecture for interactive run-time monitoringJ1st
Technical Track
Nicolas Hili , Mojtaba Bagherzadeh , Karim Jahed Queen's University, Juergen Dingel Queen's University, Kingston, Ontario
DOI
14:10
15m
Demonstration
MReplayer: A Trace Replayer of Distributed UML-RT ModelsDemo
Technical Track
Majid Babaei Queen's University, Mojtaba Bagherzadeh , Juergen Dingel Queen's University, Kingston, Ontario
Pre-print
15:00 - 16:15
B8-Variability and EvaluationTechnical Track at Room B
Chair(s): Mahdi Manesh Porsche Digital GmbH
15:00
20m
Full-paper
Variability Representations in Class Models: An Empirical AssessmentFT
Technical Track
Daniel Strüber Radboud University Nijmegen, Anthony Anjorin , Thorsten Berger Chalmers University of Technology, Sweden / University of Gothenburg, Sweden
Pre-print
15:20
20m
Full-paper
Co-evolution of Simulink Models in a Model-Based Product LineP&I
Technical Track
Robbert Jongeling Malardalen University, Antonio Cicchetti Mälardalen University, Federico Ciccozzi Malardalen University, Jan Carlson Malardalen University
Link to publication DOI Pre-print
15:40
15m
Talk
Claimed Advantages and Disadvantages of (dedicated) Model Transformation languages: A Systematic Literature ReviewJ1st
Technical Track
Stefan Götz , Matthias Tichy Ulm University, Germany, Raffaela Groner
15:55
15m
Demonstration
Using Benji to Systematically Evaluate Model Comparison AlgorithmsDemo
Technical Track
Lorenzo Addazi Mälardalen University, Antonio Cicchetti Mälardalen University

Fri 16 Oct

Displayed time zone: Eastern Time (US & Canada) change

Mon 19 Oct

Displayed time zone: Eastern Time (US & Canada) change

Tue 20 Oct

Displayed time zone: Eastern Time (US & Canada) change

Wed 21 Oct

Displayed time zone: Eastern Time (US & Canada) change

Thu 22 Oct

Displayed time zone: Eastern Time (US & Canada) change

Fri 23 Oct

Displayed time zone: Eastern Time (US & Canada) change

Fri 16 Oct

Displayed time zone: Eastern Time (US & Canada) change

Mon 19 Oct

Displayed time zone: Eastern Time (US & Canada) change