Inhye Kang

According to our database¹, Inhye Kang authored at least 37 papers between 1996 and 2017.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2017

Overcoming IoT Language Barriers Using Smartphone SDRs.

[BibT_eX]

[DOI]

IEEE Trans. Mob. Comput., 2017

A process algebraic approach to the schedulability analysis and workload abstraction of hierarchical real-time systems.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2017

2016

A Process Algebraic Approach to Resource-Parameterized Timing Analysis of Automotive Software Architectures.

[BibT_eX]

[DOI]

Jin Hyun Kim

Inhye Kang

Sungwon Kang

Abdeldjalil Boudjadar

IEEE Trans. Ind. Informatics, 2016

A Verification Method of SDN Firewall Applications.

[BibT_eX]

[DOI]

IEICE Trans. Commun., 2016

Geographic scheduling of directional transmission for periodic safety messages in IEEE WAVE.

[BibT_eX]

[DOI]

Comput. Commun., 2016

2015

Formal synthesis of application and platform behaviors of embedded software systems.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2015

2014

Resolving the Unfairness of Distributed Rate Control in the IEEE WAVE Safety Messaging.

[BibT_eX]

[DOI]

Byungjo Kim

Inhye Kang

Hyogon Kim

IEEE Trans. Veh. Technol., 2014

Formal Modeling and Verification of Motor Drive Software for Networked Motion Control Systems.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2014

2011

Generating composite behavior of embedded software components based on UML behavioral model and process algebra.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2011

2010

Timed and Resource-oriented Statecharts for Embedded Software.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Informatics, 2010

UML Behavior Models of Real-Time Embedded Software for Model-Driven Architecture.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2010

Analysis of the Rate-Based Channel Access Prioritization for Drive-Thru Applications in the IEEE 802.11p WAVE.

[BibT_eX]

[DOI]

Inhye Kang

Hyogon Kim

IEICE Trans. Commun., 2010

2008

Secure Vehicular Communication for Safety Applications - A Measurement Study.

[BibT_eX]

[DOI]

Proceedings of the 67th IEEE Vehicular Technology Conference, 2008

A snooping rate adaptation algorithm for IEEE 802.11 WLANs.

[BibT_eX]

[DOI]

Proceedings of the Third International Symposium on Wireless Pervasive Computing, 2008

Hop-by-Hop Frame Aggregation for VoIP on Multi-Hop Wireless Networks.

[BibT_eX]

[DOI]

Proceedings of IEEE International Conference on Communications, 2008

2007

100+ VoIP Calls on 802.11b: The Power of Combining Voice Frame Aggregation and Uplink-Downlink Bandwidth Control in Wireless LANs.

[BibT_eX]

[DOI]

IEEE J. Sel. Areas Commun., 2007

2006

Formal Verification of Security Model Using SPR Tool.

[BibT_eX]

[DOI]

Comput. Artif. Intell., 2006

Squeezing 100+ VoIP calls out of 802.11b WLANs.

[BibT_eX]

[DOI]

Sangki Yun

Hyogon Kim

Inhye Kang

Proceedings of the 2006 International Symposium on a World of Wireless, 2006

Improving VoIP Call Capacity of Multi-Hop Wireless Networks through Self-Controlled Frame Aggregation.

[BibT_eX]

[DOI]

Proceedings of the 64th IEEE Vehicular Technology Conference, 2006

On the Cross-Layer Impact of TCP ACK Thinning on IEEE 802.11 Wireless MAC Dynamics.

[BibT_eX]

[DOI]

Proceedings of the 64th IEEE Vehicular Technology Conference, 2006

A Simple Congestion-Resilient Link Adaptation Algorithm for IEEE 802.11 WLANs.

[BibT_eX]

[DOI]

Proceedings of the Global Telecommunications Conference, 2006. GLOBECOM '06, San Francisco, CA, USA, 27 November, 2006

Secrecy Analysis of Purchase Transaction in Electronic Purses.

[BibT_eX]

[DOI]

Proceedings of the 20th International Conference on Advanced Information Networking and Applications (AINA 2006), 2006

2005

Preventing Session Table Explosion in Packet Inspection Computers.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2005

Resolving 802.11 performance anomalies through QoS differentiation.

[BibT_eX]

[DOI]

IEEE Commun. Lett., 2005

Model-Based Analysis of Money Accountability in Electronic Purses.

[BibT_eX]

[DOI]

Proceedings of the Internet and Network Economics, First International Workshop, 2005

2004

Real-time visualization of network attacks on high-speed links.

[BibT_eX]

[DOI]

Hyogon Kim

Inhye Kang

Saewoong Bahk

IEEE Netw., 2004

Fast Classification, Calibration, and Visualization of Network Attacks on Backbone Links.

[BibT_eX]

[DOI]

Proceedings of the Information Networking, 2004

On the functional validity of the worm-killing worm.

[BibT_eX]

[DOI]

Hyogon Kim

Inhye Kang

Proceedings of IEEE International Conference on Communications, 2004

2003

Taming Large Classifiers with Rule Reference Locality.

[BibT_eX]

[DOI]

Proceedings of the Information Networking, 2003

Determining embryonic connection timeout in stateful inspection.

[BibT_eX]

[DOI]

Inhye Kang

Hyogon Kim

Proceedings of IEEE International Conference on Communications, 2003

On the effectiveness of Martian address filtering and its extensions.

[BibT_eX]

[DOI]

Hyogon Kim

Inhye Kang

Proceedings of the Global Telecommunications Conference, 2003

2002

Measurement-based multi-call voice frame grouping in Internet telephony.

[BibT_eX]

[DOI]

Hyogon Kim

Inhye Kang

Eenjun Hwang

IEEE Commun. Lett., 2002

2001

Reducing TCP response time in face of wireless uplink losses.

[BibT_eX]

[DOI]

Hyogon Kim

Changhoon Han

Inhye Kang

Proceedings of the 54th IEEE Vehicular Technology Conference, 2001

2000

An Efficient State Space Generation for the Analysis of Real-Time Systems.

[BibT_eX]

[DOI]

Inhye Kang

Insup Lee

Young-Si Kim

IEEE Trans. Software Eng., 2000

Equivalence Checking of Two Statechart Specifications.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE International Workshop on Rapid System Prototyping (RSP 2000), 2000

1999

TREAT: Timed REachability Analysis Tool.

[BibT_eX]

Inhye Kang

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999

1996

An Efficient State Space Generation for Analysis of Real-Time Systems.

[BibT_eX]

[DOI]

Inhye Kang

Insup Lee

Proceedings of the 1996 International Symposium on Software Testing and Analysis, 1996

Inhye Kang

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...