Jin Hyun Kim

45 papers B 3C 6Misc 3Journal 16Unranked 16
YearRankTypeTitle / Venue / Authors
2025 J jnl
From Timed Automata to Go: Formally Verified Code Generation and Runtime Monitoring for Cyber-Physical Systems.
IEEE Access
Soomin Cho, Inhye Kang, Jin Hyun Kim
2025 J jnl
Low-Cost and Fast Epiretinal Membrane Detection and Quantification Based on SD-OCT.
IEEE Access
Seungju Baek, Insup Lee, Kuk Jin Jang, Yongseop Han, Jin Hyun Kim
2024 J jnl
The Breakthrough Memory Solutions for Improved Performance on LLM Inference.
IEEE Micro
Byeongho Kim, Sanghoon Cha, Sangsoo Park, Jieun Lee, Sukhan Lee, Shinhaeng Kang, Jinin So, Kyungsoo Kim, Jin Jung, Jong-Geon Lee, Sunjung Lee, Yoonah Paik, Hyeonsu Kim, Jin-Seong Kim, Won-Jo Lee, Yuhwan Ro, Yeongon Cho, Jin Hyun Kim, Joon-Ho Song, Jaehoon Yu, Seungwon Lee, Jeonghyeon Cho, Kyomin Sohn
2023 — conf
Samsung PIM/PNM for Transfmer Based AI : Energy Efficiency on PIM/PNM Cluster.
HCS
Jin Hyun Kim, Yuhwan Ro, Jinin So, Sukhan Lee, Shinhaeng Kang, Yeongon Cho, Hyeonsu Kim, Byeongho Kim, Kyungsoo Kim, Sangsoo Park, Jin-Seong Kim, Sanghoon Cha, Won-Jo Lee, Jin Jung, Jonggeon Lee, Jieun Lee, Joon-Ho Song, Seungwon Lee, Jeonghyeon Cho, Jaehoon Yu, Kyomin Sohn
2022 J jnl
Aquabolt-XL HBM2-PIM, LPDDR5-PIM With In-Memory Processing, and AXDIMM With Acceleration Buffer.
IEEE Micro
Jin Hyun Kim, Shinhaeng Kang, Sukhan Lee, Hyeonsu Kim, Yuhwan Ro, Seungwon Lee, David Wang, Jihyun Choi, Jinin So, Yeongon Cho, Joon-Ho Song, Jeonghyeon Cho, Kyomin Sohn, Nam Sung Kim
2022 — ch.
Hierarchical Scheduling.
Handbook of Real-Time Computing
Jin Hyun Kim, Deepak Gangadharan, Kyong Hoon Kim, Insik Shin, Insup Lee
2022 C conf
Improving In-Memory Database Operations with Acceleration DIMM (AxDIMM).
DaMoN
Donghun Lee, Jinin So, Minseon Ahn, Jong-Geon Lee, Jungmin Kim, Jeonghyeon Cho, Oliver Rebholz, Vishnu Charan Thummala, Ravi Shankar JV, Sachin Suresh Upadhya, Mohammed Ibrahim Khan, Jin Hyun Kim
2022 — conf
MediaPipe-based LSTM-Autoencoder Sarcopenia Anomaly Detection and Requirements for Improving Detection Accuracy.
ISE@APSEC
Hye Rin Yoon, Jin Hyun Kim, Eun Ah Jo, Seung Jae Ryu, Jun-Il Yoo
2022 J jnl
Near-Memory Processing in Action: Accelerating Personalized Recommendation With AxDIMM.
IEEE Micro
Liu Ke, Xuan Zhang, Jinin So, Jong-Geon Lee, Shinhaeng Kang, Sukhan Lee, Songyi Han, Yeongon Cho, Jin Hyun Kim, Yongsuk Kwon, Kyungsoo Kim, Jin Jung, IlKwon Yun, Sung Joo Park, Hyunsun Park, Joon-Ho Song, Jeonghyeon Cho, Kyomin Sohn, Nam Sung Kim, Hsien-Hsin S. Lee
2021 — conf
Aquabolt-XL: Samsung HBM2-PIM with in-memory processing for ML accelerators and beyond.
HCS
Jin Hyun Kim, Shinhaeng Kang, Sukhan Lee, Hyeonsu Kim, Woongjae Song, Yuhwan Ro, Seungwon Lee, David Wang, Hyunsung Shin, BengSeng Phuah, Jihyun Choi, Jinin So, Yeongon Cho, Joon-Ho Song, Jangseok Choi, Jeonghyeon Cho, Kyomin Sohn, Young-Soo Sohn, Kwang-Il Park, Nam Sung Kim
2020 J jnl
MAuth-CAN: Masquerade-Attack-Proof Authentication for In-Vehicle Networks.
IEEE Trans. Veh. Technol.
Hyo Jin Jo, Jin Hyun Kim, Hyon-Young Choi, Wonsuk Choi, Dong Hoon Lee, Insup Lee
2020 J jnl
Use of structurally-accurate 3D plant models for estimating light interception and photosynthesis of sweet pepper (
Comput. Electron. Agric.
Dongpil Kim, Woo Hyun Kang, Inha Hwang, Jaewoo Kim, Jin Hyun Kim, Kyoung Sub Park, Jung-Eek Son
2018 C conf
Generic Formal Framework for Compositional Analysis of Hierarchical Scheduling Systems.
ISORC
Jalil Boudjadar, Jin Hyun Kim, Linh Thi Xuan Phan, Insup Lee, Kim G. Larsen, Ulrik Nyman
2018 J jnl
High-level frameworks for the specification and verification of scheduling problems.
Int. J. Softw. Tools Technol. Transf.
Mounir Chadli, Jin Hyun Kim, Kim G. Larsen, Axel Legay, Stefan Naujokat, Bernhard Steffen, Louis-Marie Traonouez
2018 J jnl
Towards Overhead-Free Interface Theory for Compositional Hierarchical Real-Time Systems.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Jin Hyun Kim, Kyong Hoon Kim, Arvind Easwaran, Insup Lee
2017 — conf
A smart-phone based portable ultrasound imaging system for point-of-care applications.
CISP-BMEI
Jin Hyun Kim, Sunmi Yeo, Min Kim, Sangbum Kye, Youngbae Lee, Tai-Kyong Song
2017 C conf
Extensible Energy Planning Framework for Preemptive Tasks.
ISORC
Jin Hyun Kim, Deepak Gangadharan, Oleg Sokolsky, Axel Legay, Insup Lee
2016 — conf
A Model-Based Framework for the Specification and Analysis of Hierarchical Scheduling Systems.
FMICS-AVoCS
Mounir Chadli, Jin Hyun Kim, Axel Legay, Louis-Marie Traonouez, Stefan Naujokat, Bernhard Steffen, Kim Guldstrand Larsen
2016 J jnl
A Process Algebraic Approach to Resource-Parameterized Timing Analysis of Automotive Software Architectures.
IEEE Trans. Ind. Informatics
Jin Hyun Kim, Inhye Kang, Sungwon Kang, Abdeldjalil Boudjadar
2016 Misc conf
A formal modeling and analysis framework for software product line of preemptive real-time systems.
SAC
Jin Hyun Kim, Axel Legay, Louis-Marie Traonouez, Mathieu Acher, Sungwon Kang
2016 J jnl
Optimizing the resource requirements of hierarchical scheduling systems.
SIGBED Rev.
Jin Hyun Kim, Axel Legay, Louis-Marie Traonouez, Abdeldjalil Boudjadar, Ulrik Nyman, Kim G. Larsen, Insup Lee, Jin-Young Choi
2016 C conf
Performance-aware scheduling of multicore time-critical systems.
MEMOCODE
Jalil Boudjadar, Jin Hyun Kim, Simin Nadjm-Tehrani
2016 B conf
Platform-Based Plug and Play of Automotive Safety Features: Challenges and Directions (Invited Paper).
RTCSA
Deepak Gangadharan, Jin Hyun Kim, Oleg Sokolsky, BaekGyu Kim, Chung-Wei Lin, Shinichi Shiraishi, Insup Lee
2016 — conf
Smart Belt : A wearable device for managing abdominal obesity.
BigComp
Hyejeong Nam, Jin Hyun Kim, Jee-In Kim
2016 J jnl
Statistical and exact schedulability analysis of hierarchical scheduling systems.
Sci. Comput. Program.
Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou
2015 J jnl
A reconfigurable framework for compositional schedulability and power analysis of hierarchical scheduling systems with frequency scaling.
Sci. Comput. Program.
Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou
2015 — conf
Compositional Predictability Analysis of Mixed Critical Real Time Systems.
FTSCS
Abdeldjalil Boudjadar, Juergen Dingel, Boris Madzar, Jin Hyun Kim
2015 C conf
Flexible Framework for Statistical Schedulability Analysis of Probabilistic Sporadic Tasks.
ISORC
Abdeldjalil Boudjadar, Jin Hyun Kim, Alexandre David, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou, Insup Lee, Linh Thi Xuan Phan
2015 C conf
Formal Analysis and Testing of Real-Time Automotive Systems Using UPPAAL Tools.
FMICS
Jin Hyun Kim, Kim G. Larsen, Brian Nielsen, Marius Mikucionis, Petur Olsen
2015 — conf
Quantitative Schedulability Analysis of Continuous Probability Tasks in a Hierarchical Context.
CBSE
Jin Hyun Kim, Abdeldjalil Boudjadar, Ulrik Nyman, Marius Mikucionis, Kim G. Larsen, Arne Skou, Insup Lee, Linh Thi Xuan Phan
2015 — conf
Resource-Parameterized Timing Analysis of Real-Time Systems.
Haifa Verification Conference
Jin Hyun Kim, Axel Legay, Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen
2014 — conf
Compositional Schedulability Analysis of An Avionics System Using UPPAAL.
ICAASE
Abdeldjalil Boudjadar, Jin Hyun Kim, Kim Guldstrand Larsen, Ulrik Nyman
2014 Misc conf
Degree of Schedulability of Mixed-Criticality Real-Time Systems with Probabilistic Sporadic Tasks.
TASE
Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou
2014 B conf
Model Checking Process Algebra of Communicating Resources for Real-Time Systems.
ECRTS
Abdeldjalil Boudjadar, Jin Hyun Kim, Kim G. Larsen, Ulrik Nyman
2014 — conf
Widening the Schedulability of Hierarchical Scheduling Systems.
FACS
Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim Guldstrand Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou
2013 — conf
Hierarchical Scheduling Framework Based on Compositional Analysis Using Uppaal.
FACS
Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim Guldstrand Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou
2011 J jnl
Generating composite behavior of embedded software components based on UML behavioral model and process algebra.
ACM SIGSOFT Softw. Eng. Notes
Jin Hyun Kim, Jin-Young Choi, Inhye Kang, Insup Lee
2010 J jnl
Timed and Resource-oriented Statecharts for Embedded Software.
IEEE Trans. Ind. Informatics
Jin Hyun Kim, Inhye Kang, Jin-Young Choi, Insup Lee
2010 J jnl
UML Behavior Models of Real-Time Embedded Software for Model-Driven Architecture.
J. Univers. Comput. Sci.
Jin Hyun Kim, Jin-Young Choi, Inhye Kang, Insup Lee
2007 — conf
Embedded System Modeling Based on Resource-Oriented Model.
ECBS
Jin Hyun Kim, Jin-Young Choi
2007 — conf
Entelechy and Embodiment in (Artistic) Human-Computer Interaction.
HCI (1)
Uwe Seifert, Jin Hyun Kim
2007 — conf
Formal Embedded Operating System Model Based on Resource-Based Design Framework.
QSIC
Jin Hyun Kim, Jae-Hwan Sim, Chang-Jin Kim, Jin-Young Choi
2007 — conf
Resource-Oriented Design Framework for Embedded System Components.
FACS
Jin Hyun Kim, Jae-Hwan Sim, Jin-Young Choi
2004 B conf
Development of RTOS for PLC Using Formal Methods.
ATVA
Jin Hyun Kim, Su-Young Lee, Young Ah Ahn, Jae-Hwan Sim, Jin Seok Yang, Na-Young Lee, Jin-Young Choi
2001 Misc conf
A visual component based tool for developing embedded application software.
HCI
Young-Ho Kim, Jin Hyun Kim, Ji-Young Kim, Jee-In Kim, Jin-Young Choi, Chang Woo Pyo