Probabilistic modelling and verification using RoboChart and PRISM (MODELS 2022 - Journal-first)

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

Who

Kangfeng Ye, Ana Cavalcanti, Simon Foster, Alvaro Miyazawa, Jim Woodcock

Track

MODELS 2022 Journal-first

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

Thu 27 Oct 2022 11:37 - 12:00 at A-4502.1 - Validation & Verification II Chair(s): Øystein Haugen

Link to Publication

https://doi.org/10.1007/s10270-021-00916-8

Kangfeng Ye

University of York, UK

United Kingdom

Ana Cavalcanti

University of York

United Kingdom

Simon Foster

University of York

United Kingdom

Alvaro Miyazawa

Jim Woodcock

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

Thu 27 Oct
Displayed time zone: Eastern Time (US & Canada) change

10:30 - 12:00	Validation & Verification IITechnical Track / Journal-first at A-4502.1 Chair(s): Øystein Haugen Østfold University College

10:30 22m Talk		A Domain-Specific Language for Simulation-Based Testing of IoT Edge-to-Cloud SolutionsP&I Technical Track Jia Li University of Ottawa, Shiva Nejati University of Ottawa, Mehrdad Sabetzadeh University of Ottawa, Michael McCallen Cheetah Networks
10:52 22m Talk		Model-based ideal testing of hardware description language (HDL) programsJ1st Journal-first Onur Kilincceker , Ercument Turk , Fevzi Belli Paderborn University, Germany, Moharram Challenger University of Antwerp Link to publication
11:15 22m Talk		Validating the Correctness of Reactive Systems Specifications Through Systematic ExplorationFT Technical Track Dor Ma'ayan Tel Aviv University, Shahar Maoz Tel Aviv University, Israel, Roey Rozi Tel Aviv University Pre-print
11:37 22m Talk		Probabilistic modelling and verification using RoboChart and PRISMJ1st Journal-first Kangfeng Ye University of York, UK, Ana Cavalcanti University of York, Simon Foster University of York, Alvaro Miyazawa , Jim Woodcock Link to publication