Soomin Cho

According to our database, Soomin Cho authored at least 3 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2025

From Timed Automata to Go: Formally Verified Code Generation and Runtime Monitoring for Cyber-Physical Systems.

Soomin Cho, Inhye Kang, Jin Hyun Kim

IEEE Access, 2025

2024

14nm FinFET Node Embedded MRAM Technology for Automotive Non-Volatile RAM Applications with Endurance Over 1E12-Cycles.

Joosung Oh, Jaehyeon Park, Kiseok Suh, Kangmoon Lee, Sohee Hwang, Myeongjun Bak, Honghyun Kim, Baeseong Kwon, DongKyu Lee, Minkwan Kim, Seungmo Noh, Jongmin Lee, Soomin Cho, Gyuseong Kang, Hyun-Jin Shin, Yongsung Ji, Atsushi Okada, Ung-Hwan Pi, Kwangseok Kim, Younghyun Kim, Jeong-Heon Park, Seungpil Ko, Tae-Young Lee, Kyungtae Nam, Minkwon Cho, Boyoung Seo, Shinhee Han, Yoonjong Song, Kangho Lee, Ja-Hum Ku

Proceedings of the IEEE Symposium on VLSI Technology and Circuits 2024, 2024

2021

Highly Reliable 28nm Embedded Flash Process Development for High-Density and High-Speed Automotive Grade-1 Application.

Jaehun Lee, Youngcheon Jeong, Kyongsik Yeom, Changmin Jeon, Jongsung Woo, Sangjin Lee, Ga-Young Lee, Dong-Hwee Hwang, Yong Seok Chung, Minji Seo, Dong-Hyun Kim, DalHwan Kim, Yongsik Kim, HyunChang Lee, Soomin Cho, MyeongHee Oh, Hyun-Jin Shin, Gun Rae Kim, Sungyoung Yoon, Yong Kyu Lee, Young Ki Hong

Proceedings of the IEEE International Memory Workshop, 2021