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: B-140 (Atrium)
Venue
University of Montreal
Room name
B-140 (Atrium)
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
Wed 26 Oct
Displayed time zone:
Eastern Time (US & Canada)
change
10:00 - 13:30
Session 1 - Posters
Posters
at
B-140 (Atrium)
10:00
3h30m
Poster
SYMBOLEO2SC: From Legal Contract Specifications to Smart Contracts
Posters
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
,
Amal Ahmed Anda
,
John Mylopoulos
10:00
3h30m
Poster
ORM Ontologies with Executable Derivation Rules to Support Semantic Search in Large-Scale Data Applications
Posters
Márton Búr
10:00
3h30m
Poster
Modeling Tool for Managing Canvas-Based Models Traceability in ML System Development
Posters
Jati Hiliamsyah Husen
Waseda University
,
Hironori Washizaki
Waseda University
,
Hnin Thandar Tun
,
Nobukazu Yoshioka
Waseda University, Japan
10:00
3h30m
Poster
Contract-based Product-Assembly Co-Design
Posters
Bert Van Acker
,
Joachim Denil
10:00
3h30m
Poster
A Lightweight Approach to the Concurrent Use and Integration of SysML and Formal Methods in Systems Design
Posters
Robert Thorburn
,
Asieh Salehi Fathabadi
10:00
3h30m
Poster
Teaching Modeling to Anyone the Aristotelian Way: Anyone can cook a sound model.
Posters
Michel Zam
10:00
3h30m
Poster
Validating the Correctness of Reactive Systems Specifications Through Systematic Exploration
Posters
Dor Ma'ayan
Tel Aviv University
,
Shahar Maoz
Tel Aviv University, Israel
,
Roey Rozi
Tel Aviv University
Pre-print
10:00
3h30m
Poster
Incremental Causal Connection for Self-Adaptive Systems Based on Relational Reference Attribute Grammars
Posters
René Schöne
Technische Universität Dresden
,
Johannes Mey
Technische Universität Dresden
,
Sebastian Ebert
Technische Universität Dresden
,
Sebastian Götz
Technische Universität Dresden
10:00
3h30m
Poster
Modelling Program Verification Tools for Software Engineers
Posters
Sophie Lathouwers
University of Twente
,
Vadim Zaytsev
University of Twente, Netherlands
10:00
3h30m
Poster
SimuV: Model-based Configuration Management for Simulink Models
Posters
Tien N. Nguyen
University of Texas at Dallas
13:30 - 15:00
SRC posters
ACM Student Research Competition
at
B-140 (Atrium)
13:30
90m
Poster
Solving the Instance Model-View Update Problem in AADL
Undergraduate
ACM Student Research Competition
Rakshit Mittal
Universiteit Antwerpen
13:30
90m
Poster
Automating the design of recommender systems: from foundational aspects to actual development
Graduate
ACM Student Research Competition
Claudio Di Sipio
University of L'Aquila
13:30
90m
Poster
Participatory Agent-Based Modelling in Healthcare – A Domain-Specific Modelling Language Approach
Graduate
ACM Student Research Competition
Thomas Godfrey
13:30
90m
Poster
The path towards the automatic provision of blended modeling environments
Graduate
ACM Student Research Competition
Malvina Latifaj
Mälardalen University
13:30
90m
Poster
How Alike are my Physical and Digital Twins?
Graduate
ACM Student Research Competition
Paula Muñoz
13:30
90m
Poster
Domain-specific model differencing for graphical domain-specific languages
Graduate
ACM Student Research Competition
Manouchehr Zadahmad Jafarlou
Université de Montréal
13:30
90m
Poster
Eat Your Own DevOps: A Model Driven Approach to Justify Continous Integration Pipelines
Graduate
ACM Student Research Competition
Corinne Pulgar
École de Technologie Supérieure (ETS)
13:30
90m
Poster
Automated, Traceable, and Interactive Domain Modelling
Graduate
ACM Student Research Competition
Rijul Saini
McGill University, Canada
13:30
90m
Poster
Pushing the Boundaries of Planned Reuse with Concern Specific Modelling Languages
Graduate
ACM Student Research Competition
Maximilian Schiedermeier
15:00 - 20:00
Session 2 - Posters
Posters
at
B-140 (Atrium)
15:00
5h
Poster
Teaching Modeling to Anyone the Aristotelian Way: Anyone can cook a sound model.
Posters
Michel Zam
15:00
5h
Poster
ORM Ontologies with Executable Derivation Rules to Support Semantic Search in Large-Scale Data Applications
Posters
Márton Búr
15:00
5h
Poster
Contract-based Product-Assembly Co-Design
Posters
Bert Van Acker
,
Joachim Denil
15:00
5h
Poster
A Lightweight Approach to the Concurrent Use and Integration of SysML and Formal Methods in Systems Design
Posters
Robert Thorburn
,
Asieh Salehi Fathabadi
15:00
5h
Poster
Incremental Causal Connection for Self-Adaptive Systems Based on Relational Reference Attribute Grammars
Posters
René Schöne
Technische Universität Dresden
,
Johannes Mey
Technische Universität Dresden
,
Sebastian Ebert
Technische Universität Dresden
,
Sebastian Götz
Technische Universität Dresden
15:00
5h
Poster
SimuV: Model-based Configuration Management for Simulink Models
Posters
Tien N. Nguyen
University of Texas at Dallas
15:00
5h
Poster
SYMBOLEO2SC: From Legal Contract Specifications to Smart Contracts
Posters
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
,
Amal Ahmed Anda
,
John Mylopoulos
15:00
5h
Poster
Modelling Program Verification Tools for Software Engineers
Posters
Sophie Lathouwers
University of Twente
,
Vadim Zaytsev
University of Twente, Netherlands
15:00
5h
Poster
Validating the Correctness of Reactive Systems Specifications Through Systematic Exploration
Posters
Dor Ma'ayan
Tel Aviv University
,
Shahar Maoz
Tel Aviv University, Israel
,
Roey Rozi
Tel Aviv University
Pre-print
15:00
5h
Poster
Modeling Tool for Managing Canvas-Based Models Traceability in ML System Development
Posters
Jati Hiliamsyah Husen
Waseda University
,
Hironori Washizaki
Waseda University
,
Hnin Thandar Tun
,
Nobukazu Yoshioka
Waseda University, Japan
17:30 - 20:00
WELCOME RECEPTION
MODELS
at
B-140 (Atrium)
17:30
2h30m
Social Event
WELCOME RECEPTION
MODELS
Link to publication
Thu 27 Oct
Displayed time zone:
Eastern Time (US & Canada)
change
10:00 - 17:00
Session 3 - Posters
Posters
at
B-140 (Atrium)
10:00
7h
Poster
SimuV: Model-based Configuration Management for Simulink Models
Posters
Tien N. Nguyen
University of Texas at Dallas
10:00
7h
Poster
A Lightweight Approach to the Concurrent Use and Integration of SysML and Formal Methods in Systems Design
Posters
Robert Thorburn
,
Asieh Salehi Fathabadi
10:00
7h
Poster
Teaching Modeling to Anyone the Aristotelian Way: Anyone can cook a sound model.
Posters
Michel Zam
10:00
7h
Poster
Modeling Tool for Managing Canvas-Based Models Traceability in ML System Development
Posters
Jati Hiliamsyah Husen
Waseda University
,
Hironori Washizaki
Waseda University
,
Hnin Thandar Tun
,
Nobukazu Yoshioka
Waseda University, Japan
10:00
7h
Poster
Modelling Program Verification Tools for Software Engineers
Posters
Sophie Lathouwers
University of Twente
,
Vadim Zaytsev
University of Twente, Netherlands
10:00
7h
Poster
ORM Ontologies with Executable Derivation Rules to Support Semantic Search in Large-Scale Data Applications
Posters
Márton Búr
10:00
7h
Poster
Contract-based Product-Assembly Co-Design
Posters
Bert Van Acker
,
Joachim Denil
10:00
7h
Poster
Validating the Correctness of Reactive Systems Specifications Through Systematic Exploration
Posters
Dor Ma'ayan
Tel Aviv University
,
Shahar Maoz
Tel Aviv University, Israel
,
Roey Rozi
Tel Aviv University
Pre-print
10:00
7h
Poster
Incremental Causal Connection for Self-Adaptive Systems Based on Relational Reference Attribute Grammars
Posters
René Schöne
Technische Universität Dresden
,
Johannes Mey
Technische Universität Dresden
,
Sebastian Ebert
Technische Universität Dresden
,
Sebastian Götz
Technische Universität Dresden
10:00
7h
Poster
SYMBOLEO2SC: From Legal Contract Specifications to Smart Contracts
Posters
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
,
Amal Ahmed Anda
,
John Mylopoulos
Fri 28 Oct
Displayed time zone:
Eastern Time (US & Canada)
change
15:30 - 17:00
CLOSING SOCIAL EVENT
MODELS
at
B-140 (Atrium)
15:30
90m
Social Event
CLOSING SOCIAL EVENT
MODELS
Wed 26 Oct
Displayed time zone:
Eastern Time (US & Canada)
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
18:00
30
19:00
30
B-140 (Atrium)
Posters
Session 1 - Posters
ACM Student Research Competition
SRC posters
Posters
Session 2 - Posters
MODELS
WELCOME RECEPTION
17:30 - 20:00
Thu 27 Oct
Displayed time zone:
Eastern Time (US & Canada)
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
B-140 (Atrium)
Posters
Session 3 - Posters
Fri 28 Oct
Displayed time zone:
Eastern Time (US & Canada)
change
Room
15:00
30
16:00
30
B-140 (Atrium)
MODELS
CLOSING SOCIAL EVENT
Wed 26 Oct
Displayed time zone:
Eastern Time (US & Canada)
change
Room
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
17:00
15
30
45
18:00
15
30
45
19:00
15
30
45
B-140 (Atrium)
MODELS Posters
SYMBOLEO2SC: From Legal Contract Specifications to Smart Contracts
10:00 - 13:30
ORM Ontologies with Executable Derivation Rules to Support Semantic Sea ...
10:00 - 13:30
Modeling Tool for Managing Canvas-Based Models Traceability in ML Syste ...
10:00 - 13:30
Contract-based Product-Assembly Co-Design
10:00 - 13:30
A Lightweight Approach to the Concurrent Use and Integration of SysML a ...
10:00 - 13:30
Teaching Modeling to Anyone the Aristotelian Way: Anyone can cook a sou ...
10:00 - 13:30
Validating the Correctness of Reactive Systems Specifications Through S ...
10:00 - 13:30
Incremental Causal Connection for Self-Adaptive Systems Based on Relati ...
10:00 - 13:30
Modelling Program Verification Tools for Software Engineers
10:00 - 13:30
SimuV: Model-based Configuration Management for Simulink Models
10:00 - 13:30
MODELS ACM Student Research Competition
Undergraduate
Solving the Instance Model-View Update Problem in AADL
13:30 - 15:00
Graduate
Automating the design of recommender systems: from foundational aspects ...
13:30 - 15:00
Graduate
Participatory Agent-Based Modelling in Healthcare – A Domain-Specific M ...
13:30 - 15:00
Graduate
The path towards the automatic provision of blended modeling environments
13:30 - 15:00
Graduate
How Alike are my Physical and Digital Twins?
13:30 - 15:00
Graduate
Domain-specific model differencing for graphical domain-specific languages
13:30 - 15:00
Graduate
Eat Your Own DevOps: A Model Driven Approach to Justify Continous Integ ...
13:30 - 15:00
Graduate
Automated, Traceable, and Interactive Domain Modelling
13:30 - 15:00
Graduate
Pushing the Boundaries of Planned Reuse with Concern Specific Modelling ...
13:30 - 15:00
MODELS Posters
Teaching Modeling to Anyone the Aristotelian Way: Anyone can cook a sou ...
15:00 - 20:00
ORM Ontologies with Executable Derivation Rules to Support Semantic Sea ...
15:00 - 20:00
Contract-based Product-Assembly Co-Design
15:00 - 20:00
A Lightweight Approach to the Concurrent Use and Integration of SysML a ...
15:00 - 20:00
Incremental Causal Connection for Self-Adaptive Systems Based on Relati ...
15:00 - 20:00
SimuV: Model-based Configuration Management for Simulink Models
15:00 - 20:00
SYMBOLEO2SC: From Legal Contract Specifications to Smart Contracts
15:00 - 20:00
Modelling Program Verification Tools for Software Engineers
15:00 - 20:00
Validating the Correctness of Reactive Systems Specifications Through S ...
15:00 - 20:00
Modeling Tool for Managing Canvas-Based Models Traceability in ML Syste ...
15:00 - 20:00
MODELS
WELCOME RECEPTION
17:30 - 20:00
Thu 27 Oct
Displayed time zone:
Eastern Time (US & Canada)
change
Room
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
B-140 (Atrium)
MODELS Posters
SimuV: Model-based Configuration Management for Simulink Models
10:00 - 17:00
A Lightweight Approach to the Concurrent Use and Integration of SysML a ...
10:00 - 17:00
Teaching Modeling to Anyone the Aristotelian Way: Anyone can cook a sou ...
10:00 - 17:00
Modeling Tool for Managing Canvas-Based Models Traceability in ML Syste ...
10:00 - 17:00
Modelling Program Verification Tools for Software Engineers
10:00 - 17:00
ORM Ontologies with Executable Derivation Rules to Support Semantic Sea ...
10:00 - 17:00
Contract-based Product-Assembly Co-Design
10:00 - 17:00
Validating the Correctness of Reactive Systems Specifications Through S ...
10:00 - 17:00
Incremental Causal Connection for Self-Adaptive Systems Based on Relati ...
10:00 - 17:00
SYMBOLEO2SC: From Legal Contract Specifications to Smart Contracts
10:00 - 17:00
Fri 28 Oct
Displayed time zone:
Eastern Time (US & Canada)
change
Room
15:00
15
30
45
16:00
15
30
45
B-140 (Atrium)
MODELS
CLOSING SOCIAL EVENT
15:30 - 17:00
x
Sat 27 Apr 03:59