Inhye Kang

Publication Activity (10 Years)

Years Active: 1996-2017
Publications (10 Years): 6

Top Topics

Geographic Location

Process Algebra

Embedded Software

Top Venues

J. Log. Algebraic Methods Program.

IEEE Trans. Mob. Comput.

IEEE Trans. Veh. Technol.

IEEE Trans. Ind. Informatics

Publications

Junkil Park, Insup Lee, Oleg Sokolsky, Dae-Yon Hwang, So Jin Ahn, Jin-Young Choi, Inhye Kang
A process algebraic approach to the schedulability analysis and workload abstraction of hierarchical real-time systems. J. Log. Algebraic Methods Program. 92 (2017)
Yongtae Park, Seungho Kuk, Inhye Kang, Hyogon Kim
Overcoming IoT Language Barriers Using Smartphone SDRs. IEEE Trans. Mob. Comput. 16 (3) (2017)
Byungjo Kim, Jihun Ha, Inhye Kang, Yongtae Park, Seungho Kuk, Hyogon Kim
Geographic scheduling of directional transmission for periodic safety messages in IEEE WAVE. Comput. Commun. 78 (2016)
Jin Hyun Kim, Inhye Kang, Sungwon Kang, Abdeldjalil Boudjadar
A Process Algebraic Approach to Resource-Parameterized Timing Analysis of Automotive Software Architectures. IEEE Trans. Ind. Informatics 12 (2) (2016)
Miyoung Kang, Jin-Young Choi, Inhye Kang, Hee-Hwan Kwak, So Jin Ahn, Myung-Ki Shin
A Verification Method of SDN Firewall Applications. IEICE Trans. Commun. (7) (2016)
Jinhyun Kim, Inhye Kang, Jin-Young Choi, Insup Lee, Sungwon Kang
Formal synthesis of application and platform behaviors of embedded software systems. Softw. Syst. Model. 14 (2) (2015)
Youngdong Kim, Ikhwan Kim, Inhye Kang, Taehyoun Kim, Minyoung Sung
Formal Modeling and Verification of Motor Drive Software for Networked Motion Control Systems. J. Univers. Comput. Sci. 20 (14) (2014)
Byungjo Kim, Inhye Kang, Hyogon Kim
Resolving the Unfairness of Distributed Rate Control in the IEEE WAVE Safety Messaging. IEEE Trans. Veh. Technol. 63 (5) (2014)
Jin Hyun Kim, Jin-Young Choi, Inhye Kang, Insup Lee
Generating composite behavior of embedded software components based on UML behavioral model and process algebra. ACM SIGSOFT Softw. Eng. Notes 36 (1) (2011)
Jin Hyun Kim, Jin-Young Choi, Inhye Kang, Insup Lee
UML Behavior Models of Real-Time Embedded Software for Model-Driven Architecture. J. Univers. Comput. Sci. 16 (17) (2010)
Jin Hyun Kim, Inhye Kang, Jin-Young Choi, Insup Lee
Timed and Resource-oriented Statecharts for Embedded Software. IEEE Trans. Ind. Informatics 6 (4) (2010)
Inhye Kang, Hyogon Kim
Analysis of the Rate-Based Channel Access Prioritization for Drive-Thru Applications in the IEEE 802.11p WAVE. IEICE Trans. Commun. (6) (2010)
Kyungsoo Lee, Sangki Yun, Inhye Kang, Hyogon Kim
Hop-by-Hop Frame Aggregation for VoIP on Multi-Hop Wireless Networks. ICC (2008)
Juhong Min, Jihun Ha, Sangki Yun, Inhye Kang, Hyogon Kim
Secure Vehicular Communication for Safety Applications - A Measurement Study. VTC Spring (2008)
Jihun Ha, Kyungsoo Lee, Hyogon Kim, Inhye Kang
A snooping rate adaptation algorithm for IEEE 802.11 WLANs. ISWPC (2008)
Sangki Yun, Hyogon Kim, Heejo Lee, Inhye Kang
100+ VoIP Calls on 802.11b: The Power of Combining Voice Frame Aggregation and Uplink-Downlink Bandwidth Control in Wireless LANs. IEEE J. Sel. Areas Commun. 25 (4) (2007)
Il-Gon Kim, Miyoung Kang, Jin-Young Choi, Peter D. Zegzhda, Maxim O. Kalinin, Dmitry P. Zegzhda, Inhye Kang
Formal Verification of Security Model Using SPR Tool. Comput. Artif. Intell. 25 (5) (2006)
Hyogon Kim, Heejo Lee, Sangmin Shin, Inhye Kang
On the Cross-Layer Impact of TCP ACK Thinning on IEEE 802.11 Wireless MAC Dynamics. VTC Fall (2006)
Sangki Yun, Hyogon Kim, Heejo Lee, Inhye Kang
Improving VoIP Call Capacity of Multi-Hop Wireless Networks through Self-Controlled Frame Aggregation. VTC Fall (2006)
Sangki Yun, Hyogon Kim, Inhye Kang
Squeezing 100+ VoIP calls out of 802.11b WLANs. WOWMOM (2006)
Hyogon Kim, Sangki Yun, Heejo Lee, Inhye Kang, Kyu-Young Choi
A Simple Congestion-Resilient Link Adaptation Algorithm for IEEE 802.11 WLANs. GLOBECOM (2006)
Il-Gon Kim, Hyun Seok Kim, Ji-Yeon Lee, Jin-Young Choi, Inhye Kang
Secrecy Analysis of Purchase Transaction in Electronic Purses. AINA (1) (2006)
Hyogon Kim, Sangki Yun, Inhye Kang, Saewoong Bahk
Resolving 802.11 performance anomalies through QoS differentiation. IEEE Commun. Lett. 9 (7) (2005)
Il-Gon Kim, Young-Joo Moon, Inhye Kang, Ji-Yeon Lee, Keun-Hee Han, Jin-Young Choi
Model-Based Analysis of Money Accountability in Electronic Purses. WINE (2005)
Hyogon Kim, Jin-Ho Kim, Inhye Kang, Saewoong Bahk
Preventing Session Table Explosion in Packet Inspection Computers. IEEE Trans. Computers 54 (2) (2005)
Hyogon Kim, Inhye Kang
On the functional validity of the worm-killing worm. ICC (2004)
Hyogon Kim, Inhye Kang, Saewoong Bahk
Real-time visualization of network attacks on high-speed links. IEEE Netw. 18 (5) (2004)
Hyogon Kim, Jin-Ho Kim, Saewoong Bahk, Inhye Kang
Fast Classification, Calibration, and Visualization of Network Attacks on Backbone Links. ICOIN (2004)
Hyogon Kim, Inhye Kang
On the effectiveness of Martian address filtering and its extensions. GLOBECOM (2003)
Inhye Kang, Hyogon Kim
Determining embryonic connection timeout in stateful inspection. ICC (2003)
Hyogon Kim, Jaesung Heo, Lynn Choi, Inhye Kang, Sunil Kim
Taming Large Classifiers with Rule Reference Locality. ICOIN (2003)
Hyogon Kim, Inhye Kang, Eenjun Hwang
Measurement-based multi-call voice frame grouping in Internet telephony. IEEE Commun. Lett. 6 (5) (2002)
Hyogon Kim, Changhoon Han, Inhye Kang
Reducing TCP response time in face of wireless uplink losses. VTC Fall (2001)
Inhye Kang, Insup Lee, Young-Si Kim
An Efficient State Space Generation for the Analysis of Real-Time Systems. IEEE Trans. Software Eng. 26 (5) (2000)
Myung-Hwan Park, Ki-Seok Bang, Jin-Young Choi, Inhye Kang
Equivalence Checking of Two Statechart Specifications. IEEE International Workshop on Rapid System Prototyping (2000)
Inhye Kang
TREAT: Timed REachability Analysis Tool. PDPTA (1999)
Inhye Kang, Insup Lee
An Efficient State Space Generation for Analysis of Real-Time Systems. ISSTA (1996)