Hee Hwan Kwak

Publications

Citations

H-Index

2002

Active since

Affiliations

Electronics and Telecommunications Research Institute(Current)

Hee Hwan Kwak is an author at Electronics and Telecommunications Research Institute specializing in formal verification, formal methods, and engineering.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceFormal VerificationCloud ComputingSystem SoftwareNetwork FunctionsAutomated ReasoningSystems Engineering

Publications per year

2002–2015

Publications

Verification for NFV-enabled network services

Myung-Ki Shin, Yun-Chul Choi, Hee Hwan Kwak et al. · 2015 · 19 citations

Engineering, Verification, Formal Verification +16

Combinational equivalence checking through function transformation

Hee Hwan Kwak, In-Ho Moon, James Kukula et al. · Digest of technical papers/Digest of technical papers - IEEE/ACM International Conference on Computer-Aided Design · 2002 · 11 citations

Engineering, Automated Reasoning, Verification +7

Rows per page

1–2 of 2