Write a Blog >>
MODELS 2020
Fri 16 - Fri 23 October 2020
Filter
Conference Dates
Conference Dates are in time zone (GMT-04:00) Eastern Time (US & Canada), and may differ from the viewed time zone.
Rooms
Tracks
Badges
Your 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: (GMT-04:00) Eastern Time (US & Canada) change

models-2020-workshops
07:00 - 08:30: Workshops - Workshop 11: MPM4CPS at Room C
models-2020-workshops07:00 - 08:00
Keynote
models-2020-workshops08:00 - 08:30
Other
Link to publication
models-2020-workshops
07:00 - 08:30: Workshops - Workshop 1: MASE at Room D
models-2020-workshops07:05 - 07:45
Keynote
Olaf KathAnsys Germany GmbH
models-2020-workshops07:45 - 08:30
Other
Link to publication
models-2020-workshops
07:00 - 08:30: Workshops - Workshop 5: MDEIntelligence at Room A
models-2020-workshops07:00 - 08:30
Other
Link to publication
models-2020-workshops
07:00 - 08:30: Workshops - Workshop 6: ME + AMMoRe at Room B
models-2020-workshops07:00 - 08:00
Keynote
Davide Di RuscioUniversity of L'Aquila
models-2020-workshops08:00 - 08:30
Other
Link to publication
models-2020-workshops
09:00 - 10:30: Workshops - Workshop 11: MPM4CPS at Room C
models-2020-workshops09:00 - 10:30
Other
Link to publication
models-2020-workshops
09:00 - 10:30: Workshops - Workshop 13: MULTI at Room E
models-2020-workshops09:00 - 10:30
Other
Link to publication
models-2020-workshops
09:00 - 10:30: Workshops - Workshop 1: MASE at Room D
models-2020-workshops09:00 - 10:30
Other
Link to publication
models-2020-workshops
09:00 - 10:30: Workshops - Workshop 5: MDEIntelligence at Room A
models-2020-workshops09:00 - 10:30
Keynote
Alexander EgyedJohannes Kepler University Linz
models-2020-workshops
09:00 - 10:30: Workshops - Workshop 6: ME + AMMoRe at Room B
models-2020-workshops09:00 - 10:30
Other
Link to publication
models-2020-acm-student-research-competition
11:00 - 12:30: ACM Student Research Competition - Student Research Competition at Room D
models-2020-acm-student-research-competition11:00 - 12:30
Poster
models-2020-workshops
11:00 - 12:30: Workshops - Workshop 13: MULTI at Room E
models-2020-workshops11:00 - 12:30
Other
Link to publication
models-2020-workshops
11:00 - 12:30: Workshops - Workshop 6: ME + AMMoRe at Room B
models-2020-workshops11:00 - 12:30
Other
Link to publication
models-2020-tutorials
13:30 - 15:00: Tutorials - Tutorial 1: MPS at Room A
models-2020-tutorials13:30 - 15:00
Tutorial
Mikhail BarashUniversity of Bergen, Norway
models-2020-tutorials
13:30 - 15:00: Tutorials - Tutorial 6: SysML at Room B
models-2020-tutorials13:30 - 15:00
Tutorial
Ed SeidewitzModel Driven Solutions
models-2020-tutorials
15:30 - 17:00: Tutorials - Tutorial 1: MPS at Room A
models-2020-tutorials15:30 - 17:00
Tutorial
Mikhail BarashUniversity of Bergen, Norway
models-2020-tutorials
15:30 - 17:00: Tutorials - Tutorial 6: SysML at Room B
models-2020-tutorials15:30 - 17:00
Tutorial
Ed SeidewitzModel Driven Solutions

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

