Validating the Correctness of Reactive Systems Specifications Through Systematic Exploration (MODELS 2022 - Posters)

Who

Dor Ma'ayan, Shahar Maoz, Roey Rozi

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

Save

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

Abstract

See our MODELS’22 paper with the same title

Link to Preprint

http://smlab.cs.tau.ac.il/syntech/validate/

Dor Ma'ayan

Tel Aviv University

Israel

Shahar Maoz

Tel Aviv University, Israel

Israel

Roey Rozi

Tel Aviv University

Israel

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

Display full programSpecify a time band

Save

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