Publications

Selected publications in international journals and conferences, as well as domestic journals, organized by year.

International Journals

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.

International Conferences

2025

  • Seung Ju Baek, Kuk Jin Jang, Sooyong Jang, Hyonyoung Choi, Minwook Kwon, Yong Seop Han, Seongjin Lee, Kim, Jin Hyun, and Insup Lee. “Ophtimus-LLM: Development of a specialized large language model for ophthalmology.” In Proceedings of the AAAI 2025 Workshop on Generative AI for Health (GenAI4Health), March 2025. Poster; GenAI4Health (AAAI 2025 Workshop); Submission No. 72; Published: 2025-03-08; Last modified: 2025-03-25; License: CC BY 4.0.

  • Sooyong Jang, Kuk Jin Jang, Hyonyoung Choi, Yong-Seop Han, Seongjin Lee, Kim, Jin-Hyun, and Insup Lee. “Fundus image-based visual acuity assessment with PAC-guarantees.” In Proceedings of the 4th Machine Learning for Health Symposium (ML4H 2025), volume 259 of Proceedings of Machine Learning Research, pages 535–549. PMLR, 2025. Presented at ML4H 2025.

2017

  • Jin Hyun Kim, Deepak Gangadharan, Oleg Sokolosky, Axel Legay, and Insup Lee. “Extensible energy planning framework for preemptive tasks.” In 20th IEEE International Symposium on Real-Time Computing, May 2017.

2016

  • Jalil Boudjadar, Jin Hyun Kim, and Simin Nadjm-Tehrani. “Performance-aware scheduling of multicore time-critical systems.” In 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE 2016), Kanpur, India, November 18–20, 2016, pages 105–114. IEEE, 2016.

  • Mounir Chadli, Jin Hyun Kim, Axel Legay, Louis-Marie Traonouez, Stefan Naujokat, Bernhard Steffen, and Kim Guldstrand Larsen. “A model-based framework for the specification and analysis of hierarchical scheduling systems.” In Lecture Notes in Computer Science, volume 9933, pages 133–141. Springer, 2016.

  • Deepak Gangadharan, Jin Hyun Kim, Oleg Sokolsky, BaekGyu Kim, Chung-Wei Lin, Shinichi Shiraishi, and Insup Lee. “Platform-based plug and play of automotive safety features: Challenges and directions (invited paper).” In 22nd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2016), Daegu, South Korea, August 17–19, 2016, pages 76–84. IEEE Computer Society, 2016.

  • Jin Hyun Kim, Axel Legay, Louis-Marie Traonouez, Mathieu Acher, and Sungwon Kang. “A formal modeling and analysis framework for software product line of preemptive real-time systems.” In Sascha Ossowski (ed.), Proceedings of the 31st Annual ACM Symposium on Applied Computing, Pisa, Italy, April 4–8, 2016, pages 1562–1565. ACM, 2016.

2015

  • Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim G. Larsen, Marius Mikučionis, Ulrik Nyman, Arne Skou, Linh Thi Xuan Phan, and Insup Lee. “Flexible framework for statistical schedulability analysis of probabilistic sporadic tasks.” In Proceedings of the 18th IEEE International Symposium on Real-Time Computing (ISORC), 2015.

  • Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim G. Larsen, Marius Mikučionis, Ulrik Nyman, Arne Skou, Linh Thi Xuan Phan, and Insup Lee. “Quantitative schedulability analysis of continuous probability tasks in a hierarchical context.” In Proceedings of the 18th International ACM Sigsoft Symposium on Component-Based Software Engineering (CBSE 2015), 2015.

  • Abdeldjalil Boudjadar, Juergen Dingel, Boris Madzar, and Jin Hyun Kim. “Compositional predictability analysis of mixed critical real-time systems.” In Cyrille Artho and Peter Csaba Ölveczky (eds.), Formal Techniques for Safety-Critical Systems - Fourth International Workshop (FTSCS 2015), Paris, France, November 6–7, 2015. Revised Selected Papers, volume 596 of Communications in Computer and Information Science, pages 69–84. Springer, 2015.

  • Jin Hyun Kim, Kim G. Larsen, Petur Olsen, Brian Nielsen, and Marius Mikučionis. “Formal analysis and testing of real-time automotive systems using UPPAAL tools.” In Proceedings of the 20th International Workshop on Formal Methods for Industrial Critical Systems (FMICS’15), 2015.

  • 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.” In Proceedings of the 8th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS 2015), 2015.

  • Jin Hyun Kim, Brian Nielsen, Kim G. Larsen, Marius Mikucionis, and Axel Legay. “Resource-parameterized timing analysis of real-time systems.” In Proceedings of the 11th Haifa Verification Conference (HVC’15), 2015.

