MODELS 2022
Sun 23 - Fri 28 October 2022 Montréal, Canada
VenueUniversity of Montreal
Room nameA-3502.1
Floor0
Room InformationNo extra information available
Program

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

Mon 24 Oct

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

08:30 - 10:00
Beyond the Clouds: A journey and lessons learnedSAM Conference at A-3502.1
08:30
90m
Keynote
Beyond the Clouds: A journey and lessons learned
SAM Conference
K: Mohammad Hamdaqa Polytechnique Montreal, S: Abdelouahed Gherbi
10:30 - 12:00
UML ModellingSAM Conference at A-3502.1
10:30
90m
Talk
UML Modelling
SAM Conference

13:30 - 15:00
Model CheckingSAM Conference at A-3502.1
13:30
90m
Talk
Model Checking
SAM Conference

15:30 - 17:00
Innovative Modelling ApproachesSAM Conference at A-3502.1
15:30
90m
Talk
Innovative Modelling Approaches
SAM Conference

Tue 25 Oct

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

08:30 - 10:00
openCAESAR: A Next Generation Platform for Systems EngineeringSAM Conference at A-3502.1
08:45
60m
Keynote
openCAESAR: A Next Generation Platform for Systems Engineering
SAM Conference
09:46
14m
Awards
Awards Ceremony
SAM Conference

10:30 - 12:00
SDL Society Annual General MeetingSAM Conference at A-3502.1
10:30
90m
Meeting
SDL Society Annual General Meeting
SAM Conference

13:30 - 15:00
System-Level Modelling LanguagesSAM Conference at A-3502.1
13:30
90m
Talk
System-Level Modelling Languages
SAM Conference

15:30 - 17:00
SAM 2022 Closing Notes / DiscussionSAM Conference at A-3502.1
15:30
90m
Talk
SAM 2022 Closing Notes / Discussion
SAM Conference

Wed 26 Oct

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

08:30 - 10:00
PlenaryMODELS at A-3502.1
Chair(s): Eugene Syriani Université de Montréal
08:30
30m
Social Event
Welcome to MODELS 2022
MODELS
Eugene Syriani Université de Montréal, Houari Sahraoui Université de Montréal, Manuel Wimmer JKU Linz, CDL-MINT, Nelly Bencomo Durham University
09:00
60m
Keynote
Keynote by Akshay Rajhans
MODELS
10:30 - 12:00
Foundations ITechnical Track / Journal-first at A-3502.1
Chair(s): Jörg Kienzle McGill University, Canada
10:30
22m
Talk
Quantifying the Variability Mismatch Between Problem and Solution SpaceFT
Technical Track
Marc Hentze Volkswagen AG, Chico Sundermann University of Ulm, Thomas Thüm University of Ulm, Ina Schaefer Karlsruhe Institute of Technology (KIT)
10:52
22m
Talk
Modular Language Product Lines. A Graph Transformation ApproachFT
Technical Track
Juan de Lara Autonomous University of Madrid, Esther Guerra Universidad Aut�noma de Madrid, Paolo Bottoni Sapienza University of Rome
Pre-print Media Attached
11:15
22m
Talk
Utilizing multi-level concepts for multi-phase modeling - Context-awareness and process-based constraints to enable model evolutionJ1st
Journal-first
Tobias Franz German Aerospace Center (DLR), Christoph Seidl IT University of Copenhagen, Philipp M. Fischer , Andreas Gerndt German Aerospace Center (DLR)
Link to publication
11:37
22m
Talk
Domain object hierarchies inducing multi-level modelJ1st
Journal-first
Link to publication
13:30 - 15:00
Validation & Verification ITechnical Track at A-3502.1
Chair(s): Marsha Chechik University of Toronto
13:30
22m
Talk
Practical Multiverse Debugging through User-defined Reductions: Application to UML ModelsFT
Technical Track
Matthias Pasquier Ertosgener, Ciprian Teodorov ENSTA Bretagne, Frédéric Jouault ERIS Team, ESEO , France, Matthias Brun TRAME Team, ESEO, Luka Le Roux Lab-STICC CNRS UMR 6285, ENSTA Bretagne, Loïc Lagadec Lab-STICC CNRS UMR 6285, ENSTA Bretagne
13:52
22m
Talk
Modelling Program Verification Tools for Software EngineersP&I
Technical Track
Sophie Lathouwers University of Twente, Vadim Zaytsev University of Twente, Netherlands
File Attached
14:15
22m
Talk
Automatic Test Amplification for Executable ModelsFT
Technical Track
Faezeh Khorram IMT Atlantique, Nantes, France, Erwan Bousse Nantes Université, Jean-Marie Mottu Université de Nantes, LS2N, IMT Atlantique, Gerson Sunyé Université de Nantes, LS2N, Pablo Gómez-Abajo Universidad Autónoma de Madrid, Pablo C Canizares Autonomous University of Madrid, Spain, Esther Guerra Universidad Aut�noma de Madrid, Juan de Lara Autonomous University of Madrid
Pre-print
14:37
22m
Talk
Feedback on the Formal Verification of UML Models in an Industrial Context: The Case of a Smart Device Life Cycle Management SystemP&I
Technical Track
Maxime Méré STMicroelectronics, Frédéric Jouault ERIS Team, ESEO , France, Loïc Pallardy STMicroelectronics, Richard Perdriau ESEO

