Modelling Program Verification Tools for Software Engineers (MODELS 2022 - Posters) - MODELS 2022

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

Who

Sophie Lathouwers, Vadim Zaytsev

Track

MODELS 2022 Posters

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

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 programSpecify a time band

When

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

Sophie Lathouwers

University of Twente

Netherlands

Vadim Zaytsev

University of Twente, Netherlands

Netherlands

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

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 programSpecify a time band

Session Program

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

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

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