Publications

International Journal

• Sejin Jung, Yoona Heo, Junbeom Yoo, "A Formal Approach to Support the Identification of Unsafe Control Actions of STPA for Nuclear Projection Systems," Nuclear Engineering and Technology, Vol.54, No.5, pp.1635-1643, May. 2022. (paper)
• Yoona Heo, Sejin Jung, Eui-Sub Kim, Junbeom Yoo, "CVEC: A customized VIS-based equivalence checker for verifying commercial field-programmable gate array synthesis software in small modular reactors," Annals of Nuclear Energy, Vol.220, No.15, pp.111484, Sept. 2025. (paper)

International Conference

• Yoona Heo, "An Approach for Safety Testing of Cooperative Cyber-Physical Systems Using STPA and Quality Attribute Scenarios," The 30th Asia-Pacific Software Engineering Conference (APSEC) Student Research Competition (SRC), Grand Walkerhill Seoul, Seoul, Korea, 12.04~12.07, 2023. (paper (extended abstract), poster, awards)

Domestic Journal

• 허윤아, 정세진, 유준범, "멀티 인스턴스를 갖는 가상물리시스템의 통합 테스트를 위한 테스트 환경 개발," 한국정보과학회논문지, vol. 51, no. 5, pp. 414-425, 2024. (paper)

Domestic Conference

• 허윤아, 이동아, 유준범, "STPA-Sec을 활용한 UAV의 보안 및 안전 요구사항 분석", 2020 한국소프트웨어종합학술대회 (KSC 2020), pp.183-185, 온라인 개최, 12.21~12.23, 2020. (paper, ppt)
• 허윤아, 정세진, 유준범, "NuSTPA 2.0: A Tool to Perform the STPA Using NuSCR Formal Specification (NuSCR 정형명세 언어를 사용하는 STPA 지원 도구 개발)", 2021 한국소프트웨어종합학술대회 (KSC 2021), pp.206-208, 평창 휘닉스파크, 12.20~12.22, 2021. (Paper, ppt)
• 허윤아, 유준범, "STPA-Sec의 적용을 통한 차세대 지능형 교통 시스템의 안전 및 보안 요구사항 도출 사례연구", 한국ITS학회 2022년도 추계학술대회, pp.70, 제주한라대학교 한라컨벤션센터, 11.03~11.04, 2022. (abstract, Paper, ppt)
• 허윤아, "Statecharts를 활용한 자율 주행 레벨 3 차량의 제어 로직 모델링 및 검증", 한국ITS학회 2023년도 추계학술대회, pp.325-328, 제주한라대학교 한라컨벤션센터, 11.16~11.18, 2023. (abstract, Paper, ppt)
• 허윤아, 유준범 "STPA를 활용한 협업 가상물리시스템의 안전성 테스트 케이스 생성", 2024 한국 소프트웨어공학 학술대회 (KCSE 2024), pp.38-46, 한화리조트 평창, 01.31~02.02, 2024. (Paper, ppt)
• 이영규, 김대원, 허윤아, 유준범 "안전 중요 분야에서 FPGA 기반 시스템의 확인 및 검증과 위험 분석에 관한 조사 연구", 2025 한국 소프트웨어공학 학술대회 (KCSE 2025), pp.62-70, 한화리조트 평창, 01.20~01.22, 2025. (Paper, ppt)