Thu 27 Oct

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

08:45 - 10:00
PlenaryMODELS at A-3502.1
Chair(s): Houari Sahraoui Université de Montréal
08:45
15m
Social Event
Announcements
MODELS

09:00
60m
Keynote
Keynote by Danny Tarlow
MODELS
10:30 - 12:00
Blockchain & ContractsTechnical Track at A-3502.1
Chair(s): Steffen Zschaler King's College London
10:30
22m
Talk
Model-Checking Legal Contracts with SymboleoPCFT
Technical Track
Alireza Parvizimosaed University of Ottawa, Marco Roveri University of Trento, Aidin Rasti University of Ottawa, Daniel Amyot University of Ottawa, Luigi Logrippo University of Ottawa, John Mylopoulos University of Trento
10:52
22m
Talk
Predicate Abstractions for Smart Contract ValidationFT
Technical Track
Javier Godoy University of Buenos Aires, Argentina, Juan Pablo Galeotti University of Buenos Aires, Diego Garbervetsky University of Buenos Aires and CONICET, Argentina, Sebastian Uchitel Universidad de Buenos Aires / Imperial College
File Attached
11:15
22m
Talk
Symboleo2SC: From Legal Contract Specifications to Smart ContractsFT
Technical Track
Aidin Rasti University of Ottawa, Daniel Amyot University of Ottawa, Alireza Parvizimosaed University of Ottawa, Marco Roveri University of Trento, Luigi Logrippo University of Ottawa, John Mylopoulos University of Trento, Amal Ahmed Anda
11:37
22m
Talk
A Declarative Modeling Framework for the Deployment and Management of Blockchain ApplicationsFT
Technical Track
Luciano Baresi Politecnico di Milano, Giovanni Quattrocchi Politecnico di Milano, Damian Andrew Tamburri TU/e, Luca Terracciano Politecnico di Milano
13:30 - 15:00
PanelPanel at A-3502.1
Chair(s): Antonio Cicchetti Mälardalen University
13:30
90m
Panel
Is Lowcode succeeding where we are failing?
Panel
Antonio Cicchetti Mälardalen University, Ed Seidewitz Model Driven Solutions, Jean-Michel Bruel Université de Toulouse, France, Maria Angela Ferrario Queen's University Belfast, Richard Paige McMaster University, UIrich Frank
15:30 - 17:00
15:30
22m
Talk
Digital Twin as Risk Free Experimentation Aid for Techno-socio-economic SystemsP&I
Technical Track
Souvik Barat Tata Consultancy Services Research, Vinay Kulkarni Tata Consultancy Services Research, Tony Clark Aston University, Balbir Barn Middlesex University, UK
15:52
22m
Talk
Digital TwinCity: A Holistic Approach towards Comparative Analysis of Business ProcessesDemo
Tools & Demonstrations
16:15
22m
Talk
Facilitating the migration to the microservice architecture via model-driven reverse engineering and reinforcement learningJ1st
Journal-first
Shekoufeh Rahimi University of Isfahan, MohammadHadi Dehghani Johannes Kepler University Linz, Massimo Tisi IMT Atlantique, LS2N (UMR CNRS 6004), Dalila Tamzalit
Link to publication
16:37
22m
Talk
Towards Model-based Bias Mitigation in Machine LearningVirtualP&I
Technical Track
Alfa Yohannis University of York, Universitas Pradita, Dimitris Kolovos University of York

Fri 28 Oct

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

08:45 - 10:00
PlenaryMODELS at A-3502.1
Chair(s): Nelly Bencomo Durham University
08:45
15m
Social Event
MODELS 2023 announcement
MODELS

09:00
60m
Keynote
Keynote by Maria Angela Ferrrio
MODELS
Maria Angela Ferrario Queen's University Belfast
13:30 - 15:00
Foundations IIITechnical Track / Journal-first / Tools & Demonstrations at A-3502.1
Chair(s): Daniel Varro McGill University / Budapest University of Technology and Economics
13:30
22m
Talk
Early timing analysis based on scenario requirements and platform modelsJ1st
Journal-first
Jörg Holtmann Chalmers | University of Gothenburg, Julien DeAntoni , Markus Fockel
Link to publication
13:52
22m
Talk
Requirements document relations - A reuse perspective on traceability through standardsJ1st
Journal-first
Katharina Großer University of Koblenz-Landau, Volker Riediger University of Koblenz-Landau, Jan Jürjens University of Koblenz-Landau
Link to publication
14:15
22m
Talk
Schema Inference for Multi-Model DataFT
Technical Track
Pavel Koupil Charles University, Faculty of Mathematics and Physics, Sebastian Hricko Charles University in Prague, Irena Holubova Charles University in Prague
14:37
22m
Talk
EvolveDB - A tool for model driven schema evolutionDemo
Tools & Demonstrations
Torben Eckwert Forschungscampus Mittelhessen, Michael Guckert Technische Hochschule Mittelhessen–University of Applied Sciences, Gabriele Taentzer University of Marburg, Germany

Mon 24 Oct

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

Thu 27 Oct

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

Fri 28 Oct

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

Mon 24 Oct

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

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
A-3502.1

Tue 25 Oct

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

Wed 26 Oct

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