2014

  • Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim. G. Larsen, Marius Mikučionis, Ulrik Nyman, and Arne Skou. “Schedulability and energy efficiency for multi-core hierarchical scheduling systems.” In Proceedings of the International Congress on Embedded Real-Time Software and Systems (ERTSS), 2014.

  • Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim Guldstrand Larsen, Marius Mikucionis, Ulrik Nyman, and Arne Skou. “Widening the schedulability of hierarchical scheduling systems.” In Ivan Lanese and Eric Madelaine (eds.), Formal Aspects of Component Software - 11th International Symposium (FACS 2014), Bertinoro, Italy, September 10–12, 2014, Revised Selected Papers, volume 8997 of Lecture Notes in Computer Science, pages 209–227. Springer, 2014.

  • Abdeldjalil Boudjadar, Jin Hyun Kim, Kim. G. Larsen, and Ulrik Nyman. “Model checking process algebra of communicating resources for real-time systems.” In Proceedings of the 26th Euromicro Conference on Real-Time Systems (ECRTS), 2014.

  • A. Jalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, and Arne Skou. “Degree of schedulability of mixed-criticality real-time systems with probabilistic sporadic tasks.” In 2014 Theoretical Aspects of Software Engineering Conference (TASE 2014), Changsha, China, September 1–3, 2014, pages 126–130. IEEE, 2014.

  • A. Jalil Boudjadar, Jin Hyun Kim, Ulrik Nyman, and Kim Guldstrand Larsen. “Compositional schedulability analysis of an avionics system using UPPAAL.” In Proceedings of the International Conference on Advanced Aspects of Software Engineering (ICASSE), 2014.

2013

  • Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim Guldstrand Larsen, Marius Mikucionis, Ulrik Nyman, and Arne Skou. “Hierarchical scheduling framework based on compositional analysis using UPPAAL.” In José Luiz Fiadeiro, Zhiming Liu, and Jinyun Xue (eds.), Formal Aspects of Component Software - 10th International Symposium (FACS 2013), Nanchang, China, October 27–29, 2013, Revised Selected Papers, volume 8348 of Lecture Notes in Computer Science, pages 61–78. Springer, 2013.

  • Younghun Han, Sungwon Kang, and Jinhyun Kim. “Excharon: Improved modeling language for cyber-physical systems based on Charon.” In Proceedings of the IEEE 16th International Conference on Computational Science and Engineering, pages 734–741, Los Alamitos, CA, USA, 2013. IEEE Computer Society.

2012

  • Jin Hyun Kim and Sungwon Kang. “A schedulability analysis framework for real-time infrastructure systems managing heterogeneous resources.” In Proceedings of the International Workshop on Real-Time and Distributed Computing in Emerging Applications (REACTION), December 2012.

2010

  • Jin Hyun Kim, Inhye Kang, Jin-Young Choi, and Insup Lee. “Generating composite behavior of embedded software components based on UML behavioral model and process algebra.” In Proceedings of UML&FM, December 2010.

2007

  • Jin Hyun Kim, Jae-Hwan Sim, Chang-Jin Kim, Jin-Young Kim, and Jin-Young Choi. “Formal embedded operating system model based on resource-based design framework.” In Proceedings of the Seventh International Conference on Quality Software (QSIC 2007), pages 244–249, October 2007.

  • Jin Hyun Kim and Jin-Young Choi. “Embedded system modeling based on resource-oriented model.” In Proceedings of the 14th Annual IEEE International Conference and Workshops on Engineering of Computer-Based Systems (ECBS), pages 203–212, March 2007.

