Towards Formal Verification of Behaviour-Driven Development Scenarios using Timed Automata (APSEC 2023 - ERA - Early Research Achievements) - APSEC 2023

Mon 4 - Thu 7 December 2023 Seoul, South Korea

Who

Eun-Young Kang, Thiago Rocha Silva

Track

APSEC 2023 ERA - Early Research Achievements

Time Zone

The program is currently displayed in (GMT+09:00) Seoul.

Use conference time zone: (GMT+09:00) SeoulSelect 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 6 Dec 2023 14:30 - 14:50 at Grand Hall 4 - Formal Aspects of Software Engineering (2) Chair(s): Jieung Kim

Eun-Young Kang

University of Southern Denmark

Denmark

Thiago Rocha Silva

The Maersk Mc-Kinney Moller Institute, University of Southern Denmark

Denmark

Time Zone

The program is currently displayed in (GMT+09:00) Seoul.

Use conference time zone: (GMT+09:00) SeoulSelect 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 6 Dec
Displayed time zone: Seoul change

	14:00 - 15:30	Formal Aspects of Software Engineering (2)Technical Track / ERA - Early Research Achievements / SEIP - Software Engineering in Practice at Grand Hall 4 Chair(s): Jieung Kim Inha University

	14:00 30m Talk		Family-based Model Checking using Probabilistic Model Checker PRISM Technical Track Tomoji Kishi Waseda University
	14:30 20m Talk		Towards Formal Verification of Behaviour-Driven Development Scenarios using Timed Automata ERA - Early Research Achievements Eun-Young Kang University of Southern Denmark, Thiago Rocha Silva The Maersk Mc-Kinney Moller Institute, University of Southern Denmark
	14:50 20m Talk		Towards safety assessment of robot behaviors in SMACH ERA - Early Research Achievements Miguel Campusano University of Southern Denmark, Eun-Young Kang University of Southern Denmark
	15:10 20m Talk		Assessing Safety of an Automated Vehicle Through Model-driven Analysis and Simulation SEIP - Software Engineering in Practice Adedjouma Morayo CEA LIST, Fabien Gaudin Sherpa Engineering, Philippe Fiani Sherpa Engineering