Gihwon Kwon - RankMe

38 papers A* 1B 1C 11Journal 8Unranked 15

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	CAMP: Counterexamples, Abstraction, MDPs, and Policy Refinement for Enhancing Safety, Stability, and Rewards in Reinforcement Learning. IEEE Access Ryeonggu Kwon, Gihwon Kwon
2025	J	`jnl`	Optimization of State Clustering and Safety Verification in Deep Reinforcement Learning Using KMeans++ and Probabilistic Model Checking. IEEE Access Ryeonggu Kwon, Gihwon Kwon
2025	J	`jnl`	Probabilistic SIL Verification of a Synthesized Fault-Tolerant Model for Reliable Safety Assessment. IEEE Access Daehui Jeong, Gihwon Kwon, Ryeonggu Kwon
2024	J	`jnl`	Applying Quantitative Model Checking to Analyze Safety in Reinforcement Learning. IEEE Access Ryeonggu Kwon, Gihwon Kwon, Sohee Park, Jiyoung Chang, Suhee Jo
2024	A*	`conf`	Assessing Open Source Software Survivability using Kaplan-Meier Survival Function and Polynomial Regression. ASE Sohee Park, Ryeonggu Kwon, Gihwon Kwon
2024	J	`jnl`	Safety Verification of Non-Deterministic Policies in Reinforcement Learning. IEEE Access Ryeonggu Kwon, Gihwon Kwon
2023	C	`conf`	Exploring Collaboration Patterns in GitHub Using Discrete Time Markov Chain. APSEC Suhee Jo, Ryeonggu Kwon, Gihwon Kwon
2023	C	`conf`	Exploring Loss Scenarios of STPA with Reinforcement Learning: A Case Study of Platform Screen Door. APSEC Jiyoung Chang, Ryeonggu Kwon, Gihwon Kwon
2023	J	`jnl`	Failure Analysis of Vital Sign Monitoring System in Digital Healthcare with FTA. J. Multim. Inf. Syst. Faiza Sabir, Sarfaraz Ahmed, Gihwon Kwon
2023	J	`jnl`	Safety Constraint-Guided Reinforcement Learning with Linear Temporal Logic. Syst. Ryeonggu Kwon, Gihwon Kwon
2017	—	`conf`	A Case Study of Hierarchical Safety Analysis for Eliciting Traceable Safety Requirements. MUE/FutureTech Daehui Jeong, Anit Thapaliya, Gihwon Kwon
2017	—	`conf`	An Extended Hierarchical Safety Analysis for Software-Intensive System. CSA/CUTE Daehui Jeong, Gihwon Kwon
2017	—	`conf`	Comparing the Effectiveness of SFMEA and STPA in Software-Intensive Railway Level Crossing System. CSA/CUTE Tung La-Ngoc, Gihwon Kwon
2017	—	`conf`	Failure Analysis in Safety Critical Systems Using Failure State Machine. CSA/CUTE Anit Thapaliya, Daehui Jeong, Gihwon Kwon
2017	—	`conf`	Reliability and Control Theory: An Integration Approach for Safety Analysis. CSA/CUTE Anit Thapaliya, Gihwon Kwon
2016	J	`jnl`	Guest editorial for the special section with the extensions to the best papers from APSEC'13 and APSEC'14. Inf. Softw. Technol. Yann-Gaël Guéhéneuc, Gihwon Kwon, Pornsiri Muenchaisri
2014	—	`ed.`	21st Asia-Pacific Software Engineering Conference, APSEC 2014, Jeju, South Korea, December 1-4, 2014. Volume 1: Research Papers APSEC (1) Sungdeok (Steve) Cha, Yann-Gaël Guéhéneuc, Gihwon Kwon
2014	—	`ed.`	21st Asia-Pacific Software Engineering Conference, APSEC 2014, Jeju, South Korea, December 1-4, 2014. Volume 2: Industry, Short, and QuASoQ Papers APSEC (2) Sungdeok (Steve) Cha, Yann-Gaël Guéhéneuc, Gihwon Kwon
2014	—	`conf`	Formal Verification for Inter-Partitions Communication of RTOS Supporting IMA. FCC Sachoun Park, Gihwon Kwon
2014	—	`conf`	Simulating Synthesized Automata from Decentralized Specifications in LTL. FCC Ryoungkwo Kwon, Gihwon Kwon
2012	—	`conf`	Simulation of Collaborative Multi-robots. ICHIT (2) Sunghae Kim, Gihwon Kwon
2011	C	`conf`	Applying Lightweight Formal Approach to Automatic Configuration Inspection. SEKE Sachoun Park, Gihwon Kwon
2010	C	`conf`	Formal Verification of UML 2.0 Sequence Diagram. SEKE Sachoun Park, Taeman Han, Gihwon Kwon
2010	C	`conf`	OCL Evaluation on AUTOSAR Model. SEKE Sachoun Park, Taeman Han, Hyoungju Lim, Gihwon Kwon
2008	C	`conf`	Japanese Puzzle as a SAT Problem. SEKE Sachoun Park, Gihwon Kwon
2008	C	`conf`	Using Boolean Cardinality Constraint for LTS Bounded Model Checking. SEKE Sachoun Park, Gihwon Kwon
2007	C	`conf`	SAT based Verification Tool for Labeled Transition System. SERA Sachoun Park, Gihwon Kwon
2007	C	`conf`	Using Bounded Model Checking with BOGOR. SERA Taehoon Lee, Mintaek Cho, Gihwon Kwon
2006	—	`conf`	Avoidance of State Explosion Using Dependency Analysis in Model Checking Control Flow Model. ICCSA (5) Sachoun Park, Gihwon Kwon
2006	—	`conf`	CTL Model Checking for Boolean Program. ICCSA (4) Taehoon Lee, Gihwon Kwon, Hyuksoo Han
2005	—	`conf`	Formalization of ICESS Sachoun Park, Gihwon Kwon, Soonhoi Ha
2005	—	`conf`	Relay Reachability Algorithm for Exploring Huge State Space. MoChArt@CONCUR/SPIN Gihwon Kwon
2005	—	`conf`	Verification of UML-Based Security Policy Model. ICCSA (3) Sachoun Park, Gihwon Kwon
2004	B	`conf`	Solving Box-Pushing Games via Model Checking with Optimizations. ATVA Gihwon Kwon, Taehoon Lee
2003	C	`conf`	Applying Model Checking Techniques to Game Solving. SERA Gihwon Kwon
2003	C	`conf`	Formal Framework for Solving Box-Pushing Games. SNPD Gihwon Kwon
2003	—	`conf`	Game Modeling and its Optimizations. Modelling, Simulation, and Optimization Gihwon Kwon
2000	—	`conf`	Rewrite rules and Operational Semantics for Model Checking UML Statecharts. UML Gihwon Kwon