Program - MODELS 2020

MODELS 2020 (series) /

MODELS 2020 Program

Detailed Table Session Timeline Detailed Timeline Column Timeline

Switch Program View

You're viewing a filtered program.

Do you want to keep these filters active in the new view?

Get Calendar (iCal)

Filter Program | active: Wed21Oct2020

Dates

Fri 16 Oct 2020

Mon 19 Oct 2020

Tue 20 Oct 2020

Wed 21 Oct 2020

Thu 22 Oct 2020

Fri 23 Oct 2020

Wed

Oct

2020

Rooms

Nothing to filter

Tracks

Nothing to filter

Badges

Nothing to filter

Your Program

Nothing to filter

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

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 programSpecify 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: MDEIntelligenceWorkshops at Room A

07:00 90m Other		Artificial Intelligence and Model-driven Engineering Workshops Link to publication

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

07:00 - 08:30	Workshop 11: MPM4CPSWorkshops at Room C

07:00 60m Keynote		Keynote of MPM4CPSKEYNOTE Workshops
08:00 30m Other		Multi-Paradigm Modelling for Cyber-Physical Systems Workshops Link to publication

07:00 - 08:30	Workshop 1: MASEWorkshops at Room D

07:05 40m Keynote		Keynote by Olaf KathKEYNOTE Workshops Olaf Kath Ansys Germany GmbH
07:45 45m Other		Modeling in Automotive System and Software Engineering Workshops Link to publication

09:00 - 10:30	Workshop 5: MDEIntelligenceWorkshops at Room A

09:00 90m Keynote		Keynote by Alexander EgyedKEYNOTE Workshops Alexander Egyed Johannes Kepler University Linz

09:00 - 10:30	Workshop 6: ME + AMMoReWorkshops at Room B

09:00 90m Other		Models and Evolution Workshops Link to publication

09:00 - 10:30	Workshop 11: MPM4CPSWorkshops at Room C

09:00 90m Other		Multi-Paradigm Modelling for Cyber-Physical Systems Workshops Link to publication

09:00 - 10:30	Workshop 1: MASEWorkshops at Room D

09:00 90m Other		Modeling in Automotive System and Software Engineering Workshops Link to publication

09:00 - 10:30	Workshop 13: MULTIWorkshops at Room E

09:00 90m Other		Multi-Level Modelling 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

11:00 - 12:30	Student Research CompetitionACM Student Research Competition at Room D

11:00 90m Poster		Student Research Competition ACM Student Research Competition

11:00 - 12:30	Workshop 13: MULTIWorkshops at Room E

11:00 90m Other		Multi-Level Modelling Workshops Link to publication

13:30 - 15:00	Tutorial 1: MPSTutorials at Room A

13:30 90m Tutorial		Domain-Specific Languages with JetBrains MPS Tutorials Mikhail Barash University of Bergen, Norway

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 1: MPSTutorials at Room A

15:30 90m Tutorial		Domain-Specific Languages with JetBrains MPS Tutorials Mikhail Barash University of Bergen, Norway

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

07:00 - 08:30	Workshop 8: LowCodeWorkshops at Room A

07:00 50m Keynote		Keynote by Johan den HaanKEYNOTE Workshops
07:50 40m Other		Model-driven engineering and low-code platforms Workshops Link to publication

07:00 - 08:30	Workshop 4: MLEWorkshops at Room C

07:00 90m Other		Modelling Language Engineering and Execution Workshops Link to publication

07:00 - 08:30	Tutorial 5: WF+Tutorials at Room D

07:00 90m Tutorial		Assurance of Complex Software-Intensive Systems using WF+ Tutorials Nicholas Annable , Mehrnoosh Askarpour McMaster University, Computing and Software Department, Zinovy Diskin McMaster University, Alan Wassyng McMaster University, Canada

09:00 - 10:30	Workshop 8: LowCodeWorkshops 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

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

09:00 - 10:30	Workshop 4: MLE Workshops at Room C

09:00 90m Keynote		Multi-Engine Executable Modeling at the Jet Propulsion Laboratory: System Level Execution ParadigmKEYNOTE Workshops Robert Karban JPL / Caltech

