MODELS 2022
Sun 23 - Fri 28 October 2022
Montréal, Canada
Toggle navigation
Attending
Venue: University of Montreal
Registration
Student Volunteers
Social events
Accomodations
About Montréal
Sponsorship
Our Sponsors and Supporters
Sponsorship Opportunities
Program
Complete Program
Your Program
Program Overview
Conference Proceedings
Sun 23 Oct
Mon 24 Oct
Tue 25 Oct
Wed 26 Oct
Thu 27 Oct
Fri 28 Oct
Tracks
MODELS 2022
ACM Student Research Competition
Artifact Evaluation
Awards
Doctoral Symposium
Educators Symposium
Industry Days
Journal-first
Keynotes
MODELS
Panel
Posters
SAM Conference
Technical Track
Tools & Demonstrations
Tutorials
Workshops
Organization
MODELS 2022 Committees
Organizing Committee
Steering Committee
Track Committees
ACM Student Research Competition
Chairs
Program Committee
Artifact Evaluation
Chairs
Artifact Evaluation Committee
Doctoral Symposium
Chairs
Program Committee
Educators Symposium
Chairs
Program Committee
Journal-first
Panel
Moderator
Panelists
Posters
Chairs
Poster Committee
Technical Track
Chairs
PC - Foundations Track
PC - Practice and Innovation Track
Program Board
Tools & Demonstrations
Chairs
Program Committee
Tutorials
Chairs
Program Committee
Workshops
Chairs
Program Committee
Contributors
People Index
Search
Series
Series
MODELS 2024
MODELS 2023
MODELS 2022
MODELS 2021
MODELS 2020
MODELS 2019
MODELS 2018
MODELS 2017
MODELS 2016
MODELS 2015
MODELS 2014
MODELS 2013
MODELS 2012
MODELS 2011
MODELS 2010
MODELS 2009
MODELS 2008
MODELS 2007
MODELS 2006
MODELS 2005
UML 2004
UML 2003
UML 2002
UML 2001
UML 2000
UML 1999
UML 1998
Sign in
Sign up
MODELS 2022
(
series
) /
University of Montreal
/
Room information: A-3502.1
Venue
University of Montreal
Room name
A-3502.1
Floor
0
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT-04:00) Eastern Time (US & Canada)
.
Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+12:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
You're viewing the program in a time zone which is different from your device's time zone
change time zone
Mon 24 Oct
Displayed time zone:
Eastern Time (US & Canada)
change
08:30 - 10:00
Beyond the Clouds: A journey and lessons learned
SAM 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 Modelling
SAM Conference
at
A-3502.1
10:30
90m
Talk
UML Modelling
SAM Conference
13:30 - 15:00
Model Checking
SAM Conference
at
A-3502.1
13:30
90m
Talk
Model Checking
SAM Conference
15:30 - 17:00
Innovative Modelling Approaches
SAM 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 Engineering
SAM Conference
at
A-3502.1
08:45
60m
Keynote
openCAESAR: A Next Generation Platform for Systems Engineering
SAM Conference
Maged Elaasar
09:46
14m
Awards
Awards Ceremony
SAM Conference
10:30 - 12:00
SDL Society Annual General Meeting
SAM Conference
at
A-3502.1
10:30
90m
Meeting
SDL Society Annual General Meeting
SAM Conference
13:30 - 15:00
System-Level Modelling Languages
SAM Conference
at
A-3502.1
13:30
90m
Talk
System-Level Modelling Languages
SAM Conference
15:30 - 17:00
SAM 2022 Closing Notes / Discussion
SAM 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
Plenary
MODELS
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
Akshay Rajhans
10:30 - 12:00
Foundations I
Technical 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 Space
FT
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 Approach
FT
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 evolution
J1st
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 model
J1st
Journal-first
Bernd Neumayr
,
Michael Schrefl
Link to publication
13:30 - 15:00
Validation & Verification I
Technical 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 Models
FT
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 Engineers
P&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 Models
FT
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 System
P&I
Technical Track
Maxime Méré
STMicroelectronics
,
Frédéric Jouault
ERIS Team, ESEO , France
,
Loïc Pallardy
STMicroelectronics
,
Richard Perdriau
ESEO
15:30 - 17:00
AI for/with MDE I
Journal-first
/
Technical Track
/
Tools & Demonstrations
at
A-3502.1
Chair(s):
Lola Burgueño
University of Malaga
15:30
22m
Talk
Machine learning methods for model classification: A comparative study
FT
Technical Track
José Antonio Hernández López
Universidad de Murcia
,
Riccardo Rubei
University of L'Aquila
,
Jesús Sánchez Cuadrado
Universidad de Murcia
,
Davide Di Ruscio
University of L'Aquila
Pre-print
15:52
22m
Talk
Enhancing software model encoding for feature location approaches based on machine learning techniques
J1st
Journal-first
Ana Cristina Marcén
,
Francisca Pérez
SVIT Research Group. Universidad San Jorge
,
Oscar Pastor
Universitat Politecnica de Valencia
,
Carlos Cetina
San Jorge University, Spain
Link to publication
16:15
22m
Talk
ModelSet: a dataset for machine learning in model-driven engineering
J1st
Journal-first
José Antonio Hernández López
Universidad de Murcia
,
Javier Luis Cánovas Izquierdo
IN3 - UOC
,
Jesús Sánchez Cuadrado
Universidad de Murcia
Link to publication
16:37
22m
Talk
Using the ModelSet dataset to support Machine Learning in Model-Driven Engineering
Demo
Tools & Demonstrations
José Antonio Hernández López
Universidad de Murcia
,
Javier Luis Cánovas Izquierdo
IN3 - UOC
,
Jesús Sánchez Cuadrado
Universidad de Murcia
Thu 27 Oct
Displayed time zone:
Eastern Time (US & Canada)
change
08:45 - 10:00
Plenary
MODELS
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
Danny Tarlow
10:30 - 12:00
Blockchain & Contracts
Technical Track
at
A-3502.1
Chair(s):
Steffen Zschaler
King's College London
10:30
22m
Talk
Model-Checking Legal Contracts with SymboleoPC
FT
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 Validation
FT
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 Contracts
FT
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 Applications
FT
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
Panel
Panel
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
Applications II
Tools & Demonstrations
/
Technical Track
/
Journal-first
at
A-3502.1
Chair(s):
Wrong conf.researchr.org Account
15:30
22m
Talk
Digital Twin as Risk Free Experimentation Aid for Techno-socio-economic Systems
P&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 Processes
Demo
Tools & Demonstrations
Shinobu Saito
NTT
16:15
22m
Talk
Facilitating the migration to the microservice architecture via model-driven reverse engineering and reinforcement learning
J1st
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 Learning
Virtual
P&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
Plenary
MODELS
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
10:30 - 12:00
Most Influential PapersTechnical Track
Awards
at
A-3502.1
10:30
30m
Paper
10-year SOSYM MIP - Modeling robustness behavior using aspect-oriented modeling to support robustness testing of industrial systems
Awards
Shaukat Ali
Simula Research Laboratory
,
Lionel C. Briand
,
Hadi Hemmati
Link to publication
DOI
11:00
30m
Talk
10-year MIP MODELS - From UML and OCL to Relational Logic and Back
Awards
Micro Kuhlmann
,
Martin Gogolla
Link to publication
DOI
11:30
30m
Paper
10-year SOSYM MIP - Model interoperability in building information modelling
Virtual
Awards
Jim Steel
,
Robin Drogemuller
,
Bianca Toth
Link to publication
DOI
13:30 - 15:00
Foundations III
Technical 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 models
J1st
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 standards
J1st
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 Data
FT
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 evolution
Demo
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
Room
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
A-3502.1
SAM Conference
Beyond the Clouds: A journey and lessons learned
SAM Conference
UML Modelling
SAM Conference
Model Checking
SAM Conference
Innovative Modelling Approaches
Tue 25 Oct
Displayed time zone:
Eastern Time (US & Canada)
change
Room
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
A-3502.1
SAM Conference
openCAESAR: A Next Generation Platform for Systems Engineering
SAM Conference
SDL Society Annual General Meeting
SAM Conference
System-Level Modelling Languages
SAM Conference
SAM 2022 Closing Notes / Discussion
Wed 26 Oct
Displayed time zone:
Eastern Time (US & Canada)
change
Room
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
A-3502.1
MODELS
Plenary
Technical Track + Journal-first
Foundations I
Technical Track
Validation & Verification I
Journal-first + Technical Track + Tools & Demonstrations
AI for/with MDE I
Thu 27 Oct
Displayed time zone:
Eastern Time (US & Canada)
change
Room
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
A-3502.1
MODELS
Plenary
Technical Track
Blockchain & Contracts
Panel
Panel
Tools & Demonstrations + Technical Track + Journal-first
Applications II
Fri 28 Oct
Displayed time zone:
Eastern Time (US & Canada)
change
Room
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
A-3502.1
MODELS
Plenary
Awards
Most Influential PapersTechnical Track
Technical Track + Journal-first + Tools & Demonstrations
Foundations III
Mon 24 Oct
Displayed time zone:
Eastern Time (US & Canada)
change
Room
8:00
15
30
45
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
A-3502.1
MODELS SAM Conference
Beyond the Clouds: A journey and lessons learned
08:30 - 10:00
MODELS SAM Conference
UML Modelling
10:30 - 12:00
MODELS SAM Conference
Model Checking
13:30 - 15:00
MODELS SAM Conference
Innovative Modelling Approaches
15:30 - 17:00
Tue 25 Oct
Displayed time zone:
Eastern Time (US & Canada)
change
Room
8:00
15
30
45
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
A-3502.1
MODELS SAM Conference
openCAESAR: A Next Generation Platform for Systems Engineering
08:45 - 09:45
MODELS SAM Conference
Awards Ceremony
09:46 - 10:00
MODELS SAM Conference
SDL Society Annual General Meeting
10:30 - 12:00
MODELS SAM Conference
System-Level Modelling Languages
13:30 - 15:00
MODELS SAM Conference
SAM 2022 Closing Notes / Discussion
15:30 - 17:00
Wed 26 Oct
Displayed time zone:
Eastern Time (US & Canada)
change
Room
8:00
15
30
45
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
A-3502.1
MODELS
Welcome to MODELS 2022
08:30 - 09:00
MODELS
Keynote by Akshay Rajhans
09:00 - 10:00
MODELS Technical Track
FT
Quantifying the Variability Mismatch Between Problem and Solution Space
10:30 - 10:52
MODELS Technical Track
FT
Modular Language Product Lines. A Graph Transformation Approach
10:52 - 11:15
MODELS Journal-first
J1st
Utilizing multi-level concepts for multi-phase modeling - Context-aware ...
11:15 - 11:37
MODELS Journal-first
J1st
Domain object hierarchies inducing multi-level model
11:37 - 12:00
MODELS Technical Track
FT
Practical Multiverse Debugging through User-defined Reductions: Applica ...
13:30 - 13:52
MODELS Technical Track
P&I
Modelling Program Verification Tools for Software Engineers
13:52 - 14:15
MODELS Technical Track
FT
Automatic Test Amplification for Executable Models
14:15 - 14:37
MODELS Technical Track
P&I
Feedback on the Formal Verification of UML Models in an Industrial Cont ...
14:37 - 15:00
MODELS Technical Track
FT
Machine learning methods for model classification: A comparative study
15:30 - 15:52
MODELS Journal-first
J1st
Enhancing software model encoding for feature location approaches based ...
15:52 - 16:15
MODELS Journal-first
J1st
ModelSet: a dataset for machine learning in model-driven engineering
16:15 - 16:37
MODELS Tools & Demonstrations
Demo
Using the ModelSet dataset to support Machine Learning in Model-Driven ...
16:37 - 17:00
Thu 27 Oct
Displayed time zone:
Eastern Time (US & Canada)
change
Room
8:00
15
30
45
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
A-3502.1
MODELS
Announcements
08:45 - 09:00
MODELS
Keynote by Danny Tarlow
09:00 - 10:00
MODELS Technical Track
FT
Model-Checking Legal Contracts with SymboleoPC
10:30 - 10:52
MODELS Technical Track
FT
Predicate Abstractions for Smart Contract Validation
10:52 - 11:15
MODELS Technical Track
FT
Symboleo2SC: From Legal Contract Specifications to Smart Contracts
11:15 - 11:37
MODELS Technical Track
FT
A Declarative Modeling Framework for the Deployment and Management of B ...
11:37 - 12:00
MODELS Panel
Is Lowcode succeeding where we are failing?
13:30 - 15:00
MODELS Technical Track
P&I
Digital Twin as Risk Free Experimentation Aid for Techno-socio-economic ...
15:30 - 15:52
MODELS Tools & Demonstrations
Demo
Digital TwinCity: A Holistic Approach towards Comparative Analysis of B ...
15:52 - 16:15
MODELS Journal-first
J1st
Facilitating the migration to the microservice architecture via model-d ...
16:15 - 16:37
MODELS Technical Track
Virtual
P&I
Towards Model-based Bias Mitigation in Machine Learning
16:37 - 17:00
Fri 28 Oct
Displayed time zone:
Eastern Time (US & Canada)
change
Room
8:00
15
30
45
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
A-3502.1
MODELS
MODELS 2023 announcement
08:45 - 09:00
MODELS
Keynote by Maria Angela Ferrrio
09:00 - 10:00
MODELS Awards
10-year SOSYM MIP - Modeling robustness behavior using aspect-oriented ...
10:30 - 11:00
MODELS Awards
10-year MIP MODELS - From UML and OCL to Relational Logic and Back
11:00 - 11:30
MODELS Awards
Virtual
10-year SOSYM MIP - Model interoperability in building information mode ...
11:30 - 12:00
MODELS Journal-first
J1st
Early timing analysis based on scenario requirements and platform models
13:30 - 13:52
MODELS Journal-first
J1st
Requirements document relations - A reuse perspective on traceability t ...
13:52 - 14:15
MODELS Technical Track
FT
Schema Inference for Multi-Model Data
14:15 - 14:37
MODELS Tools & Demonstrations
Demo
EvolveDB - A tool for model driven schema evolution
14:37 - 15:00
x
Fri 19 Apr 11:10