Software Development Framework for Cooperating Robots with High-level Mission Specification. - Hyesun Hong; Woosuk Kang; Soonhoi Ha (IROS, 2020)

Memory Usage Estimation for Dataflow-Model-Based Software Development Methodology. - Kyonghwan Yoon; Eunjin Jeong; Woosuk Kang; Soonhoi Ha (IEEE Des. Test, 2024)

Software Synthesis From High-Level Specification for Swarm Robotic Applications. - Woosuk Kang; Eunjin Jeong; Kyonghwan Yoon; Soonhoi Ha (IEEE Embed. Syst. Lett., 2024)

Optimization of Task Allocation for Resource-Constrained Swarm Robots. - Woosuk Kang; Eunjin Jeong; Sungjun Shim; Soonhoi Ha (IEEE Trans Autom. Sci. Eng., 2025)

Worst case response time analysis for completely fair scheduling in Linux systems. - Kyonghwan Yoon; Eunjin Jeong; Woosuk Kang; Jonghyun Choe; Soonhoi Ha (Real Time Syst., 2025)