Digital Library

Search: "[ author: Gi Hwon Kwon ]" (8)
    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


    Decentralized LTL Specifications for Ensuring Quality of Interaction-centralized System
    Ryoung Kwo Kwon , Gi Hwon Kwon KIPS Transactions on Software and Data Engineering, Vol. 3, No. 5, pp. 169-178, May. 2014
    10.3745/KTSDE.2014.3.5.169


Forms



Category Search

Publications


Old Journals


Indexing


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

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

Organization


Related Journals