models-2020-tutorials
07:00 - 08:30: Tutorials - Tutorial 5: WF+ at Room D
models-2020-tutorials07:00 - 08:30
Tutorial
Nicholas Annable, Mehrnoosh AskarpourMcMaster University, Computing and Software Department, Zinovy DiskinMcMaster University, Alan WassyngMcMaster University, Canada
models-2020-workshops
07:00 - 08:30: Workshops - Workshop 4: MLE at Room C
models-2020-workshops07:00 - 08:30
Other
Link to publication
models-2020-workshops
07:00 - 08:30: Workshops - Workshop 8: LowCode at Room A
models-2020-workshops07:00 - 07:50
Keynote
models-2020-workshops07:50 - 08:30
Other
Link to publication
models-2020-doctoral-symposium
09:00 - 10:30: Doctoral Symposium - Doctoral Symposium at Room D
models-2020-doctoral-symposium09:00 - 09:15
Day opening
models-2020-doctoral-symposium09:15 - 10:30
Doctoral symposium paper
models-2020-sam-conference
09:00 - 10:30: SAM Conference - SAM Conference at Room E
models-2020-sam-conference09:00 - 09:30
Day opening
models-2020-sam-conference09:30 - 10:30
Keynote
Daniel VarroMcGill University / Budapest University of Technology and Economics
models-2020-workshops
09:00 - 10:30: Workshops - Workshop 4: MLE at Room C
models-2020-workshops09:00 - 10:30
Keynote
Robert KarbanJPL / Caltech
models-2020-workshops
09:00 - 10:30: Workshops - Workshop 7: SecureMDE at Room B
models-2020-workshops09:00 - 10:30
Other
Link to publication
models-2020-workshops
09:00 - 10:30: Workshops - Workshop 8: LowCode at Room A
models-2020-workshops09:00 - 09:50
Other
Link to publication
models-2020-workshops09:50 - 10:30
Other
Link to publication
models-2020-doctoral-symposium
11:00 - 12:30: Doctoral Symposium - Doctoral Symposium at Room D
models-2020-doctoral-symposium11:00 - 12:30
Doctoral symposium paper
models-2020-sam-conference
11:00 - 12:30: SAM Conference - SAM Conference at Room E
models-2020-sam-conference11:00 - 12:30
Other
models-2020-workshops
11:00 - 12:30: Workshops - Workshop 2: OpenMBEE at Room C
models-2020-workshops11:10 - 11:40
Keynote
Ed SeidewitzModel Driven Solutions
models-2020-workshops11:40 - 12:30
Other
Link to publication
models-2020-workshops
11:00 - 12:30: Workshops - Workshop 7: SecureMDE at Room B
models-2020-workshops11:00 - 12:30
Other
Link to publication
models-2020-workshops
11:00 - 12:30: Workshops - Workshop 8: LowCode at Room A
models-2020-workshops11:00 - 12:30
Other
Link to publication
models-2020-doctoral-symposium
13:30 - 15:00: Doctoral Symposium - Doctoral Symposium at Room D
models-2020-doctoral-symposium13:30 - 14:20
Doctoral symposium paper
models-2020-doctoral-symposium14:20 - 15:00
Other
models-2020-sam-conference
13:30 - 15:00: SAM Conference - SAM Conference at Room E
models-2020-sam-conference13:30 - 15:00
Other
models-2020-tutorials
13:30 - 15:00: Tutorials - Tutorial 7: Big data at Room B
models-2020-tutorials13:30 - 15:00
Tutorial
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
models-2020-workshops
13:30 - 15:00: Workshops - Workshop 2: OpenMBEE at Room C
models-2020-workshops13:30 - 14:00
Keynote
Markus Völteritemis/independent
models-2020-workshops14:00 - 15:00
Other
Link to publication
models-2020-workshops
13:30 - 15:00: Workshops - Workshop 8: LowCode at Room A
models-2020-workshops13:30 - 14:10
Other
Link to publication
models-2020-workshops14:10 - 15:00
Other
Link to publication
models-2020-sam-conference
15:30 - 17:00: SAM Conference - SAM Conference at Room E
models-2020-sam-conference15:30 - 17:00
Other
models-2020-tutorials
15:30 - 17:00: Tutorials - Tutorial 7: Big data at Room B
models-2020-tutorials15:30 - 17:00
Tutorial
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
models-2020-workshops
15:30 - 17:00: Workshops - Workshop 8: LowCode at Room A
models-2020-workshops15:30 - 17:00
Live Q&A
Link to publication

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

