Specification and Automated Verification of Atomic Concurrent Real-Time Transactions (MODELS 2020 - Technical Track) - MODELS 2020

Write a Blog >>

Fri 16 - Fri 23 October 2020

Who

Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu

Track

MODELS 2020 Technical Track

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

Fri 23 Oct 2020 11:15 - 11:30 at Room B - B6-Verification, Testing and Execution Chair(s): Daniel Strüber

Simin Cai

Barbara Gallina

Mälardalen University

Sweden

Dag Nyström

Cristina Seceleanu

Mälardalen University

Sweden

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

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

	11:00 - 12:15	B6-Verification, Testing and ExecutionTechnical Track at Room B Chair(s): Daniel Strüber Radboud University Nijmegen

	11:00 15m Short-paper		SceML - A Graphical Modeling Framework for Scenario-based Testing of Autonomous VehiclesNIV Technical Track Barbara Schütt , Thilo Braun , Eric Sax
	11:15 15m Talk		Specification and Automated Verification of Atomic Concurrent Real-Time TransactionsJ1st Technical Track Simin Cai , Barbara Gallina Mälardalen University, Dag Nyström , Cristina Seceleanu Mälardalen University
	11:30 15m Talk		An improved approach on the model checking for an agent-based simulation systemJ1st Technical Track Yinling Liu , tao wang , Haiqing Zhang , Vincent Cheutet DOI
	11:45 15m Demonstration		Enhancing Development and Consistency of UML Models and Model Executions with USE Studio Demo Technical Track Marcel Schäfer , Martin Gogolla