An Efficient State Space Generation for Analysis of Real-Time Systems. - Inhye Kang; Insup Lee 001 (ISSTA, 1996)

TREAT: Timed REachability Analysis Tool. - Inhye Kang (PDPTA, 1999)

Equivalence Checking of Two Statechart Specifications. - Myung-Hwan Park; Ki-Seok Bang; Jin-Young Choi; Inhye Kang (IEEE International Workshop on Rapid System Prototyping, 2000)

An Efficient State Space Generation for the Analysis of Real-Time Systems. - Inhye Kang; Insup Lee 001; Young-Si Kim (IEEE Trans. Software Eng., 2000)

Reducing TCP response time in face of wireless uplink losses. - Hyogon Kim; Changhoon Han; Inhye Kang (VTC Fall, 2001)

Measurement-based multi-call voice frame grouping in Internet telephony. - Hyogon Kim; Inhye Kang; Eenjun Hwang (IEEE Commun. Lett., 2002)

On the effectiveness of Martian address filtering and its extensions. - Hyogon Kim; Inhye Kang (GLOBECOM, 2003)

Determining embryonic connection timeout in stateful inspection. - Inhye Kang; Hyogon Kim (ICC, 2003)

Taming Large Classifiers with Rule Reference Locality. - Hyogon Kim; Jaesung Heo; Lynn Choi; Inhye Kang; Sunil Kim (ICOIN, 2003)

On the functional validity of the worm-killing worm. - Hyogon Kim; Inhye Kang (ICC, 2004)

Fast Classification, Calibration, and Visualization of Network Attacks on Backbone Links. - Hyogon Kim; Jin-Ho Kim; Saewoong Bahk; Inhye Kang (ICOIN, 2004)

Real-time visualization of network attacks on high-speed links. - Hyogon Kim; Inhye Kang; Saewoong Bahk (IEEE Netw., 2004)

Model-Based Analysis of Money Accountability in Electronic Purses. - Il-Gon Kim; Young-Joo Moon; Inhye Kang; Ji-Yeon Lee; Keun-Hee Han; Jin-Young Choi (WINE, 2005)

Resolving 802.11 performance anomalies through QoS differentiation. - Hyogon Kim; Sangki Yun; Inhye Kang; Saewoong Bahk (IEEE Commun. Lett., 2005)

Preventing Session Table Explosion in Packet Inspection Computers. - Hyogon Kim; Jin-Ho Kim; Inhye Kang; Saewoong Bahk (IEEE Trans. Computers, 2005)

Secrecy Analysis of Purchase Transaction in Electronic Purses. - Il-Gon Kim; Hyun Seok Kim; Ji-Yeon Lee; Jin-Young Choi; Inhye Kang (AINA (1), 2006)

A Simple Congestion-Resilient Link Adaptation Algorithm for IEEE 802.11 WLANs. - Hyogon Kim; Sangki Yun; Heejo Lee; Inhye Kang; Kyu-Young Choi (GLOBECOM, 2006)

On the Cross-Layer Impact of TCP ACK Thinning on IEEE 802.11 Wireless MAC Dynamics. - Hyogon Kim; Heejo Lee; Sangmin Shin; Inhye Kang (VTC Fall, 2006)

Improving VoIP Call Capacity of Multi-Hop Wireless Networks through Self-Controlled Frame Aggregation. - Sangki Yun; Hyogon Kim; Heejo Lee; Inhye Kang (VTC Fall, 2006)

Squeezing 100+ VoIP calls out of 802.11b WLANs. - Sangki Yun; Hyogon Kim; Inhye Kang (WOWMOM, 2006)

Formal Verification of Security Model Using SPR Tool. - Il-Gon Kim; Miyoung Kang; Jin-Young Choi; Peter D. Zegzhda; Maxim O. Kalinin; Dmitry P. Zegzhda; Inhye Kang (Comput. Artif. Intell., 2006)

100+ VoIP Calls on 802.11b: The Power of Combining Voice Frame Aggregation and Uplink-Downlink Bandwidth Control in Wireless LANs. - Sangki Yun; Hyogon Kim; Heejo Lee; Inhye Kang (IEEE J. Sel. Areas Commun., 2007)

Hop-by-Hop Frame Aggregation for VoIP on Multi-Hop Wireless Networks. - Kyungsoo Lee; Sangki Yun; Inhye Kang; Hyogon Kim (ICC, 2008)

A snooping rate adaptation algorithm for IEEE 802.11 WLANs. - Jihun Ha; Kyungsoo Lee; Hyogon Kim; Inhye Kang (ISWPC, 2008)

Secure Vehicular Communication for Safety Applications - A Measurement Study. - Juhong Min; Jihun Ha; Sangki Yun; Inhye Kang; Hyogon Kim (VTC Spring, 2008)

Analysis of the Rate-Based Channel Access Prioritization for Drive-Thru Applications in the IEEE 802.11p WAVE. - Inhye Kang; Hyogon Kim (IEICE Trans. Commun., 2010)

UML Behavior Models of Real-Time Embedded Software for Model-Driven Architecture. - Jin Hyun Kim; Jin-Young Choi; Inhye Kang; Insup Lee 001 (J. Univers. Comput. Sci., 2010)

Timed and Resource-oriented Statecharts for Embedded Software. - Jin Hyun Kim; Inhye Kang; Jin-Young Choi; Insup Lee 001 (IEEE Trans. Ind. Informatics, 2010)

Generating composite behavior of embedded software components based on UML behavioral model and process algebra. - Jin Hyun Kim; Jin-Young Choi; Inhye Kang; Insup Lee 001 (ACM SIGSOFT Softw. Eng. Notes, 2011)

Formal Modeling and Verification of Motor Drive Software for Networked Motion Control Systems. - Youngdong Kim; Ikhwan Kim; Inhye Kang; Taehyoun Kim; Minyoung Sung (J. Univers. Comput. Sci., 2014)

Resolving the Unfairness of Distributed Rate Control in the IEEE WAVE Safety Messaging. - Byungjo Kim; Inhye Kang; Hyogon Kim (IEEE Trans. Veh. Technol., 2014)

Formal synthesis of application and platform behaviors of embedded software systems. - Jinhyun Kim; Inhye Kang; Jin-Young Choi; Insup Lee 001; Sungwon Kang (Softw. Syst. Model., 2015)

Geographic scheduling of directional transmission for periodic safety messages in IEEE WAVE. - Byungjo Kim; Jihun Ha; Inhye Kang; Yongtae Park; Seungho Kuk; Hyogon Kim (Comput. Commun., 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)

A Process Algebraic Approach to Resource-Parameterized Timing Analysis of Automotive Software Architectures. - Jin Hyun Kim; Inhye Kang; Sungwon Kang; Abdeldjalil Boudjadar (IEEE Trans. Ind. Informatics, 2016)

A process algebraic approach to the schedulability analysis and workload abstraction of hierarchical real-time systems. - Junkil Park; Insup Lee 001; Oleg Sokolsky; Dae-Yon Hwang; So Jin Ahn; Jin-Young Choi; Inhye Kang (J. Log. Algebraic Methods Program., 2017)

Overcoming IoT Language Barriers Using Smartphone SDRs. - Yongtae Park; Seungho Kuk; Inhye Kang; Hyogon Kim (IEEE Trans. Mob. Comput., 2017)