Model-based ideal testing of hardware description language (HDL) programs (MODELS 2022 - Journal-first) - MODELS 2022

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

Who

Onur Kilincceker, Ercument Turk, Fevzi Belli, Moharram Challenger

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

When

Thu 27 Oct 2022 10:52 - 11:15 at A-4502.1 - Validation & Verification II Chair(s): Øystein Haugen

Link to Publication

https://doi.org/10.1007/s10270-021-00934-6

Onur Kilincceker

Ercument Turk

Fevzi Belli

Paderborn University, Germany

Germany

Moharram Challenger

University of Antwerp

Belgium

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

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