Inhye Kang

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