APSEC 2023
Mon 4 - Thu 7 December 2023 Seoul, South Korea
Wed 6 Dec 2023 15:10 - 15:30 at Grand Hall 4 - Formal Aspects of Software Engineering (2) Chair(s): Jieung Kim

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