Inhye Kang - RankMe

38 papers A 1B 2C 2Misc 1Journal 20Unranked 12

Year	Rank	Type	Title / 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