Ki-Hyuk Nam

Publication Activity (10 Years)

Years Active: 2011-2017
Publications (10 Years): 2

Top Topics

Specification Languages

Formal Specification

Monitoring System

Execution Environment

Top Venues

Publications

Young-Su Cha, Ki-Hyuk Nam, Doik Kim
Patient cloth with motion recognition sensors based on flexible piezoelectric materials. EMBC (2017)
Young-Su Cha, Ki-Hyuk Nam, Doik Kim
Patient Posture Monitoring System Based on Flexible Sensors. Sensors 17 (3) (2017)
Miyoung Kang, Eun-Young Kang, Dae-Yon Hwang, Beom-Jin Kim, Ki-Hyuk Nam, Myung-Ki Shin, Jin-Young Choi
Formal Modeling and Verification of SDN-OpenFlow. ICST (2013)
Miyoung Kang, Ki-Hyuk Nam, Junkil Park, Myung-Ki Shin, Jeehoon Shin, Jin-Young Choi
Formal specifications for software-defined networking. CFI (2012)
Myung-Ki Shin, Ki-Hyuk Nam, Hyoung-Jun Kim
Software-defined networking (SDN): A reference architecture and open APIs. ICTC (2012)
Miyoung Kang, Junkil Park, Jin-Young Choi, Ki-Hyuk Nam, Myung-Ki Shin
Process Algebraic Specification of Software Defined Networks. CICSyN (2012)
Ki-Hyuk Nam, Myung-Ki Shin, Hyoung-Jun Kim, Sangjin Jeong
Federating future internet testbeds: an adaptor-based approach. CFI (2011)