Gihwon Kwon

According to our database, Gihwon Kwon authored at least 31 papers between 2000 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Applying Quantitative Model Checking to Analyze Safety in Reinforcement Learning.

Ryeonggu Kwon, Gihwon Kwon, Sohee Park, Jiyoung Chang, Suhee Jo

IEEE Access, 2024

2023

Safety Constraint-Guided Reinforcement Learning with Linear Temporal Logic.

Ryeonggu Kwon, Gihwon Kwon

Syst., November, 2023

Failure Analysis of Vital Sign Monitoring System in Digital Healthcare with FTA.

Faiza Sabir, Sarfaraz Ahmed, Gihwon Kwon

J. Multim. Inf. Syst., September, 2023

Exploring Collaboration Patterns in GitHub Using Discrete Time Markov Chain.

Suhee Jo, Ryeonggu Kwon, Gihwon Kwon

Proceedings of the 30th Asia-Pacific Software Engineering Conference, 2023

Exploring Loss Scenarios of STPA with Reinforcement Learning: A Case Study of Platform Screen Door.

Jiyoung Chang, Ryeonggu Kwon, Gihwon Kwon

Proceedings of the 30th Asia-Pacific Software Engineering Conference, 2023

2017

A Case Study of Hierarchical Safety Analysis for Eliciting Traceable Safety Requirements.

Daehui Jeong, Anit Thapaliya, Gihwon Kwon

Proceedings of the Advanced Multimedia and Ubiquitous Engineering, 2017

Reliability and Control Theory: An Integration Approach for Safety Analysis.

Anit Thapaliya, Gihwon Kwon

Proceedings of the Advances in Computer Science and Ubiquitous Computing, 2017

Failure Analysis in Safety Critical Systems Using Failure State Machine.

Anit Thapaliya, Daehui Jeong, Gihwon Kwon

Proceedings of the Advances in Computer Science and Ubiquitous Computing, 2017

Comparing the Effectiveness of SFMEA and STPA in Software-Intensive Railway Level Crossing System.

Tung La-Ngoc, Gihwon Kwon

Proceedings of the Advances in Computer Science and Ubiquitous Computing, 2017

An Extended Hierarchical Safety Analysis for Software-Intensive System.

Daehui Jeong, Gihwon Kwon

Proceedings of the Advances in Computer Science and Ubiquitous Computing, 2017

2016

Guest editorial for the special section with the extensions to the best papers from APSEC'13 and APSEC'14.

Yann-Gaël Guéhéneuc, Gihwon Kwon, Pornsiri Muenchaisri

Inf. Softw. Technol., 2016

2014

Formal Verification for Inter-Partitions Communication of RTOS Supporting IMA.

Sachoun Park, Gihwon Kwon

Proceedings of the Frontier and Innovation in Future Computing and Communications, 2014

Simulating Synthesized Automata from Decentralized Specifications in LTL.

Ryoungkwo Kwon, Gihwon Kwon

Proceedings of the Frontier and Innovation in Future Computing and Communications, 2014

2012

Simulation of Collaborative Multi-robots.

Sunghae Kim, Gihwon Kwon

Proceedings of the Convergence and Hybrid Information Technology, 2012

2011

Applying Lightweight Formal Approach to Automatic Configuration Inspection.

Sachoun Park, Gihwon Kwon

Proceedings of the 23rd International Conference on Software Engineering & Knowledge Engineering (SEKE'2011), 2011

2010

OCL Evaluation on AUTOSAR Model.

Sachoun Park, Taeman Han, Hyoungju Lim, Gihwon Kwon

Proceedings of the 22nd International Conference on Software Engineering & Knowledge Engineering (SEKE'2010), Redwood City, San Francisco Bay, CA, USA, July 1, 2010

Formal Verification of UML 2.0 Sequence Diagram.

Sachoun Park, Taeman Han, Gihwon Kwon

Proceedings of the 22nd International Conference on Software Engineering & Knowledge Engineering (SEKE'2010), Redwood City, San Francisco Bay, CA, USA, July 1, 2010

2008

Japanese Puzzle as a SAT Problem.

Sachoun Park, Gihwon Kwon

Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), 2008

Using Boolean Cardinality Constraint for LTS Bounded Model Checking.

Sachoun Park, Gihwon Kwon

Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), 2008

2007

SAT based Verification Tool for Labeled Transition System.

Sachoun Park, Gihwon Kwon

Proceedings of the 5th ACIS International Conference on Software Engineering Research, 2007

Using Bounded Model Checking with BOGOR.

Taehoon Lee, Mintaek Cho, Gihwon Kwon

Proceedings of the 5th ACIS International Conference on Software Engineering Research, 2007

2006

Avoidance of State Explosion Using Dependency Analysis in Model Checking Control Flow Model.

Sachoun Park, Gihwon Kwon

Proceedings of the Computational Science and Its Applications, 2006

CTL Model Checking for Boolean Program.

Taehoon Lee, Gihwon Kwon, Hyuksoo Han

Proceedings of the Computational Science and Its Applications, 2006

2005

Relay Reachability Algorithm for Exploring Huge State Space.

Gihwon Kwon

Proceedings of the Third Workshop on Model Checking and Artificial Intelligence, 2005

Formalization of <i>f</i>FSM Model and Its Verification.

Sachoun Park, Gihwon Kwon, Soonhoi Ha

Proceedings of the Embedded Software and Systems, Second International Conference, 2005

Verification of UML-Based Security Policy Model.

Sachoun Park, Gihwon Kwon

Proceedings of the Computational Science and Its Applications, 2005

2004

Solving Box-Pushing Games via Model Checking with Optimizations.

Gihwon Kwon, Taehoon Lee

Proceedings of the Automated Technology for Verification and Analysis: Second International Conference, 2004

2003

Formal Framework for Solving Box-Pushing Games.

Gihwon Kwon

Proceedings of the ACIS Fourth International Conference on Software Engineering, 2003

Applying Model Checking Techniques to Game Solving.

Gihwon Kwon

Proceedings of the Software Engineering Research and Applications, 2003

Game Modeling and its Optimizations.

Gihwon Kwon

Proceedings of the IASTED International Conference on Modelling, Simulation and Optimization, 2003

2000

Rewrite rules and Operational Semantics for Model Checking UML Statecharts.

Gihwon Kwon

Proceedings of the «UML» 2000, 2000