conf.researchr.org / Eun-Young Kang
Registered user since Tue 29 Jan 2019
Name:Eun-Young Kang
Country:Denmark
Affiliation:University of Southern Denmark
Personal website: https://sites.google.com/view/eykang
Research interests:Model checking, software quality assurance, cyber-physical systems, real-time embedded systems, safety & security
Contributions
2023
APSEC
- Author of Towards Formal Verification of Behaviour-Driven Development Scenarios using Timed Automata within the ERA - Early Research Achievements-track
- Session Chair of Formal Aspects of Software Engineering (1) (part of Technical Track)
- Author of Towards safety assessment of robot behaviors in SMACH within the ERA - Early Research Achievements-track