Personal profile
Fingerprint
Dive into the research topics where InHye Kang is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
From Timed Automata to Go: Formally Verified Code Generation and Runtime Monitoring for Cyber-Physical Systems
Cho, S., Kang, I. & Kim, J. H., 2025, In: IEEE Access. 13, p. 161729-161749 21 p.Research output: Contribution to journal › Article › peer-review
Open Access -
A process algebraic approach to the schedulability analysis and workload abstraction of hierarchical real-time systems
Park, J., Lee, I., Sokolsky, O., Hwang, D. Y., Ahn, S., Choi, J. Y. & Kang, I., Nov 2017, In: Journal of Logical and Algebraic Methods in Programming. 92, p. 1-18 18 p.Research output: Contribution to journal › Article › peer-review
Open Access4 Scopus citations -
Overcoming IoT Language Barriers Using Smartphone SDRs
Park, Y., Kuk, S., Kang, I. & Kim, H., 1 Mar 2017, In: IEEE Transactions on Mobile Computing. 16, 3, p. 816-828 13 p., 7479532.Research output: Contribution to journal › Article › peer-review
11 Scopus citations -
A Process Algebraic Approach to Resource-Parameterized Timing Analysis of Automotive Software Architectures
Kim, J. H., Kang, I., Kang, S. & Boudjadar, A., Apr 2016, In: IEEE Transactions on Industrial Informatics. 12, 2, p. 655-671 17 p., 7403990.Research output: Contribution to journal › Article › peer-review
12 Scopus citations -
A verification method of SDN firewall applications
Kang, M., Choi, J. Y., Kang, I., Kwak, H. H., Ahn, S. J. & Shin, M. K., Jul 2016, In: IEICE Transactions on Communications. E99B, 7, p. 1408-1415 8 p.Research output: Contribution to journal › Article › peer-review
7 Scopus citations