Developing an Object-Oriented Software Testing and Maintenance Environment. - David Chenho Kung; Jerry Gao 002; Pei Hsia; Yasufumi Toyoshima; Chris Chen; Young-Si Kim; Young-Kee Song (Commun. ACM, 1995)

Schedulability and safety analysis in the graphical communicating shared resources. - Hanêne Ben-Abdallah; Young-Si Kim; Insup Lee 001 (WORDS, 1996)

Integrated Specification and Analysis of Functional, Temporal, and Resource Requirements. - Hanêne Ben-Abdallah; Insup Lee 001; Young-Si Kim (RE, 1997)

A Process Algebraic Approach to the Schedulability Analysis of Real-Time Systems. - Hanêne Ben-Abdallah; Jin-Young Choi; Duncan Clarke; Young-Si Kim; Insup Lee 001; Hong-liang Xie (Real Time Syst., 1998)

An Efficient State Space Generation for the Analysis of Real-Time Systems. - Inhye Kang; Insup Lee 001; Young-Si Kim (IEEE Trans. Software Eng., 2000)