Jin Hyun Kim
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
15
Venues
11
Active years
2001–2022
Best venue rank
C
Where they publish
Papers
15 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | APSEC | MediaPipe-based LSTM-Autoencoder Sarcopenia Anomaly Detection and Requirements for Improving Detection Accuracy. | Hye Rin Yoon, Jin Hyun Kim, Eun Ah Jo, Seung Jae Ryu, Jun-Il Yoo |
| 2022 | DaMoN | Improving In-Memory Database Operations with Acceleration DIMM (AxDIMM). | 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 |
| 2018 | ISORC | Generic Formal Framework for Compositional Analysis of Hierarchical Scheduling Systems. | Jalil Boudjadar, Jin Hyun Kim, Linh Thi Xuan Phan, Insup Lee, Kim G. Larsen, Ulrik Nyman |
| 2017 | ISORC | Extensible Energy Planning Framework for Preemptive Tasks. | Jin Hyun Kim, Deepak Gangadharan, Oleg Sokolsky, Axel Legay, Insup Lee |
| 2016 | FMICS | A Model-Based Framework for the Specification and Analysis of Hierarchical Scheduling Systems. | Mounir Chadli, Jin Hyun Kim, Axel Legay, Louis-Marie Traonouez, Stefan Naujokat, Bernhard Steffen, Kim Guldstrand Larsen |
| 2016 | MEMOCODE | Performance-aware scheduling of multicore time-critical systems. | Jalil Boudjadar, Jin Hyun Kim, Simin Nadjm-Tehrani |
| 2016 | SAC | A formal modeling and analysis framework for software product line of preemptive real-time systems. | Jin Hyun Kim, Axel Legay, Louis-Marie Traonouez, Mathieu Acher, Sungwon Kang |
| 2016 | RTCSA | Platform-Based Plug and Play of Automotive Safety Features: Challenges and Directions (Invited Paper). | Deepak Gangadharan, Jin Hyun Kim, Oleg Sokolsky, BaekGyu Kim, Chung-Wei Lin, Shinichi Shiraishi, Insup Lee |
| 2015 | FMICS | Formal Analysis and Testing of Real-Time Automotive Systems Using UPPAAL Tools. | Jin Hyun Kim, Kim G. Larsen, Brian Nielsen, Marius Mikucionis, Petur Olsen |
| 2015 | ISORC | Flexible Framework for Statistical Schedulability Analysis of Probabilistic Sporadic Tasks. | Abdeldjalil Boudjadar, Jin Hyun Kim, Alexandre David, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou, Insup Lee, Linh Thi Xuan Phan |
| 2014 | ECRTS | Model Checking Process Algebra of Communicating Resources for Real-Time Systems. | Abdeldjalil Boudjadar, Jin Hyun Kim, Kim G. Larsen, Ulrik Nyman |
| 2014 | TASE | Degree of Schedulability of Mixed-Criticality Real-Time Systems with Probabilistic Sporadic Tasks. | Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou |
| 2007 | HCI | Entelechy and Embodiment in (Artistic) Human-Computer Interaction. | Uwe Seifert, Jin Hyun Kim |
| 2004 | ATVA | Development of RTOS for PLC Using Formal Methods. | Jin Hyun Kim, Su-Young Lee, Young Ah Ahn, Jae-Hwan Sim, Jin Seok Yang, Na-Young Lee, Jin-Young Choi |
| 2001 | HCI | A visual component based tool for developing embedded application software. | Young-Ho Kim, Jin Hyun Kim, Ji-Young Kim, Jee-In Kim, Jin-Young Choi, Chang Woo Pyo |