Publications

International Journal

• Sejin Jung, Yoona Heo, and 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)

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. (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)