Write a Blog >>
MODELS 2021
Sun 10 - Sat 16 October 2021
VenueVirtual
Room nameRoom 1
Room Information

Virtual

Program

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Sun 10 Oct

Displayed time zone: Osaka, Sapporo, Tokyo change

22:00 - 00:00
Tutorials [T1]Tutorials at Room 1
22:00
2h
Tutorial
[T1] E-CARGO and Role-Based Collaboration
Tutorials

Mon 11 Oct

Displayed time zone: Osaka, Sapporo, Tokyo change

20:00 - 21:30
[SAM 2021] Welcome to SAM 2021 & KeynoteSAM Conference at Room 1
21:30 - 21:45
[SAM 2021] Social TimeSAM Conference at Room 1
21:45 - 23:15
[SAM 2021] Session 1 - Modeling LanguagesSAM Conference at Room 1
23:15 - 23:30
[SAM 2021] Social TimeSAM Conference at Room 1
23:30 - 01:00
[SAM 2021] Session 2 - Application of Model-Driven EngineeringSAM Conference at Room 1

Tue 12 Oct

Displayed time zone: Osaka, Sapporo, Tokyo change

20:00 - 21:30
[SAM 2021] KeynoteSAM Conference at Room 1
21:30 - 21:45
[SAM 2021] Social TimeSAM Conference at Room 1
21:45 - 23:15
[SAM 2021] Session 3 - Modeling Comprehension and EvolutionSAM Conference at Room 1
23:15 - 23:30
[SAM 2021] Social TimeSAM Conference at Room 1
23:30 - 00:30
[SAM 2021] Session 4 - Model Model AnalysisSAM Conference at Room 1

Wed 13 Oct

Displayed time zone: Osaka, Sapporo, Tokyo change

00:30 - 00:45
[SAM 2021] SAM 2021 / Discussion / Closing NotesSAM Conference at Room 1
08:30 - 09:00
Opening and WelcomeMODELS at Room 1
08:30
30m
Day opening
Opening and Welcome
MODELS

