Latest News
Recent achievements and updates from our research group, including newly accepted SCI(E) papers in AI Safety, Medical AI, and Cyber-Physical Systems.
- Soomin Cho, Inhye Kang, and Jin Hyun Kim. "From timed automata to go: Formally verified code generation and runtime monitoring for cyber-physical systems." IEEE Access, 13:161729–161749, 2025. doi: 10.1109/ACCESS.2025.3608215. [PDF]
- S. Baek, I. Lee, K. Jin Jang, Y. Han, and J. H. Kim. "Low-Cost and Fast Epiretinal Membrane Detection and Quantification Based on SD-OCT." IEEE Access, vol. 13, pp. 196887-196901, 2025. doi: 10.1109/ACCESS.2025.3629332. [PDF]
- H. Yoon, E. Jo, S. Ryu, J.-I. Yoo, M. Kim, and J. H. Kim. "Noise-robust markerless video gait anomaly detection via two-stage acquisition and LSTM autoencoders." Scientific Reports, 15, 42074, 2025. doi: 10.1038/s41598-025-26169-9. [PDF]
- M. Kwon, K. J. Jang, S. J. Baek, Y. S. Han, H. Choi, I. Lee, and J. H. Kim. "Ophtimus-V2-Tx: a compact domain-specific LLM for ophthalmic diagnosis and treatment planning." Scientific Reports, 15, 43532, 2025. doi: 10.1038/s41598-025-27410-1. [PDF]
More updates coming soon as our group continues advancing AI Safety, Medical LLMs, and CPS verification research.