models-2020-tutorials
07:00 - 08:30: Tutorials - Tutorial 4: Polyglot at Room A
models-2020-tutorials07:00 - 08:30
Tutorial
Noa Roy-HubaraBen-Gurion University of the Negev, Arnon SturmBen-Gurion University of the Negev
models-2020-industry-days
09:00 - 10:30: Industry Days - OpenMBEE Day 1 at Room C
models-2020-industry-days09:00 - 09:30
Day opening
Robert KarbanJPL / Caltech, Chris DelpJPL / Caltech
models-2020-industry-days09:30 - 10:30
Keynote
models-2020-sam-conference
09:00 - 10:30: SAM Conference - SAM Conference at Room E
models-2020-sam-conference09:00 - 10:00
Keynote
Sigrid EldhEricsson, Sweden
models-2020-sam-conference10:00 - 10:30
Awards
models-2020-acm-student-research-competition
09:00 - 10:30: ACM Student Research Competition - Student Research Competition at Room D
models-2020-acm-student-research-competition09:00 - 10:30
Paper
models-2020-workshops
09:00 - 10:30: Workshops - Workshop 3: Uncertainty at Room A
models-2020-workshops09:00 - 10:00
Keynote
Tao YueNanjing University of Aeronautics and Astronautics
models-2020-workshops10:00 - 10:30
Other
Link to publication
models-2020-workshops
09:00 - 10:30: Workshops - Workshop 9: MoDeVVa at Room B
models-2020-workshops09:05 - 09:50
Keynote
Charles Lesire-CabaniolsONERA - The French Aerospace Lab
models-2020-workshops09:50 - 10:30
Other
Link to publication
models-2020-educators-symposium
11:00 - 12:30: Educators Symposium - Educators Symposium at Room D
models-2020-educators-symposium11:00 - 11:30
Day opening
Michalis FamelisUniversité de Montréal, Daria BogdanovaKU Leuven
models-2020-educators-symposium11:30 - 12:15
Keynote
Jörg KienzleMcGill University, Canada
models-2020-educators-symposium12:15 - 12:30
Live Q&A
models-2020-industry-days
11:00 - 12:30: Industry Days - OpenMBEE Day 2 at Room C
models-2020-industry-days11:00 - 11:30
Industry talk
Manas BajajIntercax
models-2020-industry-days11:30 - 12:00
Industry talk
István RáthIncQuery Labs
models-2020-industry-days12:00 - 12:30
Industry talk
Ahsan QamarFord Motor Company
models-2020-sam-conference
11:00 - 12:30: SAM Conference - SAM Conference at Room E
models-2020-sam-conference11:00 - 12:30
Other
models-2020-workshops
11:00 - 12:30: Workshops - Workshop 3: Uncertainty at Room A
models-2020-workshops11:00 - 12:30
Other
Link to publication
models-2020-workshops
11:00 - 12:30: Workshops - Workshop 9: MoDeVVa at Room B
models-2020-workshops11:00 - 12:30
Other
Link to publication
models-2020-educators-symposium
13:30 - 15:00: Educators Symposium - Educators Symposium at Room D
models-2020-educators-symposium13:30 - 13:52
Paper
Younes BoubekeurMcGill University, Gunter MussbacherMcGill University, Canada, Shane McIntosh
models-2020-educators-symposium13:52 - 14:15
Paper
Younes BoubekeurMcGill University, Gunter MussbacherMcGill University, Canada
models-2020-educators-symposium14:15 - 14:37
Paper
Holger GieseHasso Plattner Institute, University of Potsdam, Leen Lambers, Christian ZöllnerHasso Plattner Institute, University of Potsdam
models-2020-educators-symposium14:37 - 15:00
Paper
Martin Gogolla, Bran SelicMalina Software Corporation
models-2020-industry-days
13:30 - 15:00: Industry Days - OpenMBEE Day 3 at Room C
models-2020-industry-days13:30 - 14:00
Industry talk
Daniel SieglLieberLieber Software
models-2020-industry-days14:00 - 14:30
Industry talk
Aleksander PrzybyloBoeing Commercial Airplanes
models-2020-industry-days14:30 - 15:00
Industry talk
Mark BlackburnStevens Institute of Technologies and SERC
models-2020-sam-conference
13:30 - 15:00: SAM Conference - SAM Conference at Room E
models-2020-sam-conference13:30 - 15:00
Other
models-2020-tutorials
13:30 - 15:00: Tutorials - Tutorial 2: Graph transformation at Room B
models-2020-tutorials13:30 - 15:00
Tutorial
Reiko HeckelUniversity of Leicester, Gabriele TaentzerUniversität Marburg
File Attached
models-2020-tutorials
13:30 - 15:00: Tutorials - Tutorial 3: Umple at Room A
models-2020-tutorials13:30 - 15:00
Tutorial
Timothy LethbridgeUniversity of Ottawa
models-2020-industry-days
15:30 - 17:00: Industry Days - OpenMBEE Day 4 at Room C
models-2020-industry-days15:30 - 16:00
Industry talk
Charles GaleyLockheed Martin Corporation
models-2020-industry-days16:00 - 16:30
Industry talk
Bharani MohanMapleSoft
models-2020-industry-days16:30 - 17:00
Industry talk
Steven CornfordJPL / Caltech
models-2020-sam-conference
15:30 - 17:00: SAM Conference - SAM Conference at Room E
models-2020-sam-conference15:30 - 17:00
Day closing
models-2020-tutorials
15:30 - 17:00: Tutorials - Tutorial 2: Graph transformation at Room B
models-2020-tutorials15:30 - 17:00
Tutorial
Reiko HeckelUniversity of Leicester, Gabriele TaentzerUniversität Marburg
File Attached
models-2020-tutorials
15:30 - 17:00: Tutorials - Tutorial 3: Umple at Room A
models-2020-tutorials15:30 - 17:00
Tutorial
Timothy LethbridgeUniversity of Ottawa
models-2020-models-information
17:00 - 18:00: MODELS - Satellite Event Reception at Room A
models-2020-models-information17:00 - 18:00
Social Event
Hide past events

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

