2025

• Soomin Cho, Inhye Kang, and Kim, Jin Hyun.
  “From timed automata to go: Formally verified code generation and runtime monitoring for cyber-physical systems.”
  IEEE Access, 13:161729–161749, 2025.

• Kim, Jin Hyun et al.
  “Low-cost and fast epiretinal membrane detection and quantification based on SD-OCT.”
  IEEE Access, 2025. Accepted for publication, 2025.

• Kim, Jin Hyun et al.
  “Noise-robust markerless video gait anomaly detection via two-stage acquisition and LSTM autoencoders.”
  Scientific Reports, 2025. Accepted for publication, 2025.

• Kim, Jin Hyun et al.
  “Ophtimus-V2-Tx: A compact domain-specific LLM for ophthalmic diagnosis and treatment planning.”
  Scientific Reports, 2025. Accepted for publication, 2025.

2024

• Kim, Jin Hyun et al.
  “Development of oculomics artificial intelligence for cardiovascular risk factors: A case study in fundus oculomics for HbA1c assessment and clinically relevant considerations for clinicians.”
  Asia-Pacific Journal of Ophthalmology, 13(4), July 2024.
  Affiliation correction in progress as of 2024-11-01.

2022

• Kim, Jin Hyun et al.
  “Estimation of best corrected visual acuity based on deep neural network.”
  Scientific Reports, 12(1), October 2022.

• Jin Hyun Kim et al.
  “Machine learning-based optimization of pre-symptomatic COVID-19 detection through smartwatch.”
  Scientific Reports, 12(1), May 2022.

• Kim, Jin Hyun et al.
  “Asymmetry between right and left fundus images identified using convolutional neural networks.”
  Scientific Reports, 12(1), April 2022. Corrigendum noted 2022-10-25.

• Jin Hyun Kim et al.
  “A deep learning ensemble method to visual acuity measurement using fundus images.”
  Applied Sciences, 12(6), March 2022.

2021

• Kim, Jin Hyun et al.
  “Development of fully automated anterior chamber cell analysis based on image software.”
  Scientific Reports, 11(1), May 2021.

• Kim, Jin Hyun et al.
  “Model checking resiliency and sustainability of in-vehicle network for real-time authenticity.”
  Applied Sciences, 11(3), February 2021.

2016

• Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, and Arne Skou.
  “Statistical and exact schedulability analysis of hierarchical scheduling systems.”
  Science of Computer Programming, 127:103–130, 2016. SCI(E), Impact Factor: 1.064.

• Jin Hyun Kim, Axel Legay, Louis-Marie Traonouez, Abdeldjalil Boudjadar, Ulrik Nyman, Kim G. Larsen, Insup Lee, and Jin-Young Choi.
  “Optimizing the resource requirements of hierarchical scheduling systems.”
  SIGBED Review, 13(3):41–48, 2016.

• Kim, Jin Hyun, Inhye Kang, Sungwon Kang, and Abdeldjalil Boudjadar.
  “A process algebraic approach to resource-parameterized timing analysis of automotive software architectures.”
  IEEE Transactions on Industrial Informatics, 12(2):655–671, 2016. SCI(E), Impact Factor: 4.708.

2015

• Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, and Arne Skou.
  “A reconfigurable framework for compositional schedulability and power analysis of hierarchical scheduling systems with frequency scaling.”
  Science of Computer Programming, 113(P3):236–260, December 2015. SCI(E), Impact Factor: 1.064.

• Kim, Jin Hyun, Inhye Kang, Jin-Young Choi, Insup Lee, and Sungwon Kang.
  “Formal synthesis of application and platform behaviors of embedded software systems.”
  Software & Systems Modeling, pages 839–859, 2015. SCI(E), Impact Factor: 1.654.

2011

• Kim, Jin Hyun, Jin-Young Choi, Inhye Kang, and Insup Lee.
  “Generating composite behavior of embedded software components based on UML behavioral model and process algebra.”
  SIGSOFT Software Engineering Notes, 36(1):1–9, January 2011.

2010

• Jin Hyun Kim, Inhye Kang, Jin-Young Choi, and Insup Lee.
  “Timed and resource-oriented statecharts for embedded software.”
  IEEE Transactions on Industrial Informatics, 6(4):568–578, November 2010. SCI(E), Impact Factor: 4.708.

• Jin Hyun Kim, Jin-Young Choi, Inhye Kang, and Insup Lee.
  “UML behavior models of real-time embedded software for model-driven architecture.”
  Journal of Universal Computer Science, 16(17):2415–2434, September 2010. SCI(E), Impact Factor: 0.762.

2008

• Jin Hyun Kim, Jae-Hwan Sim, and Jin-Young Choi.
  “Resource-oriented design framework for embedded system components.”
  Electronic Notes in Theoretical Computer Science, 215:171–189, 2008.

2006

• Jin Hyun Kim, Na Young Lee, and Jin-Young Choi.
  “Formal specification and verification of PLC for certification.”
  SIGBED Review, Special Issue on Workshop on Innovative Techniques for Certification of Embedded Systems, 3(4), October 2006.