Digital Library[ Search Result ]

Search : "[ author: Gi Hwon Kwon ]" (7)
Extracting Subsequence of Boolean Variables using SAT-solver
Sa Choun Park   Gi Hwon Kwon
Vol. 15, No. 6, pp. 777-784, Dec. 2008
10.3745/KIPSTD.2008.15.6.777
Verification for Multithreaded Java Code using Java Memory Model
Min Lee   Gi Hwon Kwon
Vol. 15, No. 1, pp. 99-106, Feb. 2008
10.3745/KIPSTD.2008.15.1.99
Formal Verification of Embedded Java Program
Tae Hoon Lee   Gi Hwon Kwon
Vol. 12, No. 7, pp. 931-936, Dec. 2005
10.3745/KIPSTD.2005.12.7.931
Automatic Verification of the Control Flow Model for Effective Embedded Software Design
Sa Choun Park   Gi Hwon Kwon   Soon Hoi Ha
Vol. 12, No. 7, pp. 563-570, Dec. 2005
10.3745/KIPSTA.2005.12.7.563
Definition of Step Semantics for Hierarchical State Machine based on Flattening
Sa Choun Park   Gi Hwon Kwon   Soon Hoi Ha
Vol. 12, No. 6, pp. 863-868, Dec. 2005
10.3745/KIPSTD.2005.12.6.863
Efficient Counterexample Generation for Safety Violation in Model Checking
Tae Hoon Lee   Gi Hwon Kwon
Vol. 12, No. 1, pp. 81-90, Feb. 2005
10.3745/KIPSTD.2005.12.1.81
Abstraction of Models with State Projections in Model Checking
Gi Hwon Kwon
Vol. 11, No. 6, pp. 1295-1300, Oct. 2004
10.3745/KIPSTD.2004.11.6.1295

Forms

Search
(IN TITLE, AUTHOR, ABSTRACT,KEYWORDS)

Advanced Search ▼

POPULAR KEYWORDS
(TOP 10 KEYWORDS)

Recent Publications
(LAST 3 YEARS)

Old Journals

Indexing

All publications of TKIPS is indexed in DOI, EBSCO, Google Scholar, Crossref, and CrossCheck.

TKIPS is also selected as the Journal for Accreditation by NRF (National Research Foundation of Korea).

Related Journals