models-2020-models-information
08:30 - 09:00: MODELS - Welcome to MODELS 2020 at Room A
models-2020-models-information08:30 - 09:00
Day opening
G: Eugene SyrianiUniversité de Montréal, G: Houari SahraouiUniversité de Montréal, P: Juan de LaraUniversidad Autónoma de Madrid, P: Silvia AbrahãoUniversitat Politècnica de València
models-2020-keynotes
09:00 - 10:30: Keynotes - Keynote by Yoshua Benjio at Room A
Chair(s): Houari SahraouiUniversité de Montréal
models-2020-keynotes09:00 - 10:30
Keynote
Yoshua BengioUniversité de Montréal
models-2020-technical-track
11:00 - 12:15: Technical Track - A1-Model Transformation at Room A
Chair(s): Vadim ZaytsevUniversity of Twente, The Netherlands
models-2020-technical-track11:00 - 11:20
Full-paper
models-2020-technical-track11:20 - 11:40
Full-paper
models-2020-technical-track11:40 - 11:55
Talk
DOI
models-2020-technical-track11:55 - 12:10
Demonstration
models-2020-industry-days
11:00 - 12:15: Industry Days - Industry Day at Room D
models-2020-industry-days11:00 - 11:25
Industry talk
Stéphane AlarieHydro-Québec
models-2020-industry-days11:25 - 11:50
Industry talk
models-2020-industry-days11:50 - 12:15
Industry talk
Mathieu NayrollesUbisoft Montreal
models-2020-technical-track
13:15 - 14:30: Technical Track - A2-Education and Games at Room A
Chair(s): Steffen ZschalerKing's College London
models-2020-technical-track13:15 - 13:35
Full-paper
Weiyi Bian, Omar AlamTrent University, Jörg KienzleMcGill University, Canada
models-2020-technical-track13:35 - 13:50
Short-paper
Huseyin ErginBall State University, Wenjun ShiEast China Normal University, China, Herart Dominggus Nurue, Jeff GrayUniversity of Alabama
Media Attached
models-2020-technical-track13:50 - 14:05
Demonstration
Antonio BucchiaroneFondazione Bruno Kessler, Trento, Italy, Maxime Savary-Leblanc, Xavier Le Pallec, Jean-Michel BruelUniversité de Toulouse, France, Antonio CicchettiMälardalen University, Jordi CabotICREA - UOC, Sebastian GerardCEA Saclay - NanoInnov, Hamna Aslam, Annapaola MarconiFondazione Bruno Kessler, Trento, Italy, Mirko Perillo
models-2020-technical-track14:05 - 14:20
Demonstration
Boqi Chen, Dylan Havelock, Connor Plante, Michael Sukkarieh, Oszkár SemeráthBudapest University of Technology and Economics, Daniel VarroMcGill University / Budapest University of Technology and Economics
models-2020-technical-track
13:15 - 14:30: Technical Track - B2-MDE Process Support at Room B
Chair(s): Jesús Sánchez CuadradoUniversidad de Murcia
models-2020-technical-track13:15 - 13:35
Full-paper
Beatriz SanchezUniversity of York, Dimitris KolovosUniversity of York, Richard PaigeMcMaster University
Pre-print Media Attached
models-2020-technical-track13:35 - 13:55
Full-paper
Angela Barriga, Rogardt Heldal, Ludovico IovinoGran Sasso Science Institute, L'Aquila, Italy, Magnus Marthinsen, Adrian Rutle
models-2020-technical-track13:55 - 14:15
Full-paper
models-2020-technical-track14:15 - 14:30
Talk
Milena Guessi, Flavio OquendoIRISA (UMR CNRS) - Univ. Bretagne-Sud (UBS), Elisa Yumi NakagawaUniversity of São Paulo, Brazil
DOI
models-2020-posters
13:15 - 14:30: Posters - Posters at Room C
Chair(s): Ferhat Khendek Concordia University
models-2020-posters13:15 - 13:27
Poster
Link to publication Pre-print
models-2020-posters13:27 - 13:40
Poster
models-2020-posters13:40 - 13:52
Poster
Mikhail BarashUniversity of Bergen, Norway
models-2020-posters13:52 - 14:05
Poster
Kleinner FariasUniversity of Vale do Rio dos Sinos (UNISINOS), Bruno da SilvaCalifornia Polytechnic State University
models-2020-posters14:05 - 14:17
Poster
Ana IvanchikjSoftware Institute, Faculty of Informatics, USI Lugano, souhaila serboutSoftware Institute @ USI, Cesare PautassoSoftware Institute, Faculty of Informatics, USI Lugano
Media Attached File Attached
models-2020-posters14:17 - 14:30
Poster
models-2020-technical-track
15:00 - 16:15: Technical Track - A3-Systems Engineering II at Room A
Chair(s): Nelly BencomoAston University
models-2020-technical-track15:00 - 15:20
Full-paper
Betty H.C. ChengMichigan State University, Robert Clark, Jonathon Fleck, Michael LangfordMichigan State University, Philip McKinley
models-2020-technical-track15:20 - 15:40
Full-paper
Sophie Wood, Nicholas MatragkasUniversity of York, Dimitris KolovosUniversity of York, Richard PaigeMcMaster University, Simos GerasimouUniversity of York, UK
models-2020-technical-track15:40 - 16:00
Full-paper
Hui SongSINTEF Digital, Rustem Dautov, Nicolas Ferry, Arnor SolbergTellu IoT ordinary PC member PI papers, Franck Fleurey
models-2020-technical-track16:00 - 16:15
Demonstration
models-2020-technical-track
15:00 - 16:15: Technical Track - B3-Model Analysis and Validation at Room B
Chair(s): Marsha ChechikUniversity of Toronto
models-2020-technical-track15:00 - 15:20
Full-paper
Jan Oliver RingertUniversity of Leicester, Syed Waqee Wali
DOI Pre-print
models-2020-technical-track15:20 - 15:40
Full-paper
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
models-2020-technical-track15:40 - 16:00
Full-paper
Robert Hackman, Joanne M. AtleeUniversity of Waterloo, Finn HacketComputer Science, University of Waterloo, Michael W. GodfreyUniversity of Waterloo, Canada
models-2020-technical-track16:00 - 16:15
Demonstration

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

