Hee-Hwan Kwak

According to our database, Hee-Hwan Kwak authored at least 12 papers between 1998 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

A Verification Method of SDN Firewall Applications.

Miyoung Kang, Jin-Young Choi, Inhye Kang, Hee-Hwan Kwak, So Jin Ahn, Myung-Ki Shin

IEICE Trans. Commun., 2016

2015

Verification for NFV-enabled network services.

Myung-Ki Shin, Yunchul Choi, Hee-Hwan Kwak, Sangheon Pack, Miyoung Kang, Jin-Young Choi

Proceedings of the International Conference on Information and Communication Technology Convergence, 2015

2009

A Linear-Complexity Burst Packing Scheme for IEEE 802.16e OFDMA Downlink Frames.

Jincao Zhu, Hyogon Kim, Hee-Hwan Kwak

Proceedings of the 69th IEEE Vehicular Technology Conference, 2009

2002

Parametric approach to the specification and analysis of real-time scheduling based on ACSR-VP.

Hee-Hwan Kwak, Insup Lee, Oleg Sokolsky

Sci. Comput. Program., 2002

Combinational equivalence checking through function transformation.

Hee-Hwan Kwak, In-Ho Moon, James H. Kukula, Thomas R. Shiple

Proceedings of the 2002 IEEE/ACM International Conference on Computer-aided Design, 2002

Simplifying Circuits for Formal Verification Using Parametric Representation.

In-Ho Moon, Hee-Hwan Kwak, James H. Kukula, Thomas R. Shiple, Carl Pixley

Proceedings of the Formal Methods in Computer-Aided Design, 4th International Conference, 2002

2001

A Family of Resource-Bound Real-Time Process Algebras.

Insup Lee, Jin-Young Choi, Hee-Hwan Kwak, Anna Philippou, Oleg Sokolsky

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2001

2000

A Framework for Embedded Real-Time System Design.

Jin-Young Choi, Hee-Hwan Kwak, Insup Lee

Proceedings of the Parallel and Distributed Processing, 2000

1999

Process algebraic approach to the parametric analysis of object scheduling in real-time systems.

Hee-Hwan Kwak, Insup Lee

Proceedings of the Fifth International Workshop on Object-Oriented Real-Time Dependable Systems, 1999

1998

Parametric Approach to the Specification and Analysis of Real-time System Designs based on ACSR-VP.

Hee-Hwan Kwak, Insup Lee, Oleg Sokolsky

Proceedings of the 1998 ARO/ONR/NSF/DARPA Monterey Workshop on Engineering Automation for Computer Basesd Systems, 1998

Symbolic Schedulability Analysis of Real-Time Systems.

Hee-Hwan Kwak, Insup Lee, Anna Philippou, Jin-Young Choi, Oleg Sokolsky

Proceedings of the 19th IEEE Real-Time Systems Symposium, 1998

Verification of the Redundancy Management System for Space Launch Vehicle: A Case Study.

Oleg Sokolsky, Mohamed F. Younis, Insup Lee, Hee-Hwan Kwak, Jeffrey X. Zhou

Proceedings of the Fourth IEEE Real-Time Technology and Applications Symposium, 1998