09:00 - 10:00
Machine learning and Recommender systems ITechnical Papers at Room 1
Chair(s): Betty H.C. Cheng Michigan State University
09:00
20m
Talk
Using Recommender Systems to Improve Proactive ModelingJ1ST
Technical Papers
09:20
20m
Talk
Predictions-on-Chip: Model-based Training and Automated Deployment of Machine Learning Models at RuntimeJ1ST
Technical Papers
Sebastian Pilarski McGill University, Martin Staniszewski , Matthew Bryan , Frederic Villeneuve , Daniel Varro McGill University / Budapest University of Technology and Economics
09:40
10m
Demonstration
DoMoBOT: An AI-Empowered Bot for Automated and Interactive Domain ModellingDEMO
Technical Papers
Rijul Saini McGill University, Canada, Gunter Mussbacher McGill University, Jin L.C. Guo McGill University, Jörg Kienzle McGill University, Canada
10:00 - 11:00
Certification and Assurance ITechnical Papers at Room 1
Chair(s): Tao Yue Nanjing University of Aeronautics and Astronautics
10:00
20m
Full-paper
A Lean Approach to Building Valid Model-Based Safety ArgumentsFT
Technical Papers
Torin Viger , Logan Murphy , Alessio Di Sandro , Ramy Shahin University of Toronto, Marsha Chechik University of Toronto
10:20
20m
Full-paper
MoDALAS: Model-Driven Assurance for Learning-Enabled Autonomous SystemsFT
Technical Papers
10:40
20m
Talk
Graphical Composite Modeling and Simulation for Multi-aircraft Collision AvoidanceJ1ST
Technical Papers
17:00 - 18:00
Testing and Analysis ITechnical Papers at Room 1
Chair(s): Shaukat Ali Simula Research Laboratory, Norway
17:00
20m
Full-paper
Execution Trace Analysis for a Precise Understanding of Latency ViolationsFT
Technical Papers
17:20
20m
Full-paper
Integrated and Iterative Requirements Analysis and Test Specification: A Case Study at KostalP&I
Technical Papers
Carsten Wiecher , Jannik Fischbach Qualicen GmbH / University of Cologne, Joel Greenyer FHDW Hannover, Andreas Vogelsang University of Cologne, Carsten Wolff , Roman Dumitrescu
17:40
20m
Talk
Wodel-Test: A Model-Based Framework for Language-Independent Mutation TestingJ1ST
Technical Papers
Pablo Gómez-Abajo Universidad Autónoma de Madrid, Esther Guerra , Juan de Lara Autonomous University of Madrid, Manuel Núñez Universidad Complutense de Madrid
18:00 - 19:00
Modeling Languages ITechnical Papers at Room 1
Chair(s): Benoit Combemale University of Rennes; Inria; IRISA
18:00
20m
Talk
Pragmatic Reuse in DSML DevelopmentJ1ST
Technical Papers
Stefan Klikovits , Didier Buchs University of Geneva, Switzerland
18:20
20m
Talk
Spectra: A Specification Language for Reactive SystemsJ1ST
Technical Papers
Shahar Maoz Tel Aviv University, Israel, Jan Oliver Ringert King's College London
Link to publication DOI
18:40
20m
Full-paper
OSTRICH - A Safe Template Language for Low-code DevelopmentP&I
Technical Papers
Hugo Lourenço OutSystems SA, Carla Ferreira NOVA School of Science and Technology, João Costa Seco NOVA LINCS -- Universidade Nova de Lisboa
19:00 - 20:00
Human Aspects ITechnical Papers at Room 1
Chair(s): Silvia Abrahão Universitat Politècnica de València
19:00
20m
Full-paper
Assessing the Usefulness of a Visual Programming IDE for Large-Scale Automation SoftwareP&I
Technical Papers
Bianca Wiesmayr LIT CPS Lab, Johannes Kepler University Linz, Alois Zoitl , Rick Rabiser LIT CPS, Johannes Kepler University Linz
19:20
20m
Talk
Conceptualization, measurement, and application of semantic transparency in visual notations - A systematic literature reviewJ1ST
Technical Papers
19:40
20m
Talk
A Survey on the Design Space of End-User Oriented Languages for Specifying Robotic MissionsJ1ST
Technical Papers
Thorsten Berger , Swaib Dragule Chalmers | University of Gothenburg, Claudio Menghi McMaster University, Canada, Patrizio Pelliccione Gran Sasso Science Institute (GSSI) and Chalmers | University of Gothenburg
22:30 - 23:00
How to publish a Book with SpringerMODELS at Room 1
22:30
30m
Other
How to publish a Book with Springer
MODELS
Ralf Gerstner Springer
23:00 - 23:59
MIP Award talk (SOSYM - Theme Section)Awards at Room 1
Chair(s): Jeff Gray University of Alabama
23:00
40m
Research paper
A dependability profile within MARTE
Awards
Simona Bernardi , Jose Merseguer , Dorina Petriu Carleton University, Ottawa, Canada
23:59 - 01:30
Keynote by Justyna ZanderKeynotes at Room 1
Chair(s): Shiva Nejati University of Ottawa, Daniel Varro McGill University / Budapest University of Technology and Economics
23:59
1h31m
Keynote
Scaling the Development and Automating the Validation of Autonomous Systems towards Safe Deployment in Real World
Keynotes

Thu 14 Oct

Displayed time zone: Osaka, Sapporo, Tokyo change

01:30 - 02:00
Award CeremonyAwards at Room 1
09:00 - 10:00
MIP Award talk (MODELS 2011)Awards at Room 1
Chair(s): Richard Paige McMaster University
09:00
40m
Research paper
From State- to Delta-Based Bidirectional Model Transformations - The Symmetric Case
Awards
Zinovy Diskin McMaster, Yingfei Xiong Peking University, Krzysztof Czarnecki University of Waterloo, Canada, Hartmut Ehrig , Frank Hermann , Fernando Orejas Universitat Politècnica de Catalunya, Spain
10:00 - 11:30
Keynote by Atsuyuki MorishimaKeynotes at Room 1
Chair(s): Shiva Nejati University of Ottawa, Daniel Varro McGill University / Budapest University of Technology and Economics
10:00
90m
Keynote
Computational Division of Labor: Imagine All the People and AI in the Crowd Working Happily
Keynotes

