Digital Library

Search: "[ author: Gi Hwon Kwon ]" (7)
    Extracting Subsequence of Boolean Variables using SAT-solver
    Sa Choun Park , Gi Hwon Kwon The KIPS Transactions:PartD, 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 The KIPS Transactions:PartD, 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 The KIPS Transactions:PartD, 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 The KIPS Transactions:PartA, 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 The KIPS Transactions:PartD, 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 The KIPS Transactions:PartD, 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 The KIPS Transactions:PartD, Vol. 11, No. 6, pp. 1295-1300, Oct. 2004
    10.3745/KIPSTD.2004.11.6.1295

Forms



Category Search

Publications


Old Journals


Indexing


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

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

Organization


Related Journals