Automotive Safety Assurance Framework for Software-defined Controller: A System Theoretic Approach with Probabilistic ASIL Verification (Daehui Jeong), Dec, 2025. [Ph.D Dissertation]
Automotive Safety Engineering Strategy for Software-defined Steering Controller: A Model-based Approach with System Theoretic Perspective (Daehui Jeong, Gihwon Kwon), Nov, 2025. [KCI] [KSCI] [SCOPUS]
Probabilistic SIL Verification of a Synthesized Fault-tolerant Model for Reliable Safety Assessment (Daehui Jeong, Gihwon Kwon, Ryeonggu Kwon), Feb, 2025. [SCIE]
Model-based Safety Engineering Strategy based on System Theoretic for Software-defined Vehicles (Daehui Jeong), Nov, 2024.
Synthesizing Control Algorithm in GR(1) Specification for System Theoretic Hazard Analysis (Daehui Jeong, Jungwoo Park, et al.), Jun. 2022.
Student Friendly Git Flow Model for Supporting Scrum Development Process (Suhee Jo, Gihwon Kwon, Daehui Jeong), Jun. 2022.
A Case Study on the Development of Book Management System based on Educational Scrum Process (Jiyoung Chang, Gihwon Kwon, Daehui Jeong), Jun. 2022.
Lightweight Scrum Process for SW Development with University Students (Sohee Park, Gihwon Kwon, Daehui Jeong), Jun. 2022.
Risk Reduction Measures of Cybersecurity Through Cryptographic Key Management of Connected Car (Euiseok Ko, Sungin Park, et al.), Apr. 2022.
Comparison Result about Failure Rate According to Design of KooN Architecture based on IEC 61508 (Suhee Jo, Gihwon Kwon, Daehui Jeong), Apr. 2022.
Comparison Research about Techniques of Probabilistic Model Analyzing for SIL Verification (Jiyoung Chang, Gihwon Kwon, Daehui Jeong), Apr. 2022.
Effects Analysis about Affecting to Reliability and Safety with Uncertainty at Down Time of Failure (Sohee Park, Gihwon Kwon, Daehui Jeong), Apr. 2022.
Case Study of SIL Verification 2oo4 based on IEC 61508 (Jihoon Kim, Gihwon Kwon, Daehui Jeong), Apr. 2022.
Design Threat Analysis and Risk Assessment of Battery Management System (Wonngsub Park, Daehui Jeong, Hyuk Lee), Feb. 2022. [KCI] [KSCI]
System Theoretic Analysis and Reliability based Analysis for Preventing Accident of Software-intensive System (Daehui Jeong, Gihwon Kwon, et al.), Nov. 2021.
Hybrid Analysis Method for Analyzing Failure and Control Hazard in Railway System (Daehui Jeong), Dec. 2018. [Master Thesis]
Hybrid Hazard Analysis for Improving Safety of Railway System (Daehui Jeong, Gihwon Kwon), Nov. 2018. [KCI]
Risk Assessment at System Theoretic Safety Analysis for Safe Software-intensive System (Daehui Jeong, Gihwon Kwon), Feb. 2018.
An Extended Hierarchical Safety Analysis for Software-Intensive System (Daehui Jeong, Gihwon Kwon), Dec. 2017. [SCOPUS]
Failure Analysis in Safety Critical Systems Using Failure State Machine (Anit Thapaliya, Daehui Jeong, Gihwon Kwon), Dec. 2017. [SCOPUS]
A Case Study of Hierarchical Safety Analysis for Eliciting Traceable Safety Requirements (Daehui Jeong, Anit Thapaliya, Gihwon Kwon), May. 2017. [SCOPUS]
Developing Guidelines of Safety Analysis for Eliciting Safety Requirements and its Application (Daehui Jeong, Gihwon Kwon), Feb. 2017.
Comparison of CNF Encoding Algorithms: A Case Study (Daehui Jeong, Gihwon Kwon), Jun. 2016.
Synthesizing a Game Controller in GR(1) Specification: A Case Study (Haemin Im, Daehui Jeong, Gihwon Kwon), Jun. 2016.
Case Study on Utilizing with Model Checking (Daehui Jeong, Gihwon Kwon), Apr. 2016.