2000 |
4 | EE | 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): 453-477 (2000) |
1998 |
3 | | 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 Systems 15(3): 189-219 (1998) |
1997 |
2 | EE | Hanêne Ben-Abdallah,
Insup Lee,
Young-Si Kim:
Integrated Specification and Analysis of Functional, Temporal, and Resource Requirements.
RE 1997: 198-209 |
1995 |
1 | | 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): 75-87 (1995) |