Gihwon Kwon

Publication Activity (10 Years)

Years Active: 2000-2024
Publications (10 Years): 11

Top Topics

Safety Analysis

Top Venues

Inf. Softw. Technol.

Publications

Ryeonggu Kwon, Gihwon Kwon, Sohee Park, Jiyoung Chang, Suhee Jo
Applying Quantitative Model Checking to Analyze Safety in Reinforcement Learning. IEEE Access 12 (2024)
Suhee Jo, Ryeonggu Kwon, Gihwon Kwon
Exploring Collaboration Patterns in GitHub Using Discrete Time Markov Chain. APSEC (2023)
Faiza Sabir, Sarfaraz Ahmed, Gihwon Kwon
Failure Analysis of Vital Sign Monitoring System in Digital Healthcare with FTA. J. Multim. Inf. Syst. 10 (3) (2023)
Jiyoung Chang, Ryeonggu Kwon, Gihwon Kwon
Exploring Loss Scenarios of STPA with Reinforcement Learning: A Case Study of Platform Screen Door. APSEC (2023)
Ryeonggu Kwon, Gihwon Kwon
Safety Constraint-Guided Reinforcement Learning with Linear Temporal Logic. Syst. 11 (11) (2023)
Anit Thapaliya, Daehui Jeong, Gihwon Kwon
Failure Analysis in Safety Critical Systems Using Failure State Machine. CSA/CUTE (2017)
Anit Thapaliya, Gihwon Kwon
Reliability and Control Theory: An Integration Approach for Safety Analysis. CSA/CUTE (2017)
Tung La-Ngoc, Gihwon Kwon
Comparing the Effectiveness of SFMEA and STPA in Software-Intensive Railway Level Crossing System. CSA/CUTE (2017)
Daehui Jeong, Gihwon Kwon
An Extended Hierarchical Safety Analysis for Software-Intensive System. CSA/CUTE (2017)
Daehui Jeong, Anit Thapaliya, Gihwon Kwon
A Case Study of Hierarchical Safety Analysis for Eliciting Traceable Safety Requirements. MUE/FutureTech (2017)
Yann-Gaël Guéhéneuc, Gihwon Kwon, Pornsiri Muenchaisri
Guest editorial for the special section with the extensions to the best papers from APSEC'13 and APSEC'14. Inf. Softw. Technol. 74 (2016)
Ryoungkwo Kwon, Gihwon Kwon
Simulating Synthesized Automata from Decentralized Specifications in LTL. FCC (2014)
Sachoun Park, Gihwon Kwon
Formal Verification for Inter-Partitions Communication of RTOS Supporting IMA. FCC (2014)
Sunghae Kim, Gihwon Kwon
Simulation of Collaborative Multi-robots. ICHIT (2) (2012)
Sachoun Park, Gihwon Kwon
Applying Lightweight Formal Approach to Automatic Configuration Inspection. SEKE (2011)
Sachoun Park, Taeman Han, Hyoungju Lim, Gihwon Kwon
OCL Evaluation on AUTOSAR Model. SEKE (2010)
Sachoun Park, Taeman Han, Gihwon Kwon
Formal Verification of UML 2.0 Sequence Diagram. SEKE (2010)
Sachoun Park, Gihwon Kwon
Japanese Puzzle as a SAT Problem. SEKE (2008)
Sachoun Park, Gihwon Kwon
Using Boolean Cardinality Constraint for LTS Bounded Model Checking. SEKE (2008)
Sachoun Park, Gihwon Kwon
SAT based Verification Tool for Labeled Transition System. SERA (2007)
Taehoon Lee, Mintaek Cho, Gihwon Kwon
Using Bounded Model Checking with BOGOR. SERA (2007)
Taehoon Lee, Gihwon Kwon, Hyuksoo Han
CTL Model Checking for Boolean Program. ICCSA (4) (2006)
Sachoun Park, Gihwon Kwon
Avoidance of State Explosion Using Dependency Analysis in Model Checking Control Flow Model. ICCSA (5) (2006)
Gihwon Kwon
Relay Reachability Algorithm for Exploring Huge State Space. Electron. Notes Theor. Comput. Sci. 149 (2) (2006)
Sachoun Park, Gihwon Kwon
Verification of UML-Based Security Policy Model. ICCSA (3) (2005)
Sachoun Park, Gihwon Kwon, Soonhoi Ha
FSM Model and Its Verification. ICESS (2005)
Gihwon Kwon, Taehoon Lee
Solving Box-Pushing Games via Model Checking with Optimizations. ATVA (2004)
Gihwon Kwon
Formal Framework for Solving Box-Pushing Games. SNPD (2003)
Gihwon Kwon
Applying Model Checking Techniques to Game Solving. SERA (2003)
Gihwon Kwon
Game Modeling and its Optimizations. Modelling, Simulation, and Optimization (2003)
Gihwon Kwon
Rewrite rules and Operational Semantics for Model Checking UML Statecharts. UML (2000)