MODELS 2022
Sun 23 - Fri 28 October 2022 Montréal, Canada

About


The MODELS 2022 posters track provides an opportunity for researchers and practitioners to present and discuss their most recent achievements, practical experiences, novel ideas, tools, and challenges related to model-based software and systems engineering. As the premier conference in this area, MODELS provides an excellent environment for discussing your recent results, communicating about your research, receiving constructive feedback, and making new contacts within the model-based software and systems engineering community.

Topics

Posters are expected to stimulate discussions of recent advances, practical experiences, new ideas, tools, and challenges in the field of model-based software and systems engineering. We also welcome posters presenting early work (e.g., starting PhD work), visions for the future, current initiatives, and work on modeling education. The list of topics relevant for Posters is the same as for the main track at MODELS. Please refer to the call for papers of the main conference track.

Furthermore, we particularly welcome submissions related to this year’s theme: Modeling for social good.

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

Submission Guidelines


The MODELS conference distinguishes two types of poster submissions: a) stand-alone poster submissions, and b) paper-accompanying poster submissions.

A) Stand-Alone Poster Submissions

Stand-alone poster submissions present novel contributions in the field of model-based software and systems engineering which have not been accepted at the MODELS 2022 technical or industrial tracks, or any of the MODELS 2022 satellite events/workshops. Note that a contribution which has been rejected from these tracks/satellite events/workshops is welcome to be presented as a poster.

These submissions consist of two parts:

  1. An extended abstract of the presented contribution including the following contents:
    • Title
    • Author(s) and affiliation(s)
    • Motivation and goals
    • Background information if needed to understand the contribution
    • Adequate detail on the contribution
    • Related work
    • Links to additional information (e.g., project website, source code repository, demo material, etc.)
    • The extended abstract must obey the ACM formatting instructions and is restricted to two pages, including references.
  2. A draft of the poster detailing the contribution.

Formatting instructions are available here for both LaTeX and Word users. LaTeX users must use the provided acmart.cls and ACM-Reference-Format.bst without modification, enable the conference format in the preamble of the document (i.e., \documentclass[sigconf,review]{acmart}), and use the ACM reference format for the bibliography (i.e., \bibliographystyle{ACM-Reference-Format}).

Word users make sure you are using Times New Roman on the body of your text, author information, and section titles; and using Helvetica on the paper title.

Both the extended abstract and the poster have to be written in English and submitted in PDF format.

B) Poster Submissions for Papers Accepted at MODELS and Co-located Events

These poster submissions are directly related to papers accepted at the MODELS 2022 technical or industrial tracks, or any MODELS 2022 satellite events/workshops. Note that contributions accepted at the MODELS tools and demo track cannot be submitted to the posters track.

The aim of such posters is to further disseminate the contribution, to receive additional feedback, and communicate further about the presented work in more informal settings as Q/A time is limited during the contribution’s main presentation time. This category of poster submission consists of 1) a draft of the poster to be presented (in PDF), b) the accepted paper (in PDF), and c) the track/event name the paper was accepted to. An extended abstract is not required.

Poster Format and Printing

The final posters have to be in A1 (594mm x 841mm) or A0 (841mm x 1189mm) portrait format. The article Research posters 101 by Lorrie Faith Cranor published in ACM Crossroads provides excellent tips on preparing successful posters.

We are looking at ways to have the posters printed in Montreal directly, to avoid transportation costs and related hassle that authors may face. Authors of accepted posters will be provided with further instructions.

Submission Guidelines

All poster submissions have to be submitted electronically in the PDF format at the MODELS 2022 Poster track submission page: EasyChair

For stand-alone poster submissions, the extended abstract and the draft poster have to be submitted in separate PDF files. Also, a short abstract summarizing the contributions of the poster and at least three keywords have to be provided with the submission.

For paper-accompanying poster submissions, the draft poster and the corresponding accepted paper have to be submitted. Also, please provide a short abstract including the name of the track/event where the accepted paper will be presented and at least three keywords.

Reviewing Process

The main evaluation criteria for stand-alone poster submissions are the quality of the proposed poster in terms of originality, relevance for the MODELS audience, technical soundness, and presentation quality. Each stand-alone poster submission will be reviewed by at least two members of the poster selection committee.

The main evaluation criterion for paper-accompanying poster submissions is the presentation quality.

Publication

The extended abstracts of accepted stand-alone poster submissions will be published in a joint proceedings encompassing all MODELS 2022 Satellite Events in the ACM Digital Library. The actual posters will not be published. Accepted paper-accompanying poster submissions will not be published.

Poster Presentation

At least one of the authors of each accepted poster must attend the poster session to present and discuss their work with attendees. Failure to do so may result in the extended abstract to be removed from the ACM Digital Library.