17:00 - 18:00
Certification and Assurance IITechnical Papers at Room 1
Chair(s): Ileana Ober University of Toulouse
17:00
20m
Talk
Multi-Paradigm Modelling for Cyber-Physical Systems: A Descriptive FrameworkJ1ST
Technical Papers
Moussa Amrani University of Namur, Dominique Blouin LTCI Lab, Telecom Paris, Institute Politechnqie de Paris, Robert Heinrich , Arend Rensink University of Twente, The Netherlands, Hans Vangheluwe University of Antwerp and McGill University, Andreas Wortmann
17:20
20m
Talk
Guaranteed master for interval-based cosimulationJ1ST
Technical Papers
17:40
10m
Short-paper
A Concept for a Qualifiable (Meta)-Modeling Framework Deployable in Systems and Tools of Safety-critical and Cyber-physical EnvironmentsVISION
Technical Papers
Vanessa Tietz University of Stuttgart, Germany, Julian Schoepf , Andreas Waldvogel University of Stuttgart, Germany, Bjoern Annighoefer University of Stuttgart
Pre-print
19:00 - 20:00
Backup SessionTechnical Papers at Room 1
Chair(s): Xiao He University of Science and Technology Beijing, China
23:00 - 00:00
Machine learning and Recommender systems IITechnical Papers at Room 1
Chair(s): Antonio Cicchetti Mälardalen University
23:00
20m
Talk
Recommender Systems in Model-Driven Engineering: A Systematic Mapping ReviewJ1ST
Technical Papers
Lissette Almonte Universidad Autónoma de Madrid, Esther Guerra , Iván Cantador Universidad Autonoma de Madrid, Juan de Lara Autonomous University of Madrid
23:20
20m
Full-paper
A GNN-based Recommender System to Assist the Specification of Metamodels and ModelsFT
Technical Papers
Juri Di Rocco University of L'Aquila, Claudio Di Sipio University of L'Aquila, Davide Di Ruscio University of L'Aquila, Phuong T. Nguyen University of L’Aquila
Pre-print
23:40
10m
Short-paper
Towards Reinforcement Learning for In-Place Model TransformationsVISION
Technical Papers

Fri 15 Oct

Displayed time zone: Osaka, Sapporo, Tokyo change

00:00 - 01:00
Model generation and Search-based engineeringTechnical Papers at Room 1
Chair(s): Matthias Tichy Ulm University, Germany
00:00
20m
Talk
Automated Generation of Consistent, Diverse and Structurally Realistic Graph ModelsJ1ST
Technical Papers
Oszkár Semeráth Budapest University of Technology and Economics, Aren Babikian McGill University, Boqi Chen McGill University, Chuning Li , Kristóf Marussy Budapest University of Technology and Economics, Gabor Szarnyas , Daniel Varro McGill University / Budapest University of Technology and Economics
00:20
20m
Full-paper
Towards the Characterization of Realistic Model Generators using Graph Neural NetworksFT
Technical Papers
00:40
20m
Talk
Handling nonconforming individuals in Search-Based Model-Driven EngineeringJ1ST
Technical Papers
Jaime Font San Jorge University, Spain, Lorena Arcega San Jorge University, Oystein Haugen Østfold University College, Carlos Cetina San Jorge University, Spain
01:00 - 02:00
Applications of MDE IIITechnical Papers at Room 1
Chair(s): Juergen Dingel Queen's University, Kingston, Ontario
01:00
20m
Talk
Modelling on mobile devices: A systematic mapping studyJ1ST
Technical Papers
Léa Brunschwig Universidad Autónoma de Madrid, Esther Guerra , Juan de Lara Autonomous University of Madrid
01:20
20m
Talk
MIKADO – A Smart City KPIs Assessment Modeling FrameworkJ1ST
Technical Papers
Ludovico Iovino Gran Sasso Science Institute, L'Aquila, Italy, Martina De Sanctis Gran Sasso Science Institute, Maria Teresa Rossi Gran Sasso Science Institute, Manuel Wimmer JKU Linz
01:40
10m
Demonstration
A modeling assistant for cognifying MBSE toolsDEMO
Technical Papers
09:00 - 10:30
PanelPanel at Room 1
Chair(s): Houari Sahraoui Université de Montréal, Eugene Syriani Université de Montréal
09:00
90m
Panel
Panel (H. Sahraoui, E. Syriani)
Panel
Lionel C. Briand EECS, University Of Ottawa, John Grundy Monash University, Bran Selic Malina Software Corporation, Kenji Tei Waseda University
10:30 - 11:30
Model management and model transformations IITechnical Papers at Room 1
Chair(s): Eugene Syriani Université de Montréal
10:30
20m
Full-paper
Repository Mining for Changes in Simulink ModelsP&I
Technical Papers
Monika Jaskolka , Vera Pantelic , Alan Wassyng McMaster University, Canada, Mark Lawford McMaster University, Richard Paige McMaster University
10:50
20m
Full-paper
Automated Patch Generation for Fixing Semantic Errors in ATL Transformation RulesFT
Technical Papers
Zahra Varaminybahnemiry , Jessie Galasso-Carbonnel Université de Montréal, Khalid Belharbi , Houari Sahraoui Université de Montréal
11:10
20m
Talk
Live Modeling in the Context of State Machine Models and Code GenerationJ1ST
Technical Papers
Mojtaba Bagherzadeh Queen's University, Karim Jahed Queen's University, Benoit Combemale University of Rennes; Inria; IRISA, Juergen Dingel Queen's University, Kingston, Ontario
17:00 - 18:00
MIP Award talk (SOSYM - Regular Paper)Awards at Room 1
Chair(s): Jeff Gray University of Alabama
17:00
40m
Research paper
The many meanings of UML 2 Sequence Diagrams: a survey
Awards
Zoltán Micskei Budapest University of Technology and Economics, Helene Waeselynck LAAS-CNRS
DOI Pre-print
18:00 - 19:30
Keynote by Alexander PretschnerKeynotes at Room 1
Chair(s): Shiva Nejati University of Ottawa, Daniel Varro McGill University / Budapest University of Technology and Economics
18:00
90m
Keynote
Software can do Wrong: On Ethics in Agile Software Engineering
Keynotes

