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 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 A
Venue
Online
Room name
Room A
Floor
0
Room number
11
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 5: MDEIntelligence
Workshops
at
Room A
07:00
90m
Other
Artificial Intelligence and Model-driven Engineering
Workshops
Link to publication
09:00 - 10:30
Workshop 5: MDEIntelligence
Workshops
at
Room A
09:00
90m
Keynote
Keynote by Alexander Egyed
KEYNOTE
Workshops
Alexander Egyed
Johannes Kepler University Linz
13:30 - 15:00
Tutorial 1: MPS
Tutorials
at
Room A
13:30
90m
Tutorial
Domain-Specific Languages with JetBrains MPS
Tutorials
Mikhail Barash
University of Bergen, Norway
15:30 - 17:00
Tutorial 1: MPS
Tutorials
at
Room A
15:30
90m
Tutorial
Domain-Specific Languages with JetBrains MPS
Tutorials
Mikhail Barash
University of Bergen, Norway
Mon 19 Oct
Displayed time zone:
Eastern Time (US & Canada)
change
07:00 - 08:30
Workshop 8: LowCode
Workshops
at
Room A
07:00
50m
Keynote
Keynote by Johan den Haan
KEYNOTE
Workshops
07:50
40m
Other
Model-driven engineering and low-code platforms
Workshops
Link to publication
09:00 - 10:30
Workshop 8: LowCode
Workshops
at
Room A
09:00
50m
Other
Model-driven engineering and low-code platforms
Workshops
Link to publication
09:50
40m
Other
Testing of low-code applications
Workshops
Link to publication
11:00 - 12:30
Workshop 8: LowCode
Workshops
at
Room A
11:00
90m
Other
Model management in low-code platforms
Workshops
Link to publication
13:30 - 15:00
Workshop 8: LowCode
Workshops
at
Room A
13:30
40m
Other
DevOps and low-code development
Workshops
Link to publication
14:10
50m
Other
Recommender systems and machine learning
Workshops
Link to publication
15:30 - 17:00
Workshop 8: LowCode
Workshops
at
Room A
15:30
90m
Live Q&A
Discussion and closing
Workshops
Link to publication
Tue 20 Oct
Displayed time zone:
Eastern Time (US & Canada)
change
07:00 - 08:30
Tutorial 4: Polyglot
Tutorials
at
Room A
07:00
90m
Tutorial
Model-based Handling of Polyglot Database Applications
Tutorials
Noa Roy-Hubara
Ben-Gurion University of the Negev
,
Arnon Sturm
Ben-Gurion University of the Negev
09:00 - 10:30
Workshop 3: Uncertainty
Workshops
at
Room A
09:00
60m
Keynote
Uncertainty in Software Systems: The Inconvenient Truth
KEYNOTE
Workshops
Tao Yue
Simula Research Laboratory
10:00
30m
Other
Uncertainty @ MODELS 2020
Workshops
Link to publication
11:00 - 12:30
Workshop 3: Uncertainty
Workshops
at
Room A
11:00
90m
Other
Uncertainty @ MODELS 2020
Workshops
Link to publication
13:30 - 15:00
Tutorial 3: Umple
Tutorials
at
Room A
13:30
90m
Tutorial
Advanced Model-Oriented Programming Using Umple
Tutorials
Timothy Lethbridge
University of Ottawa
15:30 - 17:00
Tutorial 3: Umple
Tutorials
at
Room A
15:30
90m
Tutorial
Advanced Model-Oriented Programming Using Umple
Tutorials
Timothy Lethbridge
University of Ottawa
17:00 - 18:00
Satellite Event Reception
MODELS
at
Room A
17:00
60m
Social Event
Virtual Satellite Events Reception
MODELS
Wed 21 Oct
Displayed time zone:
Eastern Time (US & Canada)
change
08:30 - 09:00
Welcome to MODELS 2020
MODELS
at
Room A
08:30
30m
Day opening
Welcome to MODELS 2020
MODELS
G:
Eugene Syriani
Université de Montréal
,
G:
Houari Sahraoui
Université de Montréal
,
P:
Juan de Lara
Universidad Autónoma de Madrid
,
P:
Silvia Abrahão
Universitat Politècnica de València
09:00 - 10:30
Keynote by Yoshua Benjio
Keynotes
at
Room A
Chair(s):
Houari Sahraoui
Université de Montréal
09:00
90m
Keynote
Priors for deep learning of semantic representations
KEYNOTE
Keynotes
Yoshua Bengio
Université de Montréal
11:00 - 12:15
A1-Model Transformation
Technical Track
at
Room A
Chair(s):
Vadim Zaytsev
University of Twente, The Netherlands
11:00
20m
Full-paper
Certifying Rule-Based Model Transformation Engines for Proof Preservation
FT
Technical Track
Zheng Cheng
,
Massimo Tisi
,
Joachim Hotonnier
11:20
20m
Full-paper
An Exploratory Study on Performance Engineering in Model Transformations
FT
Technical Track
Raffaela Groner
,
Luis Beaucamp
,
Matthias Tichy
,
Steffen Becker
University of Stuttgart
11:40
15m
Talk
Benchmarking bidirectional transformations: theory, implementation, application, and assessment
J1st
Technical Track
Anthony Anjorin
,
Thomas Buchmann
,
Bernhard Westfechtel
University of Bayreuth
,
Zinovy Diskin
,
Hsiang-Shang Ko
,
Romina Eramo
University of L'Aquila
,
Georg Hinkel
,
Leila Samimi-Dehkordi
,
Albert Zündorf
Kassel University
DOI
11:55
15m
Demonstration
A Profiler for the Matching Process of Henshin
Demo
Technical Track
Raffaela Groner
,
Sophie Gylstorff
,
Matthias Tichy
Ulm University, Germany
13:15 - 14:30
A2-Education and Games
Technical Track
at
Room A
Chair(s):
Steffen Zschaler
King's College London
13:15
20m
Full-paper
Is Automated Grading of Models Effective? Assessing Automated Grading of Class Diagrams
P&I
Technical Track
Weiyi Bian
,
Omar Alam
Trent University
,
Jörg Kienzle
McGill University, Canada
13:35
15m
Short-paper
A Model-driven Alternative to Programming in Blocks using Rule-based Transformations
NIV
Technical Track
Huseyin Ergin
Ball State University
,
Wenjun Shi
East China Normal University, China
,
Herart Dominggus Nurue
,
Jeff Gray
University of Alabama
Media Attached
13:50
15m
Demonstration
Papyrus for gamers, let's play modeling
Demo
Technical Track
Antonio Bucchiarone
Fondazione Bruno Kessler, Trento, Italy
,
Maxime Savary-Leblanc
,
Xavier Le Pallec
,
Jean-Michel Bruel
Université de Toulouse, France
,
Antonio Cicchetti
Mälardalen University
,
Jordi Cabot
ICREA - UOC
,
Sebastian Gerard
CEA Saclay - NanoInnov
,
Hamna Aslam
,
Annapaola Marconi
Fondazione Bruno Kessler, Trento, Italy
,
Mirko Perillo
14:05
15m
Demonstration
Automated Video Game World Map Synthesis by Model-Based Techniques
Demo
Technical Track
Boqi Chen
,
Dylan Havelock
,
Connor Plante
,
Michael Sukkarieh
,
Oszkár Semeráth
Budapest University of Technology and Economics
,
Daniel Varro
McGill University / Budapest University of Technology and Economics
15:00 - 16:15
A3-Systems Engineering II
Technical Track
at
Room A
Chair(s):
Nelly Bencomo
Aston University
15:00
20m
Full-paper
AC-ROS: Assurance Case Driven Adaptation for the Robot Operating System
FT
Technical Track
Betty H.C. Cheng
Michigan State University
,
Robert Clark
,
Jonathon Fleck
,
Michael Langford
Michigan State University
,
Philip McKinley
15:20
20m
Full-paper
Supporting Robotic Software Migration Using Static Analysis and Model-Driven Engineering
P&I
Technical Track
Sophie Wood
,
Nicholas Matragkas
University of York
,
Dimitris Kolovos
University of York
,
Richard Paige
McMaster University
,
Simos Gerasimou
University of York, UK
Link to publication
Pre-print
15:40
20m
Full-paper
Model-Based Automatic Fleet Deployment of Edge Computing Applications
P&I
Technical Track
Hui Song
SINTEF Digital
,
Rustem Dautov
,
Nicolas Ferry
,
Arnor Solberg
Tellu IoT ordinary PC member PI papers
,
Franck Fleurey
16:00
15m
Demonstration
CyprIoT Project - An Open Source Toolset to Model and Generate a Network of Things
Demo
Technical Track
Imad Berrouyne
Thu 22 Oct
Displayed time zone:
Eastern Time (US & Canada)
change
09:00 - 10:00
Keynote by Betty Cheng
Keynotes
at
Room A
Chair(s):
Eugene Syriani
Université de Montréal
09:00
60m
Keynote
Model-Driven Engineering for Data-Centric Autonomous Systems
KEYNOTE
Keynotes
Betty H.C. Cheng
Michigan State University
10:00 - 10:30
Awards
Awards
at
Room A
10:00
30m
Awards
Awards ceremony
Awards
11:00 - 12:15
A4-Requirements
Technical Track
at
Room A
Chair(s):
Lola Burgueño
Open University of Catalonia & CEA LIST
11:00
20m
Full-paper
Leveraging Natural-language Requirements for Deriving Better Acceptance Criteria from Models
P&I
Technical Track
Alvaro Veizaga
,
Mauricio Alferez
,
Damiano Torre
University of Luxembourg
,
Mehrdad Sabetzadeh
University of Ottawa
,
Lionel Briand
SnT Centre/University of Luxembourg
11:20
20m
Full-paper
From Text to Visual BPMN Process Models: Design and Evaluation
P&I
Technical Track
Ana Ivanchikj
Software Institute, Faculty of Informatics, USI Lugano
,
souhaila serbout
Software Institute @ USI
,
Cesare Pautasso
Software Institute, Faculty of Informatics, USI Lugano
Link to publication
DOI
Pre-print
Media Attached
11:40
20m
Full-paper
"Union is Power": Analyzing Families of Goal Models using Union Models
FT
Technical Track
Sanaa Alwidian
University of Montreal
,
Daniel Amyot
University of Ottawa
12:00
15m
Talk
Using empirical studies to mitigate symbol overload in iStar extensions
J1st
Technical Track
Enyo Gonçalves
,
Camilo Almendra
Universidade Federal do Ceará
,
Miguel Goulao
NOVA-LINCS, FCT/UNL
,
João Araújo
,
Jaelson Castro
DOI
13:15 - 14:30
Panel
Panel
at
Room A
Chair(s):
Zhenjiang Hu
Peking University, China
13:15
75m
Live Q&A
Panel: Modeling in the era of data
Panel
Perdita Stevens
University of Edinburgh
,
Manuel Wimmer
Johannes Kepler University Linz
,
Tao Yue
Simula Research Laboratory
,
Marco Brambilla
Politecnico di Milano
,
Jeff Gray
University of Alabama
15:00 - 16:15
A5-Behavioural Modeling
Technical Track
at
Room A
Chair(s):
Massimo Tisi
15:00
20m
Full-paper
Synthesis of State Machine Models
FT
Technical Track
Nafiseh Kahani
,
Mojtaba Bagherzadeh
,
James R. Cordy
Pre-print
15:20
20m
Full-paper
Efficient Reordering and Replay of Execution Traces of Distributed Reactive Systems in the Context of Model-driven Development
FT
Technical Track
Majid Babaei
Queen's University
,
Mojtaba Bagherzadeh
,
Juergen Dingel
Queen's University, Kingston, Ontario
Pre-print
15:40
15m
Short-paper
Designing, Animating, and Verifying Partial UML Models
NIV
Technical Track
Frédéric Jouault
ERIS Team, ESEO , France
,
Valentin Besnard
,
Théo Le Calvar
University of Angers
,
Ciprian Teodorov
ENSTA Bretagne
,
Matthias Brun
,
Jérôme Delatour
Link to publication
DOI
Authorizer link
Media Attached
15:55
15m
Talk
Mixed-semantics composition of statecharts for the component-based design of reactive systems
J1st
Technical Track
Bence Graics
Budapest University of Technology and Economics
,
Vince Molnár
Budapest University of Technology and Economics
,
András Vörös
Budapest University of Technology and Economics
,
Istvan Majzik
Budapest University of Technology and Economics
,
Daniel Varro
McGill University / Budapest University of Technology and Economics
Link to publication
DOI
Fri 23 Oct
Displayed time zone:
Eastern Time (US & Canada)
change
09:00 - 10:00
Keynote by Krzysztof Czarnecki
Keynotes
at
Room A
Chair(s):
Roberto Lopez
ETS Montreal, University of Quebec
Presented by SPLC
09:00
60m
Keynote
Models in AI-enabled systems: the case of automated driving
KEYNOTE
Keynotes
Krzysztof Czarnecki
University of Waterloo, Canada
Link to publication
10:00 - 10:30
MODELS 2021 announcement
MODELS
at
Room A
10:00
30m
Talk
MODELS 2021 announcement
MODELS
11:00 - 12:15
Most Influential Papers
Awards
at
Room A
Chair(s):
Silvia Abrahão
Universitat Politècnica de València
,
Jeff Gray
University of Alabama
,
Bernhard Rumpe
RWTH Aachen
11:00
25m
Research paper
Incremental Evaluation of Model Queries over EMF Models
MODELS MIP
Awards
Gábor Bergmann
Budapest University of Technology and Economics / MTA-BME Lendület Research Group on Cyber-Physical Systems, Hungary
,
Ákos Horváth
,
István Ráth
IncQuery Labs
,
Daniel Varro
McGill University / Budapest University of Technology and Economics
DOI
11:25
25m
Research paper
A model-driven traceability framework for software product lines
SOSYM MIP
Awards
Nicolas Anquetil
University of Lille, Lille, France
,
Uirá Kulesza
Federal University of Rio Grande do Norte
,
Ralf Mitschke
Technical University of Darmstadt
,
Ana Moreira
NOVA University of Lisbon and NOVA LINCS
,
Jean-Claude Royer
IMT Atlantique, Nantes, France
,
Andreas Rummler
,
André Sousa
FCT / Universidade Nova de Lisboa
DOI
11:50
25m
Research paper
Modeling presentation layers of web applications for testing
SOSYM MIP
Awards
Jeff Offutt
George Mason University
,
Ye Wu
ESI
DOI
13:15 - 14:30
A6-Modeling Environments and Model Search
Technical Track
at
Room A
Chair(s):
Antonio Cicchetti
Mälardalen University
13:15
20m
Full-paper
Efficient Generation of Graphical Model Views via Lazy Model-to-Text Transformation
FT
Technical Track
Dimitris Kolovos
University of York
,
Alfonso de la Vega
University of York
,
Justin Cooper
Authorizer link
Pre-print
13:35
20m
Full-paper
MAR: A structure-based search engine for models
FT
Technical Track
José Antonio Hernández López
,
Jesús Sánchez Cuadrado
Link to publication
DOI
Authorizer link
Pre-print
13:55
15m
Demonstration
ModelMine: A Tool to Facilitate Mining Models from Open Source Repositories
Demo
Technical Track
Sayed Mohsin Reza
PhD Student
,
Omar Badreddin
University of Texas
,
Khandoker Rahad
14:10
15m
Demonstration
Gentleman a light-weight web-based projectional editor generator
Demo
Technical Track
Louis-Edouard Lafontant
,
Eugene Syriani
Université de Montréal
Link to publication
DOI
Authorizer link
15:00 - 16:15
A7-Safety, Security and Testing
Technical Track
at
Room A
Chair(s):
Joanne M. Atlee
University of Waterloo
15:00
20m
Full-paper
Automating the Early Detection of Security Design Flaws
FT
Technical Track
Katja Tuma
Chalmers | University of Gothenburg
,
Laurens Sion
imec-DistriNet, KU Leuven
,
Riccardo Scandariato
,
Koen Yskout
imec - DistriNet, KU Leuven
Pre-print
15:20
20m
Full-paper
Scenario-based Specification of Security Protocols and Transformation to Security Model Checkers
FT
Technical Track
Thorsten Koch
,
Stefan Dziwok
,
Jörg Holtmann
,
Eric Bodden
15:40
20m
Full-paper
Automating Test Schedule Generation with Domain-Specific Languages: A Configurable, Model-Driven Approach
P&I
Technical Track
Anthony Anjorin
,
Nils Weidmann
,
Robin Oppermann
,
Lars Fritsche
,
Andy Schürr
TU Darmstadt
16:00
10m
Demonstration
MMINT-A 2.0: Tool Support for Lifecycle of Model-Driven Safety Artifacts
Demo
Technical Track
Alessio Di Sandro
,
Gehan Selim
,
Sahar Kokaly
General Motors
,
Torin Viger
,
Rick Salay
University of Toronto
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 A
Workshops
Workshop 5: MDEIntelligence
Workshops
Workshop 5: MDEIntelligence
Workshops
Tutorials
Tutorial 1: MPS
Tutorials
Tutorial 1: MPS
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 A
Workshops
Workshop 8: LowCode
Workshops
Workshop 8: LowCode
Workshops
Workshop 8: LowCode
Workshops
Workshop 8: LowCode
Workshops
Workshop 8: LowCode
Tue 20 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
17:00
30
Room A
Tutorials
Tutorial 4: Polyglot
Workshops
Workshop 3: Uncertainty
Workshops
Workshop 3: Uncertainty
Tutorials
Tutorial 3: Umple
Tutorials
Tutorial 3: Umple
MODELS
Satellite Event Reception
Wed 21 Oct
Displayed time zone:
Eastern Time (US & Canada)
change
Room
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 A
MODELS
Welcome to MODELS 2020
Keynotes
Keynote by Yoshua Benjio
Technical Track
A1-Model Transformation
Technical Track
A2-Education and Games
Technical Track
A3-Systems Engineering II
Thu 22 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 A
Keynotes
Keynote by Betty Cheng
Awards
Awards
Technical Track
A4-Requirements
Panel
Panel
Technical Track
A5-Behavioural Modeling
Fri 23 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 A
Keynotes
Keynote by Krzysztof Czarnecki
MODELS
MODELS 2021 announcement
Awards
Most Influential Papers
Technical Track
A6-Modeling Environments and Model Search
Technical Track
A7-Safety, Security and Testing
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 A
MODELS Workshops
Artificial Intelligence and Model-driven Engineering
07:00 - 08:30
MODELS Workshops
KEYNOTE
Keynote by Alexander Egyed
09:00 - 10:30
MODELS Tutorials
Domain-Specific Languages with JetBrains MPS
13:30 - 15:00
MODELS Tutorials
Domain-Specific Languages with JetBrains MPS
15:30 - 17:00
Mon 19 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 A
MODELS Workshops
KEYNOTE
Keynote by Johan den Haan
07:00 - 07:50
MODELS Workshops
Model-driven engineering and low-code platforms
07:50 - 08:30
MODELS Workshops
Model-driven engineering and low-code platforms
09:00 - 09:50
MODELS Workshops
Testing of low-code applications
09:50 - 10:30
MODELS Workshops
Model management in low-code platforms
11:00 - 12:30
MODELS Workshops
DevOps and low-code development
13:30 - 14:10
MODELS Workshops
Recommender systems and machine learning
14:10 - 15:00
MODELS Workshops
Discussion and closing
15:30 - 17:00
Tue 20 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
17:00
15
30
45
Room A
MODELS Tutorials
Model-based Handling of Polyglot Database Applications
07:00 - 08:30
MODELS Workshops
KEYNOTE
Uncertainty in Software Systems: The Inconvenient Truth
09:00 - 10:00
MODELS Workshops
Uncertainty @ MODELS 2020
10:00 - 10:30
MODELS Workshops
Uncertainty @ MODELS 2020
11:00 - 12:30
MODELS Tutorials
Advanced Model-Oriented Programming Using Umple
13:30 - 15:00
MODELS Tutorials
Advanced Model-Oriented Programming Using Umple
15:30 - 17:00
MODELS
Virtual Satellite Events Reception
17:00 - 18:00
Wed 21 Oct
Displayed time zone:
Eastern Time (US & Canada)
change
Room
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 A
MODELS
Welcome to MODELS 2020
08:30 - 09:00
MODELS Keynotes
KEYNOTE
Priors for deep learning of semantic representations
09:00 - 10:30
MODELS Technical Track
FT
Certifying Rule-Based Model Transformation Engines for Proof Preservation
11:00 - 11:20
MODELS Technical Track
FT
An Exploratory Study on Performance Engineering in Model Transformations
11:20 - 11:40
MODELS Technical Track
J1st
Benchmarking bidirectional transformations: theory, implementation, app ...
11:40 - 11:55
MODELS Technical Track
Demo
A Profiler for the Matching Process of Henshin
11:55 - 12:10
MODELS Technical Track
P&I
Is Automated Grading of Models Effective? Assessing Automated Grading o ...
13:15 - 13:35
MODELS Technical Track
NIV
A Model-driven Alternative to Programming in Blocks using Rule-based Tr ...
13:35 - 13:50
MODELS Technical Track
Demo
Papyrus for gamers, let's play modeling
13:50 - 14:05
MODELS Technical Track
Demo
Automated Video Game World Map Synthesis by Model-Based Techniques
14:05 - 14:20
MODELS Technical Track
FT
AC-ROS: Assurance Case Driven Adaptation for the Robot Operating System
15:00 - 15:20
MODELS Technical Track
P&I
Supporting Robotic Software Migration Using Static Analysis and Model-D ...
15:20 - 15:40
MODELS Technical Track
P&I
Model-Based Automatic Fleet Deployment of Edge Computing Applications
15:40 - 16:00
MODELS Technical Track
Demo
CyprIoT Project - An Open Source Toolset to Model and Generate a Networ ...
16:00 - 16:15
Thu 22 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 A
MODELS Keynotes
KEYNOTE
Model-Driven Engineering for Data-Centric Autonomous Systems
09:00 - 10:00
MODELS Awards
Awards ceremony
10:00 - 10:30
MODELS Technical Track
P&I
Leveraging Natural-language Requirements for Deriving Better Acceptance ...
11:00 - 11:20
MODELS Technical Track
P&I
From Text to Visual BPMN Process Models: Design and Evaluation
11:20 - 11:40
MODELS Technical Track
FT
"Union is Power": Analyzing Families of Goal Models using Union Models
11:40 - 12:00
MODELS Technical Track
J1st
Using empirical studies to mitigate symbol overload in iStar extensions
12:00 - 12:15
MODELS Panel
Panel: Modeling in the era of data
13:15 - 14:30
MODELS Technical Track
FT
Synthesis of State Machine Models
15:00 - 15:20
MODELS Technical Track
FT
Efficient Reordering and Replay of Execution Traces of Distributed Reac ...
15:20 - 15:40
MODELS Technical Track
NIV
Designing, Animating, and Verifying Partial UML Models
15:40 - 15:55
MODELS Technical Track
J1st
Mixed-semantics composition of statecharts for the component-based desi ...
15:55 - 16:10
Fri 23 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 A
MODELS Keynotes
KEYNOTE
Models in AI-enabled systems: the case of automated driving
09:00 - 10:00
MODELS
MODELS 2021 announcement
10:00 - 10:30
MODELS Awards
MODELS MIP
Incremental Evaluation of Model Queries over EMF Models
11:00 - 11:25
MODELS Awards
SOSYM MIP
A model-driven traceability framework for software product lines
11:25 - 11:50
MODELS Awards
SOSYM MIP
Modeling presentation layers of web applications for testing
11:50 - 12:15
MODELS Technical Track
FT
Efficient Generation of Graphical Model Views via Lazy Model-to-Text Tr ...
13:15 - 13:35
MODELS Technical Track
FT
MAR: A structure-based search engine for models
13:35 - 13:55
MODELS Technical Track
Demo
ModelMine: A Tool to Facilitate Mining Models from Open Source Repositories
13:55 - 14:10
MODELS Technical Track
Demo
Gentleman a light-weight web-based projectional editor generator
14:10 - 14:25
MODELS Technical Track
FT
Automating the Early Detection of Security Design Flaws
15:00 - 15:20
MODELS Technical Track
FT
Scenario-based Specification of Security Protocols and Transformation t ...
15:20 - 15:40
MODELS Technical Track
P&I
Automating Test Schedule Generation with Domain-Specific Languages: A C ...
15:40 - 16:00
MODELS Technical Track
Demo
MMINT-A 2.0: Tool Support for Lifecycle of Model-Driven Safety Artifacts
16:00 - 16:10
x
Thu 21 Nov 14:11