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.

</div>

</section>