09:00 - 10:30	Doctoral SymposiumDoctoral Symposium at Room D

09:00 15m Day opening		Welcome Doctoral Symposium
09:15 75m Doctoral symposium paper		Student presentations and discussion Doctoral Symposium

09:00 - 10:30	SAM ConferenceSAM Conference at Room E

09:00 30m Day opening		Welcome to SAM 2020 SAM Conference
09:30 60m Keynote		The Automated Model Generation Challenge for the Assurance of Cyber-Physical SystemsKEYNOTE SAM Conference Daniel Varro McGill University / Budapest University of Technology and Economics

11:00 - 12:30	Workshop 8: LowCodeWorkshops at Room A

11:00 90m Other		Model management in low-code platforms 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

11:00 - 12:30	Workshop 2: OpenMBEEWorkshops at Room C

11:10 30m Keynote		SysML v2: What’s the Big Deal, Anyway?KEYNOTE Workshops Ed Seidewitz Model Driven Solutions
11:40 50m Other		Open Model Based Engineering Environment Workshops Link to publication

11:00 - 12:30	Doctoral SymposiumDoctoral Symposium at Room D

11:00 90m Doctoral symposium paper		Student presentations and discussion Doctoral Symposium

11:00 - 12:30	SAM ConferenceSAM Conference at Room E

11:00 90m Other		Model Management and Merging SAM Conference

13:30 - 15:00	Workshop 8: LowCodeWorkshops 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

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

13:30 - 15:00	Workshop 2: OpenMBEEWorkshops at Room C

13:30 30m Keynote		Systems Engineering on the Web: a language-workbench perspectiveKEYNOTE Workshops Markus Völter itemis/independent
14:00 60m Other		Open Model Based Engineering Environment Workshops Link to publication

13:30 - 15:00	Doctoral SymposiumDoctoral Symposium at Room D

13:30 50m Doctoral symposium paper		Student presentations and discussion Doctoral Symposium
14:20 40m Other		General open discussion Doctoral Symposium

13:30 - 15:00	SAM ConferenceSAM Conference at Room E

13:30 90m Other		Models at run-time SAM Conference

15:30 - 17:00	Workshop 8: LowCodeWorkshops at Room A

15:30 90m Live Q&A		Discussion and closing Workshops Link to publication

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

15:30 - 17:00	SAM ConferenceSAM Conference at Room E

15:30 90m Other		Applications of Model-Driven Engineering SAM Conference

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

07:00 - 08:30	Tutorial 4: PolyglotTutorials 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: UncertaintyWorkshops at Room A

09:00 60m Keynote		Uncertainty in Software Systems: The Inconvenient TruthKEYNOTE Workshops Tao Yue Simula Research Laboratory
10:00 30m Other		Uncertainty @ MODELS 2020 Workshops Link to publication

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

09:00 - 10:30	OpenMBEE Day 1Industry Days at Room C

09:00 30m Day opening		Welcome and OpenMBEE Introduction Industry Days Robert Karban JPL / Caltech, Chris Delp JPL / Caltech
09:30 60m Keynote		Keynote: The OpenMBEE Community as Industry Driver Industry Days Enrique Krajmalnik Zuken

09:00 - 10:30	Student Research CompetitionACM Student Research Competition at Room D

09:00 90m Paper		Student Research Competition ACM Student Research Competition

09:00 - 10:30	SAM ConferenceSAM Conference at Room E

09:00 60m Keynote		...everything is a model!KEYNOTE SAM Conference Sigrid Eldh Ericsson, Sweden
10:00 30m Awards		Award Ceremony SAM Conference

11:00 - 12:30	Workshop 3: UncertaintyWorkshops at Room A

11:00 90m Other		Uncertainty @ MODELS 2020 Workshops Link to publication

11:00 - 12:30	Workshop 9: MoDeVVaWorkshops at Room B

11:00 90m Other		Model Driven Engineering, Verification and Validation Workshops Link to publication

11:00 - 12:30	OpenMBEE Day 2Industry Days at Room C

