On real-time software testing and debugging. - Jeffrey J. P. Tsai; Kwang-Ya Fang; Yao-Dong Bi (COMPSAC, 1990)

A Noninterference Monitoring and Replay Mechanism for Real-Time Software Testing and Debugging. - Jeffrey J. P. Tsai; Kwang-Ya Fang; Horng-Yuan Chen; Yao-Dong Bi (IEEE Trans. Software Eng., 1990)

An event-based real-time logic to specify the behavior and timing properties of real-time systems. - Horng-Yuan Chen; Jeffrey J. P. Tsai; Yao-Dong Bi (ICTAI, 1991)

Timing errors in real-time systems and their detection. - Jeffrey J. P. Tsai; Yao-Dong Bi (ISSRE, 1991)

An Event-Based Real-Time Logic for the Specification and Analysis of Real-Time Systems. - Horng-Yuan Chen; Jeffrey J. P. Tsai; Yao-Dong Bi (Int. J. Artif. Intell. Tools, 1993)

Timing analysis of real-time distributed systems in CRSM's and ERL. - Yao-Dong Bi (SPDP, 1994)

A System for Visualizing and Debugging Distributed Real-Time Systems with Monitoring Support. - Jeffrey J. P. Tsai; Yao-Dong Bi; Stephen J. H. Yang (Int. J. Softw. Eng. Knowl. Eng., 1996)