Dependable Software Lab
Dependable Software Lab
Konkuk University · Computer Science and Engineering
Professor
Prof. 유준범
Professor's page · publicationsAbout
유준범 교수 연구실(Dependable Software Lab)은 건국대 컴퓨터공학과 소속으로, 안전필수 시스템을 위한 소프트웨어 공학을 연구한다. 안전성 분석, 정형 모델링·검증, 요구공학과 추적성 분석을 주제로 한다.
Research keywords
Recent papers
From OpenAlex · papers whose author affiliation matches this university
Selected publications
- A systematic co-engineering of safety and security analysis in requirements engineering processInternational Journal of Critical Infrastructure Protection · 2023
- Unfolding Hidden Structures in Cyber-Physical Systems for Thorough STPA AnalysisIEICE Transactions on Information and Systems · 2022
- An Approach for Hazard Analysis of Multiple-Cooperative Systems Considering Dynamic Configuration UncertaintyAPSEC 2022 (Asia-Pacific Software Engineering Conference) · 2022
- An Empirical Evaluation of Coverage Criteria for FBD Simulation Using Mutation AnalysisIEICE Transactions on Information and Systems · 2021
- A practical application of NUREG/CR-6430 software safety hazard analysis to FPGA softwareReliability Engineering & System Safety · 2020
- A Software Fault Tree Analysis Technique for Formal Requirement Specifications of Nuclear Reactor Protection SystemsReliability Engineering & System Safety · 2020
Labs doing related research
Labs that recently published on topics this lab's recent papers share
Shared topic: Risk and Safety Analysis
Chemical Process Safety System Lab
Chonnam National University · Chemical Engineering
Methodology for safety management priority zone establishment in hydrogen handling facilities based on uncertainty accident scenariosInternational Journal of Hydrogen Energy · Aug 1Tiantian (Nicole) Chen
KAIST · Cho Chun Shik Graduate School of Mobility
Why low-altitude aviation accidents become fatal: Evidence from U.S. National Transportation Safety Board FindingsAccident Analysis & Prevention · Aug 17
Other labs in this department
- Intelligent Network & Security Lab
Keecheon Kim
Computer Communications and Mobile Computing
- IoT Intelligence Lab
Doo Hyun Kim
Embedded & Intelligent Computing
- Data Centric Computing Lab
Wookhee Kim
Database Systems, Storage Systems
- AI & Computer Vision Lab
Eun Yi Kim
인공지능, 컴퓨터비전
- Natural Language Processing Lab
Harksoo Kim
Natural Language Processing
- Virtual Reality Lab
HyungSeok Kim
Real-time graphics and virtual world systems