MODELS 2022
Sun 23 - Fri 28 October 2022 Montréal, Canada
VenueUniversity of Montreal
Room nameB-140 (Atrium)
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

Wed 26 Oct

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

10:00 - 13:30
Session 1 - PostersPosters 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
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 Tun , Nobukazu Yoshioka Waseda University, Japan
10:00
3h30m
Poster
Contract-based Product-Assembly Co-Design
Posters
10:00
3h30m
Poster
A Lightweight Approach to the Concurrent Use and Integration of SysML and Formal Methods in Systems Design
Posters
10:00
3h30m
Poster
Teaching Modeling to Anyone the Aristotelian Way: Anyone can cook a sound model.
Posters
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
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 developmentGraduate
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 ApproachGraduate
ACM Student Research Competition
13:30
90m
Poster
The path towards the automatic provision of blended modeling environmentsGraduate
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
13:30
90m
Poster
Domain-specific model differencing for graphical domain-specific languagesGraduate
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 PipelinesGraduate
ACM Student Research Competition
Corinne Pulgar École de Technologie Supérieure (ETS)
13:30
90m
Poster
Automated, Traceable, and Interactive Domain ModellingGraduate
ACM Student Research Competition
Rijul Saini McGill University, Canada
13:30
90m
Poster
Pushing the Boundaries of Planned Reuse with Concern Specific Modelling LanguagesGraduate
ACM Student Research Competition
15:00 - 20:00
Session 2 - PostersPosters at B-140 (Atrium)
15:00
5h
Poster
Teaching Modeling to Anyone the Aristotelian Way: Anyone can cook a sound model.
Posters
15:00
5h
Poster
ORM Ontologies with Executable Derivation Rules to Support Semantic Search in Large-Scale Data Applications
Posters
15:00
5h
Poster
Contract-based Product-Assembly Co-Design
Posters
15:00
5h
Poster
A Lightweight Approach to the Concurrent Use and Integration of SysML and Formal Methods in Systems Design
Posters
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 Tun , Nobukazu Yoshioka Waseda University, Japan
17:30 - 20:00
WELCOME RECEPTIONMODELS 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 - PostersPosters 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
10:00
7h
Poster
Teaching Modeling to Anyone the Aristotelian Way: Anyone can cook a sound model.
Posters
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 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
10:00
7h
Poster
Contract-based Product-Assembly Co-Design
Posters
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 EVENTMODELS at B-140 (Atrium)
15:30
90m
Social Event
CLOSING SOCIAL EVENT
MODELS

Wed 26 Oct

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

Thu 27 Oct

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

Room10:003011:003012:003013:003014:003015:003016:0030
B-140 (Atrium)

Fri 28 Oct

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

Wed 26 Oct

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

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:00153045
B-140 (Atrium)

Fri 28 Oct

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

Room15:0015304516:00153045
B-140 (Atrium)