models-2020-keynotes
09:00 - 10:00: Keynotes - Keynote by Betty Cheng at Room A
Chair(s): Eugene SyrianiUniversité de Montréal
models-2020-keynotes09:00 - 10:00
Keynote
Betty H.C. ChengMichigan State University
awards
10:00 - 10:30: Awards - Awards at Room A
awards10:00 - 10:30
Awards
models-2020-technical-track
11:00 - 12:15: Technical Track - A4-Requirements at Room A
Chair(s): Loli BurgueñoOpen University of Catalonia & CEA LIST
models-2020-technical-track11:00 - 11:20
Full-paper
Alvaro Veizaga, Mauricio Alferez, Damiano TorreUniversity of Luxembourg, Mehrdad Sabetzadeh, Lionel BriandUniversity of Ottawa, Canada
models-2020-technical-track11:20 - 11:40
Full-paper
Ana IvanchikjSoftware Institute, Faculty of Informatics, USI Lugano, souhaila serboutSoftware Institute @ USI, Cesare PautassoSoftware Institute, Faculty of Informatics, USI Lugano
Link to publication DOI Pre-print Media Attached
models-2020-technical-track11:40 - 12:00
Full-paper
Sanaa AlwidianUniversity of Montreal, Daniel AmyotUniversity of Ottawa
models-2020-technical-track12:00 - 12:15
Talk
Enyo Gonçalves, Camilo AlmendraUniversidade Federal do Ceará, Miguel GoulaoNOVA-LINCS, FCT/UNL, João Araújo, Jaelson Castro
DOI
models-2020-technical-track
11:00 - 12:15: Technical Track - B4-Language Engineering and Modularity at Room B
Chair(s): Benoit CombemaleUniversity of Toulouse and Inria
models-2020-technical-track11:00 - 11:20
Full-paper
Arvid ButtingSoftware Engineering RWTH Aachen University, Jerome Pfeiffer, Bernhard RumpeRWTH Aachen, Andreas WortmannRWTH Aachen University
models-2020-technical-track11:20 - 11:40
Full-paper
models-2020-technical-track11:40 - 11:55
Talk
Mojtaba Bagherzadeh, Karim JahedQueen's University, Juergen DingelQueen's University, Kingston, Ontario
DOI Pre-print
models-2020-technical-track11:55 - 12:10
Demonstration
models-2020-panel
13:15 - 14:30: Panel - Panel at Room A
Chair(s): Zhenjiang HuPeking University, China
models-2020-panel13:15 - 14:30
Live Q&A
Perdita StevensUniversity of Edinburgh, Manuel WimmerJohannes Kepler University Linz, Tao YueNanjing University of Aeronautics and Astronautics, Marco BrambillaPolitecnico di Milano, Jeff GrayUniversity of Alabama
models-2020-technical-track
15:00 - 16:15: Technical Track - A5-Behavioural Modeling at Room A
Chair(s): Massimo Tisi
models-2020-technical-track15:00 - 15:20
Full-paper
Pre-print
models-2020-technical-track15:20 - 15:40
Full-paper
Majid BabaeiQueen's University, Mojtaba Bagherzadeh, Juergen DingelQueen's University, Kingston, Ontario
Pre-print
models-2020-technical-track15:40 - 15:55
Short-paper
Frédéric Jouault ERIS Team, ESEO , France, Valentin Besnard, Théo Le CalvarUniversity of Angers, Ciprian TeodorovENSTA Bretagne, Matthias Brun, Jérôme Delatour
Link to publication DOI
models-2020-technical-track15:55 - 16:10
Talk
Bence GraicsBudapest University of Technology and Economics, Vince MolnárBudapest University of Technology and Economics, András VörösBudapest University of Technology and Economics, Istvan MajzikBudapest University of Technology and Economics, Daniel VarroMcGill University / Budapest University of Technology and Economics
Link to publication DOI
models-2020-technical-track
15:00 - 16:15: Technical Track - B5-Models and Data at Room B
Chair(s): Dimitris KolovosUniversity of York
models-2020-technical-track15:00 - 15:20
Full-paper
Authorizer link File Attached
models-2020-technical-track15:20 - 15:35
Demonstration
models-2020-technical-track15:35 - 15:50
Demonstration
Hourieh KhalajzadehMonash University, Australia, Tarun Verma, Andrew SimmonsDeakin University, John GrundyMonash University, Mohamed AbdelrazekDeakin University, Australia, John HoskingUniversity of Auckland
models-2020-technical-track15:50 - 16:05
Demonstration
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
models-2020-posters
15:00 - 15:55: Posters - Posters at Room C
Chair(s): Djamel Eddine KhelladiCNRS, France
models-2020-posters15:00 - 15:11
Poster
Jan Oliver RingertUniversity of Leicester, Syed Waqee Wali
models-2020-posters15:11 - 15:22
Poster
René SchöneTechnische Universität Dresden, Johannes MeyTechnische Universität Dresden, Sebastian Ebert, Uwe AßmannTU Dresden, Germany
models-2020-posters15:22 - 15:33
Poster
Apurvanand Sahay, Davide Di RuscioUniversity of L'Aquila, Alfonso PierantonioUniversità degli Studi dell'Aquila
models-2020-posters15:33 - 15:44
Poster
Claudio Di SipioUniversity of L'Aquila, Davide Di RuscioUniversity of L'Aquila, Phuong T. NguyenUniversity of L’Aquila
models-2020-posters15:44 - 15:55
Poster
Alessandro ColantoniJohannes Kepler University Linz, Luca BerardinelliJohannes Kepler University Linz, Manuel WimmerJohannes Kepler University Linz

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

