Young-Si Kim

Publication Activity (10 Years)

Years Active: 1995-2000
Publications (10 Years): 0

Publications

Inhye Kang, Insup Lee, Young-Si Kim
An Efficient State Space Generation for the Analysis of Real-Time Systems. IEEE Trans. Software Eng. 26 (5) (2000)
Hanêne Ben-Abdallah, Jin-Young Choi, Duncan Clarke, Young-Si Kim, Insup Lee, Hong-liang Xie
A Process Algebraic Approach to the Schedulability Analysis of Real-Time Systems. Real Time Syst. 15 (3) (1998)
Hanêne Ben-Abdallah, Insup Lee, Young-Si Kim
Integrated Specification and Analysis of Functional, Temporal, and Resource Requirements. RE (1997)
Hanêne Ben-Abdallah, Young-Si Kim, Insup Lee
Schedulability and safety analysis in the graphical communicating shared resources. WORDS (1996)
David Chenho Kung, Jerry Gao, Pei Hsia, Yasufumi Toyoshima, Chris Chen, Young-Si Kim, Young-Kee Song
Developing an Object-Oriented Software Testing and Maintenance Environment. Commun. ACM 38 (10) (1995)