Young-Si Kim

According to our database, Young-Si Kim authored at least 5 papers between 1995 and 2000.

Collaborative distances:

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

2000

An Efficient State Space Generation for the Analysis of Real-Time Systems.

Inhye Kang, Insup Lee, Young-Si Kim

IEEE Trans. Software Eng., 2000

1998

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, Hong-liang Xie

Real Time Syst., 1998

1997

Integrated Specification and Analysis of Functional, Temporal, and Resource Requirements.

Hanêne Ben-Abdallah, Insup Lee, Young-Si Kim

Proceedings of the 3rd IEEE International Symposium on Requirements Engineering (RE'97), 1997

1996

Schedulability and safety analysis in the graphical communicating shared resources.

Hanêne Ben-Abdallah, Young-Si Kim, Insup Lee

Proceedings of WORDS'96. The Second Workshop on Object-Oriented Real-Time Dependable Systems, 1996

1995

Developing an Object-Oriented Software Testing and Maintenance Environment.

David Chenho Kung, Jerry Gao, Pei Hsia, Yasufumi Toyoshima, Chris Chen, Young-Si Kim, Young-Kee Song

Commun. ACM, 1995