models-2020-keynotes
09:00 - 10:00: Keynotes - Keynote by Krzysztof Czarnecki at Room A
Chair(s): Roberto LopezETS Montreal, University of Quebec

Presented by SPLC

models-2020-keynotes09:00 - 10:00
Keynote
Krzysztof CzarneckiUniversity of Waterloo, Canada
models-2020-models-information
10:00 - 10:30: MODELS - MODELS 2021 announcement at Room A
models-2020-models-information10:00 - 10:30
Talk
models-2020-technical-track
11:00 - 12:15: Technical Track - B6-Verification, Testing and Execution at Room B
Chair(s): Daniel StrüberRadboud University Nijmegen
models-2020-technical-track11:00 - 11:15
Short-paper
models-2020-technical-track11:15 - 11:30
Talk
Simin Cai, Barbara GallinaMälardalen University, Dag Nyström, Cristina SeceleanuMälardalen University
models-2020-technical-track11:30 - 11:45
Talk
DOI
models-2020-technical-track11:45 - 12:00
Demonstration
awards
11:00 - 12:15: Awards - Most Influential Papers at Room A
Chair(s): Bernhard RumpeRWTH Aachen, Jeff GrayUniversity of Alabama, Silvia AbrahãoUniversitat Politècnica de València
awards11:00 - 11:25
Research paper
Gábor BergmannBudapest University of Technology and Economics / MTA-BME Lendület Research Group on Cyber-Physical Systems, Hungary, Ákos Horváth, István RáthIncQuery Labs, Daniel VarroMcGill University / Budapest University of Technology and Economics
DOI
awards11:25 - 11:50
Research paper
Nicolas AnquetilINRIA, Uirá KuleszaFederal University of Rio Grande do Norte, Ralf MitschkeTechnical University of Darmstadt, Ana MoreiraNOVA University of Lisbon and NOVA LINCS, Jean-Claude RoyerIMT Atlantique, Nantes, France, Andreas Rummler, André SousaFCT / Universidade Nova de Lisboa
DOI
awards11:50 - 12:15
Research paper
Jeff OffuttGeorge Mason University, Ye WuESI
DOI
models-2020-technical-track
13:15 - 14:30: Technical Track - A6-Modeling Environments and Model Search at Room A
Chair(s): Antonio CicchettiMälardalen University
models-2020-technical-track13:15 - 13:35
Full-paper
Dimitris KolovosUniversity of York, Alfonso de la VegaUniversity of York, Justin Cooper
Pre-print
models-2020-technical-track13:35 - 13:55
Full-paper
models-2020-technical-track13:55 - 14:10
Demonstration
Sayed Mohsin RezaPhD Student, Omar BadreddinUniversity of Texas, Khandoker Rahad
models-2020-technical-track14:10 - 14:25
Demonstration
Louis-Edouard Lafontant, Eugene SyrianiUniversité de Montréal
models-2020-technical-track
13:15 - 14:30: Technical Track - B7-Run-time and Architecture at Room B
Chair(s): Bran SelicMalina Software Corporation
models-2020-technical-track13:15 - 13:35
Full-paper
Abel GómezUniversitat Oberta de Catalunya, Markel Iglesias-Urkia, Aitor Urbieta, Jordi CabotICREA - UOC
models-2020-technical-track13:35 - 13:55
Full-paper
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
DOI Pre-print
models-2020-technical-track13:55 - 14:10
Talk
Nicolas Hili, Mojtaba Bagherzadeh, Karim JahedQueen's University, Juergen DingelQueen's University, Kingston, Ontario
DOI
models-2020-technical-track14:10 - 14:25
Demonstration
Majid BabaeiQueen's University, Mojtaba Bagherzadeh, Juergen DingelQueen's University, Kingston, Ontario
Pre-print
models-2020-technical-track
15:00 - 16:15: Technical Track - A7-Safety, Security and Testing at Room A
Chair(s): Joanne M. AtleeUniversity of Waterloo
models-2020-technical-track15:00 - 15:20
Full-paper
Katja Tuma, Laurens Sionimec-DistriNet, KU Leuven, Riccardo Scandariato, Koen Yskoutimec - DistriNet, KU Leuven
models-2020-technical-track15:20 - 15:40
Full-paper
models-2020-technical-track15:40 - 16:00
Full-paper
models-2020-technical-track16:00 - 16:10
Demonstration
Alessio Di Sandro, Gehan Selim, Sahar KokalyGeneral Motors, Torin Viger, Rick SalayUniversity of Toronto
models-2020-technical-track
15:00 - 16:15: Technical Track - B8-Variability and Evaluation at Room B
Chair(s): Mahdi ManeshPorsche Digital GmbH
models-2020-technical-track15:00 - 15:20
Full-paper
Daniel StrüberRadboud University Nijmegen, Anthony Anjorin, Thorsten BergerChalmers University of Technology, Sweden / University of Gothenburg, Sweden
Pre-print
models-2020-technical-track15:20 - 15:40
Full-paper
Robbert JongelingMalardalen University, Antonio CicchettiMälardalen University, Federico CiccozziMalardalen University, Jan CarlsonMalardalen University
models-2020-technical-track15:40 - 15:55
Talk
models-2020-technical-track15:55 - 16:10
Demonstration
Lorenzo AddaziMälardalen University, Antonio CicchettiMälardalen University
Hide past events

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

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

Room7:001530458:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Room A
Room B
Room C
Room D
Room E
Hide past events

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

Room7:001530458:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:00153045
Room A
Room B
Room C
Room D
Room E

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

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Room A
Room B
Room C
Room D

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Room A
Room B
Room C

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Room A
Room B
iCalendar subscription service for your personal schedule
You first need to have starred events () in order to use the iCalendar subscription service.
Currently Viewed Program
Downloads the currently viewed program (with filters applied) in iCal format
Session Calendar (ical)
Detailed Event Calendar (ical)