MODELS 2022
Sun 23 - Fri 28 October 2022 Montréal, Canada
Wed 26 Oct 2022 10:00 - 13:30 at B-140 (Atrium) - Session 1 - Posters
Wed 26 Oct 2022 15:00 - 20:00 at B-140 (Atrium) - Session 2 - Posters
Thu 27 Oct 2022 10:00 - 17:00 at B-140 (Atrium) - Session 3 - Posters

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 Thandar 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
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 Thandar Tun , Nobukazu Yoshioka Waseda University, Japan

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 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
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