default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGihwon Kwon
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j4]Ryeonggu Kwon
, Gihwon Kwon, Sohee Park, Jiyoung Chang, Suhee Jo:
Applying Quantitative Model Checking to Analyze Safety in Reinforcement Learning. IEEE Access 12: 18957-18971 (2024)- 2023
- [j3]Faiza Sabir, Sarfaraz Ahmed, Gihwon Kwon:
Failure Analysis of Vital Sign Monitoring System in Digital Healthcare with FTA. J. Multim. Inf. Syst. 10(3): 271-278 (2023) - [j2]Ryeonggu Kwon, Gihwon Kwon:
Safety Constraint-Guided Reinforcement Learning with Linear Temporal Logic. Syst. 11(11): 535 (2023) - [c27]Suhee Jo, Ryeonggu Kwon, Gihwon Kwon:
Exploring Collaboration Patterns in GitHub Using Discrete Time Markov Chain. APSEC 2023: 645-646 - [c26]Jiyoung Chang, Ryeonggu Kwon, Gihwon Kwon:
Exploring Loss Scenarios of STPA with Reinforcement Learning: A Case Study of Platform Screen Door. APSEC 2023: 647-648
2010 – 2019
- 2017
- [c25]Anit Thapaliya, Daehui Jeong, Gihwon Kwon:
Failure Analysis in Safety Critical Systems Using Failure State Machine. CSA/CUTE 2017: 540-545 - [c24]Anit Thapaliya, Gihwon Kwon:
Reliability and Control Theory: An Integration Approach for Safety Analysis. CSA/CUTE 2017: 1244-1249 - [c23]Daehui Jeong, Gihwon Kwon:
An Extended Hierarchical Safety Analysis for Software-Intensive System. CSA/CUTE 2017: 1250-1256 - [c22]Tung La-Ngoc, Gihwon Kwon:
Comparing the Effectiveness of SFMEA and STPA in Software-Intensive Railway Level Crossing System. CSA/CUTE 2017: 1281-1288 - [c21]Daehui Jeong, Anit Thapaliya, Gihwon Kwon:
A Case Study of Hierarchical Safety Analysis for Eliciting Traceable Safety Requirements. MUE/FutureTech 2017: 474-480 - 2016
- [j1]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: 181-182 (2016) - 2014
- [c20]Sachoun Park, Gihwon Kwon:
Formal Verification for Inter-Partitions Communication of RTOS Supporting IMA. FCC 2014: 415-421 - [c19]Ryoungkwo Kwon, Gihwon Kwon:
Simulating Synthesized Automata from Decentralized Specifications in LTL. FCC 2014: 431-437 - [e2]Sungdeok (Steve) Cha, Yann-Gaël Guéhéneuc, Gihwon Kwon:
21st Asia-Pacific Software Engineering Conference, APSEC 2014, Jeju, South Korea, December 1-4, 2014. Volume 1: Research Papers. IEEE Computer Society 2014, ISBN 978-1-4799-7425-2 [contents] - [e1]Sungdeok (Steve) Cha, Yann-Gaël Guéhéneuc, Gihwon Kwon:
21st Asia-Pacific Software Engineering Conference, APSEC 2014, Jeju, South Korea, December 1-4, 2014. Volume 2: Industry, Short, and QuASoQ Papers. IEEE 2014, ISBN 978-1-4799-7426-9 [contents] - 2012
- [c18]Sunghae Kim, Gihwon Kwon:
Simulation of Collaborative Multi-robots. ICHIT (2) 2012: 588-593 - 2011
- [c17]Sachoun Park, Gihwon Kwon:
Applying Lightweight Formal Approach to Automatic Configuration Inspection. SEKE 2011: 107-110 - 2010
- [c16]Sachoun Park, Taeman Han, Gihwon Kwon:
Formal Verification of UML 2.0 Sequence Diagram. SEKE 2010: 411-416 - [c15]Sachoun Park, Taeman Han, Hyoungju Lim, Gihwon Kwon:
OCL Evaluation on AUTOSAR Model. SEKE 2010: 645-648
2000 – 2009
- 2008
- [c14]Sachoun Park, Gihwon Kwon:
Using Boolean Cardinality Constraint for LTS Bounded Model Checking. SEKE 2008: 537-542 - [c13]Sachoun Park, Gihwon Kwon:
Japanese Puzzle as a SAT Problem. SEKE 2008: 543-548 - 2007
- [c12]Sachoun Park, Gihwon Kwon:
SAT based Verification Tool for Labeled Transition System. SERA 2007: 221-226 - [c11]Taehoon Lee, Mintaek Cho, Gihwon Kwon:
Using Bounded Model Checking with BOGOR. SERA 2007: 863-870 - 2006
- [c10]Sachoun Park, Gihwon Kwon:
Avoidance of State Explosion Using Dependency Analysis in Model Checking Control Flow Model. ICCSA (5) 2006: 905-911 - [c9]Taehoon Lee, Gihwon Kwon, Hyuksoo Han:
CTL Model Checking for Boolean Program. ICCSA (4) 2006: 1081-1089 - 2005
- [c8]Sachoun Park, Gihwon Kwon:
Verification of UML-Based Security Policy Model. ICCSA (3) 2005: 973-982 - [c7]Sachoun Park, Gihwon Kwon, Soonhoi Ha:
Formalization of fFSM Model and Its Verification. ICESS 2005: 361-372 - [c6]Gihwon Kwon:
Relay Reachability Algorithm for Exploring Huge State Space. MoChArt@CONCUR/SPIN 2005: 19-31 - 2004
- [c5]Gihwon Kwon, Taehoon Lee:
Solving Box-Pushing Games via Model Checking with Optimizations. ATVA 2004: 491-494 - 2003
- [c4]Gihwon Kwon:
Game Modeling and its Optimizations. Modelling, Simulation, and Optimization 2003: 57-62 - [c3]Gihwon Kwon:
Applying Model Checking Techniques to Game Solving. SERA 2003: 290-303 - [c2]Gihwon Kwon:
Formal Framework for Solving Box-Pushing Games. SNPD 2003: 309-314 - 2000
- [c1]Gihwon Kwon:
Rewrite rules and Operational Semantics for Model Checking UML Statecharts. UML 2000: 528-540
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