11:00 30m Industry talk		Syndeia - Interdisciplinary integration and Digital thread with OpenMBEE Industry Days Manas Bajaj Intercax
11:30 30m Industry talk		Model checking and validation with OpenMBEE and the IncQuery Suite Industry Days István Ráth IncQuery Labs
12:00 30m Industry talk		Making data actionable - Visual Analytics Application to Model Based System Engineering and Systems Safety Industry Days Ahsan Qamar Ford Motor Company

11:00 - 12:30	Educators SymposiumEducators Symposium at Room D

11:00 30m Day opening		Welcome Educators Symposium Michalis Famelis Université de Montréal, Daria Bogdanova KU Leuven
11:30 45m Keynote		Keynote: Opportunities for Intelligent Modelling Assistants in TeachingKEYNOTE Educators Symposium Jörg Kienzle McGill University, Canada
12:15 15m Live Q&A		Q&A Educators Symposium

11:00 - 12:30	SAM ConferenceSAM Conference at Room E

11:00 90m Other		Modeling Languages SAM Conference

13:30 - 15:00	Tutorial 3: UmpleTutorials at Room A

13:30 90m Tutorial		Advanced Model-Oriented Programming Using Umple Tutorials Timothy Lethbridge University of Ottawa

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

13:30 - 15:00	OpenMBEE Day 3Industry Days at Room C

13:30 30m Industry talk		Lemontree - Model Versioning and Diffing with OpenMBEE Industry Days Daniel Siegl LieberLieber Software
14:00 30m Industry talk		Enterprise-Level Scalability with OpenMBEE Industry Days Aleksander Przybylo Boeing Commercial Airplanes
14:30 30m Industry talk		Roadmap Concept with OpenMBEE and Cyber Ontology Example Industry Days Mark Blackburn Stevens Institute of Technologies and SERC

13:30 - 15:00	Educators SymposiumEducators Symposium at Room D

13:30 22m Paper		Automatic Assessment of Students' Software Models Using a Simple Heuristic and Machine Learning Educators Symposium Younes Boubekeur McGill University, Gunter Mussbacher McGill University, Canada, Shane McIntosh
13:52 22m Paper		Towards a Better Understanding of Interactions with a Domain Modeling Assistant Educators Symposium Younes Boubekeur McGill University, Gunter Mussbacher McGill University, Canada
14:15 22m Paper		From classic to agile: Experiences from more than a decade of project-based modeling education Educators Symposium Holger Giese Hasso Plattner Institute, University of Potsdam, Leen Lambers , Christian Zöllner Hasso Plattner Institute, University of Potsdam
14:37 22m Paper		On Teaching Descriptive and Prescriptive Modeling Educators Symposium Martin Gogolla , Bran Selic Malina Software Corporation

13:30 - 15:00	SAM ConferenceSAM Conference at Room E

13:30 90m Other		Model Configuration and Traceability SAM Conference

15:30 - 17:00	Tutorial 3: UmpleTutorials at Room A

15:30 90m Tutorial		Advanced Model-Oriented Programming Using Umple Tutorials Timothy Lethbridge University of Ottawa

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

15:30 - 17:00	OpenMBEE Day 4Industry Days at Room C

15:30 30m Industry talk		The MBEE Core Framework (MCF) a platform for OpenMBEE’s next generation Industry Days Charles Galey Lockheed Martin Corporation
16:00 30m Industry talk		MapleMBSE: Collaborative Modeling with model transformation language & Excel with OpenMBEE Industry Days Bharani Mohan MapleSoft
16:30 30m Industry talk		MBMA - Model Based Mission Assurance for NASA Industry Days Steven Cornford JPL / Caltech

15:30 - 17:00	SAM ConferenceSAM Conference at Room E

15:30 90m Day closing		SAM 2021 and Closing Notes SAM Conference

17:00 - 18:00	Satellite Event ReceptionMODELS 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 2020MODELS 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 BenjioKeynotes at Room A Chair(s): Houari Sahraoui Université de Montréal

09:00 90m Keynote		Priors for deep learning of semantic representationsKEYNOTE Keynotes Yoshua Bengio Université de Montréal

