Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Gihwon Kwon
Observed names:
Gi-Hwon Kwon,
Gi-hwon Kwon,
Kwon, Gi-Hwon;
Observed institution:
Kyonggi University
ORCID:
0000-0002-8221-4939
Observed ORCID:
0000-0002-8221-4939
OpenAlex ID:
A5075396667
Rewrite Rules and Operational Semantics for Model Checking UML Statecharts
2000
·
Gihwon Kwon
·
Lecture notes in computer science
·
45
Avoidance of State Explosion Using Dependency Analysis in Model Checking Control Flow Model
2006
·
Sachoun Park
, Gihwon Kwon
·
Lecture notes in computer science
·
16
Risk Assessment for STPA with FMEA Technique
2019
·
Ngoc-Tung La
, Gihwon Kwon
·
Lecture notes in electrical engineering
·
7
Realization of Combined Systemic Safety Analysis of Adverse Train Control System Using Model Checking
2019
·
Anit Thapaliya
, Gihwon Kwon
·
Lecture notes in electrical engineering
·
7
Reliability and Control Theory: An Integration Approach for Safety Analysis
2017
·
Anit Thapaliya
, Gihwon Kwon
·
Lecture notes in electrical engineering
·
7
Safety Constraint-Guided Reinforcement Learning with Linear Temporal Logic
2023
·
Ryeonggu Kwon
, Gihwon Kwon
·
Systems
·
6
PDF
Comparing the Effectiveness of SFMEA and STPA in Software-Intensive Railway Level Crossing System
2017
·
Tung La-Ngoc
, Gihwon Kwon
·
Lecture notes in electrical engineering
·
5
Applying Quantitative Model Checking to Analyze Safety in Reinforcement Learning
2024
·
Ryeonggu Kwon
, Gihwon Kwon
, et al.
·
IEEE Access
·
4
PDF
Formal Verification of STPA with Model Checking
2023
·
Ryeonggu Kwon
, Gihwon Kwon
·
Scientific Journal of Gdynia Maritime University
·
4
PDF
Verification of UML-Based Security Policy Model
2005
·
Sachoun Park
, Gihwon Kwon
·
Lecture notes in computer science
·
4
Analyzing Key Features of Open Source Software Survivability with Random Forest
2025
·
Sohee Park
, Gihwon Kwon
·
Applied Sciences
·
3
PDF
STPA-RL: Integrating Reinforcement Learning into STPA for Loss Scenario Exploration
2024
·
Jiyoung Chang
, Ryeonggu Kwon
, et al.
·
Applied Sciences
·
3
PDF
Survivability Prediction of Open Source Software with Polynomial Regression
2024
·
Sohee Park
, Ryeonggu Kwon
, et al.
·
Applied Sciences
·
3
PDF
Probabilistic Model Checking GitHub Repositories for Software Project Analysis
2024
·
Suhee Jo
, Ryeonggu Kwon
, et al.
·
Applied Sciences
·
3
PDF
Safety Evaluation for Reinforcement Learning Model: Case Study of Autonomous Driving
2023
·
Suhee Jo
, Ryeonggu Kwon
, et al.
·
The Journal of Korean Institute of Information Technology
·
3
STPA-RL: Analyzing Loss Scenarios in STPA with Reinforcement Learning
2023
·
Jiyoung Chang
, Ryeonggu Kwon
, et al.
·
The Journal of Korean Institute of Information Technology
·
3
Failure Analysis in Safety Critical Systems Using Failure State Machine
2017
·
Anit Thapaliya
, Daehui Jeong
, et al.
·
Lecture notes in electrical engineering
·
3
Formal Verification for Inter-Partitions Communication of RTOS Supporting IMA
2014
·
Sachoun Park
, Gihwon Kwon
·
Lecture notes in electrical engineering
·
3
Optimization of State Clustering and Safety Verification in Deep Reinforcement Learning Using KMeans++ and Probabilistic Model Checking
2025
·
Ryeonggu Kwon
, Gihwon Kwon
·
IEEE Access
·
2
Analysis of Hyper-parameters in Solving Sokoban using Q-learning
2022
·
Jiyoung Chang
, Gihwon Kwon
·
The Journal of Korean Institute of Information Technology
·
2
Student-Friendly Scrum Framework for Undergraduate Education
2022
·
Suhee Jo
, Sohee Park
, et al.
·
The Journal of Korean Institute of Information Technology
·
2
Identifying Causes of an Accident in STPA Using the Scenario Table
2019
·
Hyunsoo Yang
, Gihwon Kwon
·
Journal of KIISE
·
2
Quantitative Verification of Safety Integrity Level in IEC 61508
2018
·
Gihwon Kwon
·
The Journal of Korean Institute of Information Technology
·
2
A Case Study of Hierarchical Safety Analysis for Eliciting Traceable Safety Requirements
2017
·
Daehui Jeong
, Anit Thapaliya
, et al.
·
Lecture notes in electrical engineering
·
2
Simulation of Collaborative Multi-robots
2012
·
Sunghae Kim
, Gihwon Kwon
·
Communications in computer and information science
·
2
Show more works
View as search
Works count:
77
Citation count:
154
H-index:
6
I10-index:
2
Year
Topic
Type
