Assessing Safety of an Automated Vehicle Through Model-driven Analysis and Simulation (APSEC 2023 - SEIP - Software Engineering in Practice)

Who

Adedjouma Morayo, Fabien Gaudin, Philippe Fiani

Track

APSEC 2023 SEIP - Software Engineering in Practice

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

Save

When

Wed 6 Dec 2023 15:10 - 15:30 at Grand Hall 4 - Formal Aspects of Software Engineering (2) Chair(s): Jieung Kim

Adedjouma Morayo

CEA LIST

France

Fabien Gaudin

Sherpa Engineering

France

Philippe Fiani

Sherpa Engineering

France

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

Display full programSpecify a time band

Save

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