2003

  • Jin Hyun Kim and Jin-Young Choi. “A framework for modeling and analysis of real-time system operating system.” In Proceedings of the International Symposium on Automated Technology for Verification and Analysis (ATVA), December 2003.

2000

  • Young-Ho Kim, Jin Hyun Kim, Ji-Young Kim, Jee-In Kim, Jin-Young Choi, and Chang Woo Pyo. “A visual component based tool for developing embedded application software.” In Proceedings of the International Conference on Human-Computer Interaction, pages 180–184, 2000.

Domestic Journals

2025

  • Jin Hyun Kim et al. “Real-time requirements analysis of ROS-based path planning systems.” Journal of KIISE: Computing Practices, 31(3):128, March 2025. Korean title: ROS 기반 경로계획 시스템의 실시간 요구 사항 분석.

2024

  • Jin Hyun Kim et al. “A machine learning model for toothbrush position tracking using a low-cost 6-axis IMU sensor.” Transactions of the Korean Institute of Electrical Engineers, 73(2):367, February 2024. Korean title: 저비용 6축 IMU 센서를 이용한 양치구역 추정을 위한 기계학습 모델 개발.

2023

  • Jin Hyun Kim et al. “Prediction of toothbrushing position based on gyro sensor data and its validation using unsupervised learning-based clustering.” Journal of KIISE, 50(12):1152, December 2023. Korean title: 자이로 센서 데이터를 활용한 양치 위치 추정 및 비지도 학습 클러스터링을 통한 검증.

2022

  • Jin Hyun Kim et al. “A performance comparison of anomaly detection techniques for smartwatch-based COVID-19 pre-symptomatic detection.” Journal of KIISE: Computing Practices, 28(7):379, July 2022. Korean title: 스마트워치 기반 COVID-19 전조 증상 탐지를 위한 이상탐지 기술의 성능 비교.

2021

  • Jin Hyun Kim et al. “COVID-19 detection using disease monitoring systems based on vital-signs from smartwatch.” Transactions of the Korean Institute of Electrical Engineers, 70(8):1207, August 2021.

  • Jin Hyun Kim et al. “Automated one-hot eye diseases diagnostic framework using deep-learning techniques.” Transactions of the Korean Institute of Electrical Engineers, 70(7):1043, July 2021.

  • Jin Hyun Kim et al. “Analysis of limits in applying AP-QoS-based Wi-Fi slicing for real-time systems.” Journal of KIISE, 48(6):734, June 2021. Korean title: AP-QoS 기반 Wi-Fi 슬라이싱의 실시간 시스템 적용의 한계 분석.

  • Jin Hyun Kim et al. “ILP-based schedule synthesis of time-sensitive networking.” Journal of KIISE, 48(6):603, June 2021.

2020

  • Jin Hyun Kim et al. “Cell quantization tool for anterior chamber OCT images.” Transactions of the Korean Institute of Electrical Engineers, 69(7), July 2020. Korean title: 전방 OCT 이미지를 위한 세포정량화 도구.

2012

  • Dae Yan Hwang, Jin Hyun Kim, and Jin-Young Choi. “Statechart/ACSR: Combining ACSR and Statechart for formal specification.” Journal of the Korean Institute of Information Scientists and Engineers: Computing Practices and Letters (in Korean), 18(2), January 2012.

2011

  • Jin Hyun Kim, Inhye Kang, Pyung Su Kim, and Sungwon Kang. “Verification of timing properties for software behaviors on AUTOSAR architecture using process algebra.” Journal of KIISE: Software and Applications (in Korean), 38(11), November 2011. 2012 Good Paper Award of KIISE.

2008

  • Jeanho Lee, Daeyon Hwang, Jin Hyun Kim, Junkil Park, and Jin-Young Choi. “Development of the formal requirements specification of the safety-critical railway systems.” Journal of KIISE: Software and Applications (in Korean), 35(12):0731–0740, December 2008.

2004

  • Na-Young Lee, Jin Hyun Kim, Ah-Young Sung, Yong-Ah Ahn, Jin-Young Choi, Byung-Ju Choi, and Jang-Su Lee. “Development of nuclear power plant I&C embedded software using formal verification and testing.” Journal of KIISE (in Korean), 2(06), June 2004.

    </div>

</section>