| 2023 | APSEC | Exploring Loss Scenarios of STPA with Reinforcement Learning: A Case Study of Platform Screen Door. | Jiyoung Chang, Ryeonggu Kwon, Gihwon Kwon |
| 2023 | APSEC | Exploring Collaboration Patterns in GitHub Using Discrete Time Markov Chain. | Suhee Jo, Ryeonggu Kwon, Gihwon Kwon |
| 2011 | SEKE | Applying Lightweight Formal Approach to Automatic Configuration Inspection. | Sachoun Park, Gihwon Kwon |
| 2010 | SEKE | Formal Verification of UML 2.0 Sequence Diagram. | Sachoun Park, Taeman Han, Gihwon Kwon |
| 2010 | SEKE | OCL Evaluation on AUTOSAR Model. | Sachoun Park, Taeman Han, Hyoungju Lim, Gihwon Kwon |
| 2008 | SEKE | Using Boolean Cardinality Constraint for LTS Bounded Model Checking. | Sachoun Park, Gihwon Kwon |
| 2008 | SEKE | Japanese Puzzle as a SAT Problem. | Sachoun Park, Gihwon Kwon |
| 2007 | SERA | Using Bounded Model Checking with BOGOR. | Taehoon Lee, Mintaek Cho, Gihwon Kwon |
| 2007 | SERA | SAT based Verification Tool for Labeled Transition System. | Sachoun Park, Gihwon Kwon |
| 2006 | ICCSA | CTL Model Checking for Boolean Program. | Taehoon Lee, Gihwon Kwon, Hyuksoo Han |
| 2006 | ICCSA | Avoidance of State Explosion Using Dependency Analysis in Model Checking Control Flow Model. | Sachoun Park, Gihwon Kwon |
| 2005 | ICCSA | Verification of UML-Based Security Policy Model. | Sachoun Park, Gihwon Kwon |
| 2004 | ATVA | Solving Box-Pushing Games via Model Checking with Optimizations. | Gihwon Kwon, Taehoon Lee |
| 2003 | SNPD | Formal Framework for Solving Box-Pushing Games. | Gihwon Kwon |
| 2003 | SERA | Applying Model Checking Techniques to Game Solving. | Gihwon Kwon |