Hee-Hwan Kwak

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