Inhye Kang

Most-cited papers

Resolving 802.11 performance anomalies through QoS differentiation
Hyogon Kim, Sangki Yun, Inhye Kang, S. Bahk
2005IEEE Communications Letters93 citations
Semantic Scholar
An Efficient State Space Generation for the Analysis of Real-Time Systems
Inhye Kang, Insup Lee, Young-Si Kim
2000IEEE Trans. Software Eng.44 citations Open access
Semantic Scholar
Resolving the Unfairness of Distributed Rate Control in the IEEE WAVE Safety Messaging
Byungjo Kim, Inhye Kang, Hyogon Kim
2014IEEE Transactions on Vehicular Technology34 citations
Semantic Scholar
Real-time visualization of network attacks on high-speed links
Hyogon Kim, Inhye Kang, S. Bahk
2004IEEE Network28 citations
Semantic Scholar
Preventing session table explosion in packet inspection computers
Hyogon Kim, Jinho Kim, Inhye Kang, S. Bahk
2005IEEE transactions on computers27 citations
Semantic Scholar
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
2007IEEE Journal on Selected Areas in Communications26 citations
Semantic Scholar
Timed and Resource-Oriented Statecharts for Embedded Software
Jinhyun Kim, Inhye Kang, Jin-Young Choi, Insup Lee
2010IEEE Transactions on Industrial Informatics22 citations
Semantic Scholar
State minimization for concurrent system analysis based on state space exploration
Inhye Kang, Insup Lee
1994Proceedings of COMPASS'94 - 1994 IEEE 9th Annual Conference on Computer Assurance20 citations Open access
Semantic Scholar
Hop-by-Hop Frame Aggregation for VoIP on Multi-Hop Wireless Networks
Kyungsoo Lee, Sangki Yun, Inhye Kang, Hyogon Kim
2008IEEE International Conference on Communications18 citations
Semantic Scholar
WLC34-1: A Simple Congestion-Resilient Link Adaptation Algorithm for IEEE 802.11 WLANs
Hyogon Kim, Sangki Yun, Heejo Lee, Inhye Kang +1 more
2006IEEE Globecom 200614 citations
Semantic Scholar
Equivalence checking of two Statechart specifications
Myung-Hwan Park, Ki-Seok Bang, Jin-Young Choi, Inhye Kang
2000Proceedings 11th International Workshop on Rapid System Prototyping. RSP 2000. Shortening the Path from Specification to Prototype (Cat. No.PR00668)14 citations
Semantic Scholar
On the Cross-Layer Impact of TCP ACK Thinning on IEEE 802.11 Wireless MAC Dynamics
Hyogon Kim, Heejo Lee, Sang-Chul Shin, Inhye Kang
2006IEEE Vehicular Technology Conference13 citations
Semantic Scholar
Taming Large Classifiers with Rule Reference Locality
Hyogon Kim, J. Heo, Lynn Choi, Inhye Kang +1 more
2003International Conference on Information Networking13 citations
Semantic Scholar
Overcoming IoT Language Barriers Using Smartphone SDRs
Yongtae Park, Seungho Kuk, Inhye Kang, Hyogon Kim
2017IEEE Transactions on Mobile Computing10 citations
Semantic Scholar
A Verification Method of SDN Firewall Applications
M. Kang, Jin-Young Choi, Inhye Kang, Hee-Hwan Kwak +2 more
2016IEICE transactions on communications10 citations
Semantic Scholar
A Process Algebraic Approach to Resource-Parameterized Timing Analysis of Automotive Software Architectures
Jin Hyun Kim, Inhye Kang, Sungwon Kang, Abdeldjalil Boudjadar
2016IEEE Transactions on Industrial Informatics10 citations
Semantic Scholar
On the effectiveness of Martian address filtering and its extensions
Hyogon Kim, Inhye Kang
2003GLOBECOM '03. IEEE Global Telecommunications Conference (IEEE Cat. No.03CH37489)10 citations
Semantic Scholar
On the functional validity of the worm-killing worm
Hyogen Kim, Inhye Kang
2004IEEE International Conference on Communications8 citations
Semantic Scholar
The Methods and the Feasibility of Frame Grouping in Internet Telephony
Hyogon Kim, Myungsuk Chae, Inhye Kang
20028 citations
Semantic Scholar
Timing analysis of superscalar processor programs using ACSR
Jin-Young Choi, Insup Lee, Inhye Kang
1994Proceedings of 11th IEEE Workshop on Real-Time Operating Systems and Software8 citations
Semantic Scholar
Measurement-based multi-call voice frame grouping in Internet telephony
Hyogon Kim, Inhye Kang, E. Hwang
2002IEEE Communications Letters6 citations
Semantic Scholar
Measurement-based frame grouping for Internet telephony
Hyogon Kim, Inhye Kang
20016 citations
Semantic Scholar
Geographic scheduling of directional transmission for periodic safety messages in IEEE WAVE
Byungjo Kim, Jihun Ha, Inhye Kang, Yongtae Park +2 more
2016Computer Communications5 citations
Semantic Scholar
Formal synthesis of application and platform behaviors of embedded software systems
Jinhyun Kim, Inhye Kang, Jin-Young Choi, Insup Lee +1 more
2015Journal of Software and Systems Modeling5 citations
Semantic Scholar
Squeezing 100+ VoIP calls out of 802.11b WLANs
Sangki Yun, Hyogon Kim, Inhye Kang
2006IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks5 citations
Semantic Scholar
Fast Classification, Calibration, and Visualization of Network Attacks on Backbone Links
Hyogon Kim, Jinho Kim, S. Bahk, Inhye Kang
2004International Conference on Information Networking5 citations
Semantic Scholar
Determining embryonic connection timeout in stateful inspection
Inhye Kang, Hyogon Kim
2003IEEE International Conference on Communications, 2003. ICC '03.5 citations
Semantic Scholar
Measurement-based multi-call voice frame grouping in Internet telephony
Hyogon Kim, Inhye Kang, E. Hwang
2002IEEE Communications Letters5 citations
Semantic Scholar
Reducing TCP response time in face of wireless uplink losses
Hyogon Kim, Changhoon Han, Inhye Kang
2001IEEE 54th Vehicular Technology Conference. VTC Fall 2001. Proceedings (Cat. No.01CH37211)5 citations
Semantic Scholar
A State Minimization Algorithm for Communicating State Machines With Arbitrary Data Space
Inhye Kang, Insup Lee
19935 citations
Semantic Scholar
A process algebraic approach to the schedulability analysis and workload abstraction of hierarchical real-time systems
Junkil Park, Insup Lee, O. Sokolsky, Dae-Yon Hwang +3 more
2017J. Log. Algebraic Methods Program.4 citations Open access
Semantic Scholar
Formal modeling and verification for SDN firewall application using pACSR
M. Kang, Jin-Young Choi, Hee-Hwan Kwak, Inhye Kang +2 more
20154 citations
Semantic Scholar
A snooping rate adaptation algorithm for IEEE 802.11 WLANs
Jihun Ha, Kyungsoo Lee, Hyogon Kim, Inhye Kang
2008International Symposium on Wireless Pervasive Computing4 citations
Semantic Scholar
Formal Verification of Security Model Using SPR Tool
Il-Gon Kim, M. Kang, Jin-Young Choi, P. D. Zegzhda +3 more
2006Computers and artificial intelligence4 citations
Semantic Scholar
An Eecient State Space Generation for the Analysis of Real-time Systems
Inhye Kang
19964 citations
Semantic Scholar
CTSM: A Formalism for Real-Time System Analysis based on State-Space Exploration
Inhye Kang
19954 citations
Semantic Scholar
UML Behavior Models of Real-Time Embedded Software for Model-Driven Architecture
Jin Hyun Kim, Jin-Young Choi, Inhye Kang, Insup Lee
2010Journal of universal computer science (Online)3 citations Open access
Semantic Scholar
Secure Vehicular Communication for Safety Applications - A Measurement Study
Ju-Hong Min, Jihun Ha, Sangki Yun, Inhye Kang +1 more
2008IEEE Vehicular Technology Conference3 citations
Semantic Scholar
Improving VoIP Call Capacity of Multi-Hop Wireless Networks through Self-Controlled Frame Aggregation
Sangki Yun, Hyogon Kim, Heejo Lee, Inhye Kang
2006IEEE Vehicular Technology Conference3 citations Open access
Semantic Scholar
An Efficient Generation of the Timed Reachability Graph for the Analysis of Real-Time Systems
Inhye Kang, Insup Lee
19943 citations
Semantic Scholar
Model-Based Analysis of Money Accountability in Electronic Purses
Il-Gon Kim, Young-Joo Moon, Inhye Kang, Ji-Yeon Lee +2 more
2005Workshop on Internet and Network Economics2 citations
Semantic Scholar
A State Minimization Technique for Timed Automata
Inhye Kang, Insup Lee, Young Si Kim
19962 citations
Semantic Scholar
An Eecient Generation of the Timed Reachability Graph for the Analysis of Real-time Systems
Inhye Kang, Insup Lee
19942 citations
Semantic Scholar
Translation of Modechart Speciication to Algebra of Communicating Shared Resources
Jin-Young Choi, Inhye Kang
19942 citations
Semantic Scholar
Formal Modeling and Verification of Motor Drive Software for Networked Motion Control Systems
Youngdong Kim, Ikhwan Kim, Inhye Kang, Taehyoun Kim +1 more
2014Journal of universal computer science (Online)1 citations
Semantic Scholar
Verification of Timing Properties for Software Behaviors on AUTOSAR Architecture using Process Algebra
Jinhyun Kim, Inhye Kang, Pyoung-Soo Kim, Sungwon Kang
20111 citations
Semantic Scholar
Generating composite behavior of embedded software components based on UML behavioral model and process algebra
Jinhyun Kim, Jin-Young Choi, Inhye Kang, Insup Lee
2011SOEN1 citations
Semantic Scholar
AUTOSAR Formal Timing Analysis Framework-Components-Interfaces-Ports Process Algebra Process Templates-Components-Interfaces-Ports Functional Models System Model in Time-Constrained Behavior System Model in Resource-Constrained Behavior Timing Information Resource Configurations Transformation Depen
Jin Hyun Kim, Inhye Kang, Sungwon Kang, Abdeldjalil Boudjadar
20160 citations
Semantic Scholar
Statechart/ACSR: Combining ACSR and Statechart for Formal Specification
Dae-Yon Hwang, Jinhyun Kim, Y. Ahn, Inhye Kang +1 more
20120 citations
Semantic Scholar
Z based Framework for Networked System Specification and Verification
Jeehoon Shin, Jin-Young Choi, Inhye Kang, B. Koh
20120 citations
Semantic Scholar