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
Times are displayed in 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 RuscioUniversity 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 SeidewitzModel 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 SeidewitzModel Driven Solutions

Mon 19 Oct
Times are displayed in 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 BascianiUniversity of L'Aquila, Marie-Saphira FlugATB Bremen, Loup MeuriceRever SA, Fulya Horozal, Tijs van der StormCWI & 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 BascianiUniversity of L'Aquila, Marie-Saphira FlugATB Bremen, Loup MeuriceRever SA, Fulya Horozal, Tijs van der StormCWI & University of Groningen, Netherlands, Sebastian Scholze, Athanasios Zolotas

Tue 20 Oct
Times are displayed in 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-CabaniolsONERA - 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 HeckelUniversity of Leicester, Gabriele TaentzerUniversitä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 HeckelUniversity of Leicester, Gabriele TaentzerUniversität Marburg
File Attached

Wed 21 Oct
Times are displayed in 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 CuadradoUniversidad de Murcia
13:15
20m
Full-paper
To build, or not to build: ModelFlow, a build solution for MDE projectsFT
Technical Track
Beatriz SanchezUniversity of York, Dimitris KolovosUniversity of York, Richard PaigeMcMaster University
Pre-print Media Attached
13:35
20m
Full-paper
An extensible framework for customizable model repairFT
Technical Track
Angela Barriga, Rogardt Heldal, Ludovico IovinoGran Sasso Science Institute, L'Aquila, Italy, Magnus Marthinsen, Adrian RutleWestern Norway University of Applied Sciences
13:55
20m
Full-paper
Interactive Metamodel/Model Co-Evolution: A Clustering-based Multi-Objective ApproachFT
Technical Track
14:15
15m
Talk
Ark: a constraint-based method for architectural synthesis of smart systemsJ1st
Technical Track
Milena Guessi, Flavio OquendoIRISA (UMR CNRS) - Univ. Bretagne-Sud (UBS), Elisa Yumi NakagawaUniversity of São Paulo, Brazil
DOI
15:00 - 16:15
B3-Model Analysis and ValidationTechnical Track at Room B
Chair(s): Marsha ChechikUniversity of Toronto, Canada
15:00
20m
Full-paper
Semantic Comparisons of Alloy ModelsFT
Technical Track
Jan Oliver RingertUniversity of Leicester, Syed Waqee WaliUniversity 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áthBudapest University of Technology and Economics, Aren BabikianMcGill University, Anqi Li, Kristóf Marussy, Daniel VarroMcGill 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. AtleeUniversity of Waterloo, Finn HacketComputer Science, University of Waterloo, Michael W. GodfreyUniversity of Waterloo, Canada
16:00
15m
Demonstration
Strengthening Validation of Model Behavior through Filmstrip Templates in the tool USEDemo
Technical Track

Thu 22 Oct
Times are displayed in time zone: Eastern Time (US & Canada) change

11:00 - 12:15
B4-Language Engineering and ModularityTechnical Track at Room B
Chair(s): Benoit CombemaleUniversity of Toulouse and Inria
11:00
20m
Full-paper
A Compositional Framework for Systematic Modeling Language ReuseFT
Technical Track
Arvid ButtingSoftware Engineering RWTH Aachen University, Jerome Pfeiffer, Bernhard RumpeRWTH Aachen, Andreas WortmannRWTH 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 JahedQueen's University, Juergen DingelQueen'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 KolovosUniversity of York
15:00
20m
Full-paper
Detecting Quality Problems in Research Data: A Model-Driven ApproachFT
Technical Track
Arno Kesper, Viola WenzPhilipps-Universität Marburg, Gabriele TaentzerUniversitä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 KhalajzadehMonash University, Australia, Tarun Verma, Andrew SimmonsDeakin University, John GrundyMonash University, Mohamed AbdelrazekDeakin University, Australia, John HoskingUniversity of Auckland
15:50
15m
Demonstration
TyphonML: a Modeling Environment to Develop Hybrid PolystoresDemo
Technical Track
Francesco BascianiUniversity of L'Aquila, Juri Di RoccoUniversity of L'Aquila, Davide Di RuscioUniversity of L'Aquila, Ludovico IovinoGran Sasso Science Institute, L'Aquila, Italy, Alfonso PierantonioUniversità degli Studi dell'Aquila

Fri 23 Oct
Times are displayed in time zone: Eastern Time (US & Canada) change

13:15 - 14:30
B7-Run-time and ArchitectureTechnical Track at Room B
Chair(s): Bran SelicMalina Software Corporation
13:15
20m
Full-paper
A model-based approach for developing event-driven architectures with AsyncAPIP&I
Technical Track
Abel GómezUniversitat Oberta de Catalunya, Markel Iglesias-Urkia, Aitor Urbieta, Jordi CabotICREA - 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 SakizloglouHasso Plattner Institute, University of Potsdam, Sona GhahremaniHasso Plattner Institute, University of Potsdam, Matthias BarkowskyHasso Plattner Institute, University of Potsdam, Germany, Matthias BarkowskyHasso Plattner Institute, University of Potsdam, Germany, Holger GieseHasso 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 JahedQueen's University, Juergen DingelQueen's University, Kingston, Ontario
DOI
14:10
15m
Demonstration
MReplayer: A Trace Replayer of Distributed UML-RT ModelsDemo
Technical Track
Majid BabaeiQueen's University, Mojtaba Bagherzadeh, Juergen DingelQueen's University, Kingston, Ontario
Pre-print
15:00 - 16:15
B8-Variability and EvaluationTechnical Track at Room B
Chair(s): Mahdi ManeshPorsche Digital GmbH
15:00
20m
Full-paper
Variability Representations in Class Models: An Empirical AssessmentFT
Technical Track
Daniel StrüberRadboud University Nijmegen, Anthony Anjorin, Thorsten BergerChalmers 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 JongelingMalardalen University, Antonio CicchettiMälardalen University, Federico CiccozziMalardalen University, Jan CarlsonMalardalen 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
15:55
15m
Demonstration
Using Benji to Systematically Evaluate Model Comparison AlgorithmsDemo
Technical Track
Lorenzo AddaziMälardalen University, Antonio CicchettiMälardalen University

Fri 16 Oct
Times are displayed in time zone: Eastern Time (US & Canada) change

Mon 19 Oct
Times are displayed in time zone: Eastern Time (US & Canada) change

Tue 20 Oct
Times are displayed in time zone: Eastern Time (US & Canada) change

Wed 21 Oct
Times are displayed in time zone: Eastern Time (US & Canada) change

Thu 22 Oct
Times are displayed in time zone: Eastern Time (US & Canada) change

Fri 23 Oct
Times are displayed in time zone: Eastern Time (US & Canada) change

Fri 16 Oct
Times are displayed in time zone: Eastern Time (US & Canada) change

Mon 19 Oct
Times are displayed in time zone: Eastern Time (US & Canada) change

Tue 20 Oct
Times are displayed in time zone: Eastern Time (US & Canada) change