Hee-Hwan Kwak

Publication Activity (10 Years)

Years Active: 1998-2016
Publications (10 Years): 2

Top Topics

Security Enforcement

Verification Method

Network Services

Top Venues

IEICE Trans. Commun.

Publications

Miyoung Kang, Jin-Young Choi, Inhye Kang, Hee-Hwan Kwak, So Jin Ahn, Myung-Ki Shin
A Verification Method of SDN Firewall Applications. IEICE Trans. Commun. (7) (2016)
Myung-Ki Shin, Yunchul Choi, Hee-Hwan Kwak, Sangheon Pack, Miyoung Kang, Jin-Young Choi
Verification for NFV-enabled network services. ICTC (2015)
Jincao Zhu, Hyogon Kim, Hee-Hwan Kwak
A Linear-Complexity Burst Packing Scheme for IEEE 802.16e OFDMA Downlink Frames. VTC Spring (2009)
Hee-Hwan Kwak, Insup Lee, Oleg Sokolsky
Parametric approach to the specification and analysis of real-time scheduling based on ACSR-VP. Sci. Comput. Program. 42 (1) (2002)
In-Ho Moon, Hee-Hwan Kwak, James H. Kukula, Thomas R. Shiple, Carl Pixley
Simplifying Circuits for Formal Verification Using Parametric Representation. FMCAD (2002)
Hee-Hwan Kwak, In-Ho Moon, James H. Kukula, Thomas R. Shiple
Combinational equivalence checking through function transformation. ICCAD (2002)
Insup Lee, Jin-Young Choi, Hee-Hwan Kwak, Anna Philippou, Oleg Sokolsky
A Family of Resource-Bound Real-Time Process Algebras. FORTE (2001)
Jin-Young Choi, Hee-Hwan Kwak, Insup Lee
A Framework for Embedded Real-Time System Design. IPDPS Workshops (2000)
Hee-Hwan Kwak, Insup Lee, Oleg Sokolsky
Parametric Approach to the Specification and Analysis of Real-time System Designs based on ACSR-VP. Electron. Notes Theor. Comput. Sci. 25 (1999)
Hee-Hwan Kwak, Insup Lee
Process algebraic approach to the parametric analysis of object scheduling in real-time systems. WORDS (Fall) (1999)
Hee-Hwan Kwak, Insup Lee, Anna Philippou, Jin-Young Choi, Oleg Sokolsky
Symbolic Schedulability Analysis of Real-Time Systems. RTSS (1998)
Oleg Sokolsky, Mohamed F. Younis, Insup Lee, Hee-Hwan Kwak, Jeffrey X. Zhou
Verification of the Redundancy Management System for Space Launch Vehicle: A Case Study. IEEE Real Time Technology and Applications Symposium (1998)