Korean 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 기반 경로계획 시스템의 실시간 요구 사항 분석.

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 센서를 이용한 양치구역 추정을 위한 기계학습 모델 개발.

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: 자이로 센서 데이터를 활용한 양치 위치 추정 및 비지도 학습 클러스터링을 통한 검증.

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 전조 증상 탐지를 위한 이상탐지 기술의 성능 비교.

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.

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 이미지를 위한 세포정량화 도구.

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.

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.

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.

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.