11:00 - 12:15	A1-Model TransformationTechnical 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 PreservationFT Technical Track Zheng Cheng , Massimo Tisi , Joachim Hotonnier
11:20 20m Full-paper		An Exploratory Study on Performance Engineering in Model TransformationsFT Technical Track Raffaela Groner , Luis Beaucamp , Matthias Tichy , Steffen Becker University of Stuttgart
11:40 15m Talk		Benchmarking bidirectional transformations: theory, implementation, application, and assessmentJ1st 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 HenshinDemo Technical Track Raffaela Groner , Sophie Gylstorff , Matthias Tichy Ulm University, Germany

11:00 - 12:15	B1-Systems Engineering ITechnical Track at Room B Chair(s): Francis Bordeleau École de Technologie Supérieure (ETS)

11:00 20m Full-paper		Modeling Mechanical Functional Architectures in SysMLFT 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 MachinesP&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 SystemsFT 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 systemsJ1st Technical Track Vasco Amaral Universidade Nova de Lisboa, Juan C. Vida , Paulo Carreira , Joao Aguiam , João Sousa DOI

11:00 - 12:15	Industry DayIndustry Days at Room D

11:00 25m Industry talk		Model-Based Optimization Applications at Hydro-Québec Industry Days Stéphane Alarie Hydro-Québec
11:25 25m Industry talk		A data-intensive software application for customer-centered transit planning Industry Days Charles Fleurent GIRO
11:50 25m Industry talk		Going full circle: from code to models to knowledge to code Industry Days Mathieu Nayrolles Ubisoft Montreal

13:15 - 14:30	A2-Education and GamesTechnical 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 DiagramsP&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 TransformationsNIV 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 modelingDemo 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 TechniquesDemo 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

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

13:15 - 14:30	PostersPosters at Room C Chair(s): Ferhat Khendek Concordia University

13:15 12m Poster		From Things' Modeling Language (ThingML) to Things' Machine Learning (ThingML2) Posters Armin Moin Technical University of Munich, Germany, Stephan Rössler , Marouane Sayih , Stephan Günnemann Link to publication Pre-print
13:27 12m Poster		Metamodel specialization based DSL for DL lifecycle data management Posters Paulis Barzdins , Edgars Celms , Janis Barzdins , Audris Kalnins , Arturs Sprogis , Mikus Grasmanis , Sergejs Rikacovs Media Attached File Attached
13:40 12m Poster		Enabling Language Engineering for the Masses Posters Mikhail Barash University of Bergen, Norway
13:52 12m Poster		What's the Grade of your Diagram? Towards a Streamlined Approach for Grading UML Diagrams Posters Kleinner Farias University of Vale do Rio dos Sinos (UNISINOS), Bruno da Silva California Polytechnic State University
14:05 12m Poster		From Text to Visual BPMN Process Models: Design and Evaluation Posters Ana Ivanchikj Software Institute, Faculty of Informatics, USI Lugano, Souhaila Serbout Software Institute @ USI, Cesare Pautasso Software Institute, Faculty of Informatics, USI Lugano Media Attached File Attached
14:17 12m Poster		Detecting Quality Problems in Research Data: A Model-Driven Approach Posters Arno Kesper , Viola Wenz Philipps-Universität Marburg, Gabriele Taentzer Universität Marburg File Attached

15:00 - 16:15	A3-Systems Engineering IITechnical 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 SystemFT 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 EngineeringP&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 ApplicationsP&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 ThingsDemo Technical Track Imad Berrouyne

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 Nisha Desai , Martin Gogolla

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

09:00 - 10:00	Keynote by Betty ChengKeynotes at Room A Chair(s): Eugene Syriani Université de Montréal

09:00 60m Keynote		Model-Driven Engineering for Data-Centric Autonomous SystemsKEYNOTE Keynotes Betty H.C. Cheng Michigan State University

10:00 - 10:30	AwardsAwards at Room A

10:00 30m Awards		Awards ceremony Awards

11:00 - 12:15	A4-RequirementsTechnical 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 ModelsP&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 EvaluationP&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 ModelsFT 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 extensionsJ1st Technical Track Enyo Gonçalves , Camilo Almendra Universidade Federal do Ceará, Miguel Goulao NOVA-LINCS, FCT/UNL, João Araújo , Jaelson Castro DOI

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 Gilles Vanwormhoudt , Matthieu Allon , Olivier Caron , Bernard Carré
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 Elina Kalnina

