Write a Blog >>
MODELS 2020
Fri 16 - Fri 23 October 2020
Toggle navigation
Attending
Venue: Online
Registration
Sponsorship
Sponsors and Supporters
Sponsorship
Impact of COVID-19
Program
MODELS Program
Your Program
Program Overview
Conference Proceedings
Filter by Day
Fri 16 Oct
Sat 17 Oct
Sun 18 Oct
Mon 19 Oct
Tue 20 Oct
Wed 21 Oct
Thu 22 Oct
Fri 23 Oct
Tracks
MODELS 2020
Technical Track
Industry Days
Artifact Evaluation
Educators Symposium
Tools & Demonstrations
Posters
Workshops
Tutorials
Doctoral Symposium
ACM Student Research Competition
Keynotes
Awards
Panel
MODELS
SAM Conference
Organization
MODELS 2020 Committees
Organizing Committee
Steering Committee
Track Committees
Technical Track
PC - Foundations Track
PC - Practice and Innovation Track
Program Board
Artifact Evaluation
Chairs
Artifact Evaluation Committee
Educators Symposium
Chairs
Program Committee
Tools & Demonstrations
Chairs
Program Committee
Posters
Chairs
Poster Committee
Workshops
Chairs
Program Committee
Tutorials
Chairs
Program Committee
Doctoral Symposium
Chairs
Program Committee
ACM Student Research Competition
Chairs
Program Committee
Contributors
People Index
Search
Series
Series
MODELS 2025
MODELS 2024
MODELS 2023
MODELS 2022
MODELS 2021
MODELS 2020
MODELS 2019
MODELS 2018
MODELS 2017
MODELS 2016
MODELS 2015
MODELS 2014
MODELS 2013
MODELS 2012
MODELS 2011
MODELS 2010
MODELS 2009
MODELS 2008
MODELS 2007
MODELS 2006
MODELS 2005
UML 2004
UML 2003
UML 2002
UML 2001
UML 2000
UML 1999
UML 1998
Sign in
Sign up
MODELS 2020
(
series
) /
Online
/
Room information: Room B
Venue
Online
Room name
Room B
Floor
0
Room number
12
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT-04:00) Eastern Time (US & Canada)
.
Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+12:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
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 + AMMoRe
Workshops
at
Room B
07:00
60m
Keynote
Keynote by Davide Di Ruscio
KEYNOTE
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 + AMMoRe
Workshops
at
Room B
09:00
90m
Other
Models and Evolution
Workshops
Link to publication
11:00 - 12:30
Workshop 6: ME + AMMoRe
Workshops
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: SecureMDE
Workshops
at
Room B
09:00
90m
Other
Security for and by Model-Driven Engineering
Workshops
Link to publication
11:00 - 12:30
Workshop 7: SecureMDE
Workshops
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 data
Tutorials
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 data
Tutorials
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: MoDeVVa
Workshops
at
Room B
09:05
45m
Keynote
Formal Models to Program Autonomous Robots
KEYNOTE
Workshops
Charles Lesire-Cabaniols
ONERA - The French Aerospace Lab
09:50
40m
Other
Model Driven Engineering, Verification and Validation
Workshops
Link to publication
11:00 - 12:30
Workshop 9: MoDeVVa
Workshops
at
Room B
11:00
90m
Other
Model Driven Engineering, Verification and Validation
Workshops
Link to publication
13:30 - 15:00
Tutorial 2: Graph transformation
Tutorials
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 transformation
Tutorials
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
11:00 - 12:15
B1-Systems Engineering I
Technical Track
at
Room B
Chair(s):
Francis Bordeleau
École de Technologie Supérieure (ETS)
11:00
20m
Full-paper
Modeling Mechanical Functional Architectures in SysML
FT
Technical Track
Imke Drave
,
Gregor Hoepfner
,
Thilo Zerwas
,
Joerg Berroth
,
Kathrin Spuetz
,
Christian Guist
,
Jens Kohl
,
Bernhard Rumpe
RWTH Aachen
,
Georg Jacobs
,
Andreas Wortmann
RWTH Aachen University
11:20
20m
Full-paper
A Parametric Model For Creating Customized Fabrication Machines
P&I
Technical Track
Frikk Fossdal
,
Rogardt Heldal
,
Jens Dyvik
,
Adrian Rutle
11:40
20m
Full-paper
Model-driven Digital Twin Construction: Synthesizing the Integration of Cyber-Physical Systems with Their Information Systems
FT
Technical Track
Jörg Christian Kirchhof
,
Judith Michael
RWTH Aachen University
,
Bernhard Rumpe
RWTH Aachen
,
Simon Varga
,
Andreas Wortmann
RWTH Aachen University
12:00
15m
Talk
Towards high-level fuzzy control specifications for building automation systems
J1st
Technical Track
Vasco Amaral
Universidade Nova de Lisboa
,
Juan C. Vida
,
Paulo Carreira
,
Joao Aguiam
,
João Sousa
DOI
13:15 - 14:30
B2-MDE Process Support
Technical 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 projects
FT
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 repair
FT
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 Approach
FT
Technical Track
Wael Kessentini
,
Vahid Alizadeh
DePaul University
14:15
15m
Talk
Ark: a constraint-based method for architectural synthesis of smart systems
J1st
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 Validation
Technical Track
at
Room B
Chair(s):
Marsha Chechik
University of Toronto, Canada
15:00
20m
Full-paper
Semantic Comparisons of Alloy Models
FT
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 Constraints
FT
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 Models
FT
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 USE
Demo
Technical Track
Nisha Desai
,
Martin Gogolla
Thu 22 Oct
Displayed time zone:
Eastern Time (US & Canada)
change
11:00 - 12:15
B4-Language Engineering and Modularity
Technical 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 Reuse
FT
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 UML
FT
Technical Track
Gilles Vanwormhoudt
,
Matthieu Allon
,
Olivier Caron
,
Bernard Carré
11:40
15m
Talk
On the benefits of file-level modularity for EMF models
J1st
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 DSLs
Demo
Technical Track
Elina Kalnina
15:00 - 16:15
B5-Models and Data
Technical 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 Approach
FT
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 Services
Demo
Technical Track
Susanne Braun
,
Marcus Trapp
,
Claudia Nass
,
Matthias Gerbershagen
,
Stefan Schweitzer
,
Rodrigo Falcão
,
Matthias Naab
,
Markus Schweitzer
,
Torsten Kreutzer
,
Nikolaus Wire
15:35
15m
Demonstration
Towards User-Centred tooling for Modelling of Big Data Applications
Demo
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 Polystores
Demo
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
11:00 - 12:15
B6-Verification, Testing and Execution
Technical Track
at
Room B
Chair(s):
Daniel Strüber
Radboud University Nijmegen
11:00
15m
Short-paper
SceML - A Graphical Modeling Framework for Scenario-based Testing of Autonomous Vehicles
NIV
Technical Track
Barbara Schütt
,
Thilo Braun
,
Eric Sax
11:15
15m
Talk
Specification and Automated Verification of Atomic Concurrent Real-Time Transactions
J1st
Technical Track
Simin Cai
,
Barbara Gallina
Mälardalen University
,
Dag Nyström
,
Cristina Seceleanu
Mälardalen University
11:30
15m
Talk
An improved approach on the model checking for an agent-based simulation system
J1st
Technical Track
Yinling Liu
,
tao wang
,
Haiqing Zhang
,
Vincent Cheutet
DOI
11:45
15m
Demonstration
Enhancing Development and Consistency of UML Models and Model Executions with USE Studio
Demo
Technical Track
Marcel Schäfer
,
Martin Gogolla
13:15 - 14:30
B7-Run-time and Architecture
Technical 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 AsyncAPI
P&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 History
FT
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 monitoring
J1st
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 Models
Demo
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 Evaluation
Technical Track
at
Room B
Chair(s):
Mahdi Manesh
Porsche Digital GmbH
15:00
20m
Full-paper
Variability Representations in Class Models: An Empirical Assessment
FT
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 Line
P&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 Review
J1st
Technical Track
Stefan Götz
,
Matthias Tichy
Ulm University, Germany
,
Raffaela Groner
15:55
15m
Demonstration
Using Benji to Systematically Evaluate Model Comparison Algorithms
Demo
Technical Track
Lorenzo Addazi
Mälardalen University
,
Antonio Cicchetti
Mälardalen University
Fri 16 Oct
Displayed time zone:
Eastern Time (US & Canada)
change
Room
7:00
30
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Room B
Workshops
Workshop 6: ME + AMMoRe
Workshops
Workshop 6: ME + AMMoRe
Workshops
Workshop 6: ME + AMMoRe
Tutorials
Tutorial 6: SysML
Tutorials
Tutorial 6: SysML
Mon 19 Oct
Displayed time zone:
Eastern Time (US & Canada)
change
Room
7:00
30
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Room B
Workshops
Workshops
Workshop 7: SecureMDE
Workshops
Workshop 7: SecureMDE
Tutorials
Tutorial 7: Big data
Tutorials
Tutorial 7: Big data
Tue 20 Oct
Displayed time zone:
Eastern Time (US & Canada)
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Room B
Workshops
Workshop 9: MoDeVVa
Workshops
Workshop 9: MoDeVVa
Tutorials
Tutorial 2: Graph transformation
Tutorials
Tutorial 2: Graph transformation
Wed 21 Oct
Displayed time zone:
Eastern Time (US & Canada)
change
Room
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Room B
Technical Track
B1-Systems Engineering I
Technical Track
B2-MDE Process Support
Technical Track
B3-Model Analysis and Validation
Thu 22 Oct
Displayed time zone:
Eastern Time (US & Canada)
change
Room
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Room B
Technical Track
B4-Language Engineering and Modularity
Technical Track
B5-Models and Data
Fri 23 Oct
Displayed time zone:
Eastern Time (US & Canada)
change
Room
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Room B
Technical Track
B6-Verification, Testing and Execution
Technical Track
B7-Run-time and Architecture
Technical Track
B8-Variability and Evaluation
Fri 16 Oct
Displayed time zone:
Eastern Time (US & Canada)
change
Room
7:00
15
30
45
8:00
15
30
45
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
Room B
MODELS Workshops
KEYNOTE
Keynote by Davide Di Ruscio
07:00 - 08:00
MODELS Workshops
Models and Evolution
08:00 - 08:30
MODELS Workshops
Models and Evolution
09:00 - 10:30
MODELS Workshops
Analytics and Mining of Model Repositories
11:00 - 12:30
MODELS Tutorials
Introduction to the OMG Systems Modeling Language (SysML) Version 2
13:30 - 15:00
MODELS Tutorials
Introduction to the OMG Systems Modeling Language (SysML) Version 2
15:30 - 17:00
Mon 19 Oct
Displayed time zone:
Eastern Time (US & Canada)
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
Room B
MODELS Workshops
Security for and by Model-Driven Engineering
09:00 - 10:30
MODELS Workshops
Security for and by Model-Driven Engineering
11:00 - 12:30
MODELS Tutorials
Big Data Polystore Management with TYPHON
13:30 - 15:00
MODELS Tutorials
Big Data Polystore Management with TYPHON
15:30 - 17:00
Tue 20 Oct
Displayed time zone:
Eastern Time (US & Canada)
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
Room B
MODELS Workshops
KEYNOTE
Formal Models to Program Autonomous Robots
09:05 - 09:50
MODELS Workshops
Model Driven Engineering, Verification and Validation
09:50 - 10:30
MODELS Workshops
Model Driven Engineering, Verification and Validation
11:00 - 12:30
MODELS Tutorials
Graph Transformation for Software Engineers
13:30 - 15:00
MODELS Tutorials
Graph Transformation for Software Engineers
15:30 - 17:00
Wed 21 Oct
Displayed time zone:
Eastern Time (US & Canada)
change
Room
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
Room B
MODELS Technical Track
FT
Modeling Mechanical Functional Architectures in SysML
11:00 - 11:20
MODELS Technical Track
P&I
A Parametric Model For Creating Customized Fabrication Machines
11:20 - 11:40
MODELS Technical Track
FT
Model-driven Digital Twin Construction: Synthesizing the Integration of ...
11:40 - 12:00
MODELS Technical Track
J1st
Towards high-level fuzzy control specifications for building automation ...
12:00 - 12:15
MODELS Technical Track
FT
To build, or not to build: ModelFlow, a build solution for MDE projects
13:15 - 13:35
MODELS Technical Track
FT
An extensible framework for customizable model repair
13:35 - 13:55
MODELS Technical Track
FT
Interactive Metamodel/Model Co-Evolution: A Clustering-based Multi-Obje ...
13:55 - 14:15
MODELS Technical Track
J1st
Ark: a constraint-based method for architectural synthesis of smart systems
14:15 - 14:30
MODELS Technical Track
FT
Semantic Comparisons of Alloy Models
15:00 - 15:20
MODELS Technical Track
FT
Automated Generation of Consistent Models with Structural and Attribute ...
15:20 - 15:40
MODELS Technical Track
FT
mel - Model Extractor Language for Extracting Facts from Models
15:40 - 16:00
MODELS Technical Track
Demo
Strengthening Validation of Model Behavior through Filmstrip Templates ...
16:00 - 16:15
Thu 22 Oct
Displayed time zone:
Eastern Time (US & Canada)
change
Room
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
Room B
MODELS Technical Track
FT
A Compositional Framework for Systematic Modeling Language Reuse
11:00 - 11:20
MODELS Technical Track
FT
Template Based Model Engineering in UML
11:20 - 11:40
MODELS Technical Track
J1st
On the benefits of file-level modularity for EMF models
11:40 - 11:55
MODELS Technical Track
Demo
Concrete Syntax-Based Find for Graphical DSLs
11:55 - 12:10
MODELS Technical Track
FT
Detecting Quality Problems in Research Data: A Model-Driven Approach
15:00 - 15:20
MODELS Technical Track
Demo
Insights Collaboration Space – A Team Collaboration App for the Design ...
15:20 - 15:35
MODELS Technical Track
Demo
Towards User-Centred tooling for Modelling of Big Data Applications
15:35 - 15:50
MODELS Technical Track
Demo
TyphonML: a Modeling Environment to Develop Hybrid Polystores
15:50 - 16:05
Fri 23 Oct
Displayed time zone:
Eastern Time (US & Canada)
change
Room
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
Room B
MODELS Technical Track
NIV
SceML - A Graphical Modeling Framework for Scenario-based Testing of Au ...
11:00 - 11:15
MODELS Technical Track
J1st
Specification and Automated Verification of Atomic Concurrent Real-Time ...
11:15 - 11:30
MODELS Technical Track
J1st
An improved approach on the model checking for an agent-based simulatio ...
11:30 - 11:45
MODELS Technical Track
Demo
Enhancing Development and Consistency of UML Models and Model Execution ...
11:45 - 12:00
MODELS Technical Track
P&I
A model-based approach for developing event-driven architectures with A ...
13:15 - 13:35
MODELS Technical Track
FT
A Scalable Querying Scheme for Memory-efficient Runtime Models with History
13:35 - 13:55
MODELS Technical Track
J1st
A model-based architecture for interactive run-time monitoring
13:55 - 14:10
MODELS Technical Track
Demo
MReplayer: A Trace Replayer of Distributed UML-RT Models
14:10 - 14:25
MODELS Technical Track
FT
Variability Representations in Class Models: An Empirical Assessment
15:00 - 15:20
MODELS Technical Track
P&I
Co-evolution of Simulink Models in a Model-Based Product Line
15:20 - 15:40
MODELS Technical Track
J1st
Claimed Advantages and Disadvantages of (dedicated) Model Transformatio ...
15:40 - 15:55
MODELS Technical Track
Demo
Using Benji to Systematically Evaluate Model Comparison Algorithms
15:55 - 16:10
x
Wed 18 Dec 18:08