연구실 목록
유준범 교수 연구실
Dependable Software Lab
건국대학교 · 컴퓨터공학과
정보 출처아직 확인되지 않음
교수 소개
유준범 교수
교수 홈페이지·논문소개
유준범 교수 연구실(Dependable Software Lab)은 건국대 컴퓨터공학과 소속으로, 안전필수 시스템을 위한 소프트웨어 공학을 연구한다. 안전성 분석, 정형 모델링·검증, 요구공학과 추적성 분석을 주제로 한다.
연구 키워드
Software Engineering
최근 논문
OpenAlex 기준 · 저자 소속이 이 대학으로 확인된 논문이에요
대표 논문
- 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
비슷한 연구를 하는 다른 연구실
이 연구실의 최근 논문과 주제가 겹치는 논문을 최근에 낸 연구실이에요
겹치는 주제: Risk and Safety Analysis
마병철 교수 연구실
전남대학교 · 화학공학과
Methodology for safety management priority zone establishment in hydrogen handling facilities based on uncertainty accident scenariosInternational Journal of Hydrogen Energy · 8월 1일Tiantian Chen 교수 연구실
한국과학기술원 · 조천식모빌리티대학원
Why low-altitude aviation accidents become fatal: Evidence from U.S. National Transportation Safety Board FindingsAccident Analysis & Prevention · 8월 17일
같은 학과의 다른 연구실
- 김기천 교수 연구실
Computer Communications and Mobile Computing
- 김두현 교수 연구실
Embedded & Intelligent Computing
- 김욱희 교수 연구실
Database Systems, Storage Systems
- 김은이 교수 연구실
인공지능, 컴퓨터비전
- 김학수 교수 연구실
Natural Language Processing
- 김형석 교수 연구실
Real-time graphics and virtual world systems