13:15 - 14:30	PanelPanel 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 ModelingTechnical Track at Room A Chair(s): Massimo Tisi

15:00 20m Full-paper		Synthesis of State Machine ModelsFT 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 DevelopmentFT 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 ModelsNIV 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 systemsJ1st 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

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 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 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

15:00 - 15:55	PostersPosters at Room C Chair(s): Djamel Eddine Khelladi CNRS, France

15:00 11m Poster		Semantic Comparisons of Alloy Models Posters Jan Oliver Ringert University of Leicester, Syed Waqee Wali University of Leicester, UK
15:11 11m Poster		Connecting conceptual models using Relational Reference Attribute Grammars Posters René Schöne Technische Universität Dresden, Johannes Mey Technische Universität Dresden, Sebastian Ebert Technische Universität Dresden, Uwe Aßmann TU Dresden, Germany Media Attached File Attached
15:22 11m Poster		Using Model Transformation Compositions in Low-Code Development Platforms Posters Apurvanand Sahay , Davide Di Ruscio University of L'Aquila, Alfonso Pierantonio Università degli Studi dell'Aquila
15:33 11m Poster		Using the Low-code Paradigm to Support the Development of Recommender Systems Posters Claudio Di Sipio University of L'Aquila, Davide Di Ruscio University of L'Aquila, Phuong T. Nguyen University of L’Aquila
15:44 11m Poster		DevOpsML: Towards Modeling DevOps Processes and Platforms Posters Alessandro Colantoni Johannes Kepler University Linz, Luca Berardinelli Johannes Kepler University Linz, Manuel Wimmer Johannes Kepler University Linz

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

09:00 - 10:00	Keynote by Krzysztof CzarneckiKeynotes 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 drivingKEYNOTE Keynotes Krzysztof Czarnecki University of Waterloo, Canada Link to publication

10:00 - 10:30	MODELS 2021 announcementMODELS at Room A

10:00 30m Talk		MODELS 2021 announcement MODELS

11:00 - 12:15	Most Influential PapersAwards 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 ModelsMODELS 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 linesSOSYM 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 testingSOSYM MIP Awards Jeff Offutt George Mason University, Ye Wu ESI DOI

11:00 - 12:15	B6-Verification, Testing and ExecutionTechnical 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 VehiclesNIV Technical Track Barbara Schütt , Thilo Braun , Eric Sax
11:15 15m Talk		Specification and Automated Verification of Atomic Concurrent Real-Time TransactionsJ1st 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 systemJ1st 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	A6-Modeling Environments and Model SearchTechnical 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 TransformationFT 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 modelsFT 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 RepositoriesDemo 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 generatorDemo Technical Track Louis-Edouard Lafontant , Eugene Syriani Université de Montréal Link to publication DOI Authorizer link

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	A7-Safety, Security and TestingTechnical Track at Room A Chair(s): Joanne M. Atlee University of Waterloo

15:00 20m Full-paper		Automating the Early Detection of Security Design FlawsFT 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 CheckersFT 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 ApproachP&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 ArtifactsDemo Technical Track Alessio Di Sandro , Gehan Selim , Sahar Kokaly General Motors, Torin Viger , Rick Salay University of Toronto

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

Get Calendar (iCal)

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)

session-calendar.ics

Detailed Event Calendar (ical)

event-calendar.ics

xTue 29 Jul 21:37

MODELS 2020 Program

Switch Program View

Program Display Configuration

Fri 16 OctDisplayed time zone: Eastern Time (US & Canada) change

Mon 19 OctDisplayed time zone: Eastern Time (US & Canada) change

Tue 20 OctDisplayed time zone: Eastern Time (US & Canada) change

Wed 21 OctDisplayed time zone: Eastern Time (US & Canada) change

Thu 22 OctDisplayed time zone: Eastern Time (US & Canada) change

Fri 23 OctDisplayed time zone: Eastern Time (US & Canada) change

Get Calendar (iCal)

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