19:30 - 20:00
Announcement of MODELS 2022MODELS at Room 1
23:00 - 00:00
Model management and model transformations IIITechnical Papers at Room 1
Chair(s): Dimitris Kolovos University of York
23:00
20m
Full-paper
Scalable N-Way Model Matching Using Multi-Dimensional Search TreesFT
Technical Papers
Alexander Schultheiß Humboldt University of Berlin, Paul Maximilian Bittner University of Ulm, Lars Grunske Humboldt University of Berlin, Thomas Thüm University of Ulm, Timo Kehrer Humboldt University of Berlin
23:20
20m
Full-paper
Identifying Manual Changes to Generated Code: Experiences from the Industrial Automation DomainP&I
Technical Papers
Robbert Jongeling Malardalen University, Sachin Bhatambrekar , Anders Lofberg , Antonio Cicchetti Mälardalen University, Federico Ciccozzi Malardalen University, Jan Carlson Malardalen University
23:40
20m
Talk
MUPPIT: A Method for Using Proper Patterns in Model TransformationsJ1ST
Technical Papers
Bahman Zamani University of Isfahan, Mahsa Panahandeh University of Alberta, Mohammad Hamdaqa , Wahab Hamou-Lhadj Concordia University, Montreal, Canada

Sat 16 Oct

Displayed time zone: Osaka, Sapporo, Tokyo change

00:00 - 01:00
Model management and model transformations IVTechnical Papers at Room 1
Chair(s): Davide Di Ruscio University of L'Aquila
00:00
20m
Talk
A Systematic Literature Review of Cross-Domain Model Consistency Checking by Model Management ToolsJ1ST
Technical Papers
Weslley Silva Torres , Mark van den Brand Eindhoven University of Technology, Alexander Serebrenik Eindhoven University of Technology
00:20
20m
Full-paper
Identifying Metamodel Inaccurate Structures During Metamodel/Constraints Co-EvolutionFT
Technical Papers
Elyes CHERFA Université of Rennes 1, Soraya Kesraoui , Chouki Tibermacine LIRMM, CNRS and University of Montpellier, Régis Fleurquin , Salah Sadou
00:40
10m
Demonstration
MM-cat: A Tool for Modeling and Transformation of Multi-Model Data using Category TheoryDEMO
Technical Papers
01:00 - 02:00
Backup SessionTechnical Papers at Room 1
Chair(s): Davide Di Ruscio University of L'Aquila

Sun 10 Oct

Displayed time zone: Osaka, Sapporo, Tokyo change

Thu 14 Oct

Displayed time zone: Osaka, Sapporo, Tokyo change

Sat 16 Oct

Displayed time zone: Osaka, Sapporo, Tokyo change

Sun 10 Oct

Displayed time zone: Osaka, Sapporo, Tokyo change

Wed 13 Oct

Displayed time zone: Osaka, Sapporo, Tokyo change

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:0015304522:0015304523:001530450:001530451:00153045
Room 1

Fri 15 Oct

Displayed time zone: Osaka, Sapporo, Tokyo change

Room0:001530451:001530452:001530453:001530454:001530455:001530456:001530457:001530458:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:0015304522:0015304523:00153045
Room 1