A knowledge-based debugger for real-time software systems based on a noninterference testing architecture. - Jeffrey J. P. Tsai; Kwang-Ya Fang; Horng-Yuan Chen (COMPSAC, 1989)

A replay mechanism for non-interference real-time software testing and debugging. - Jeffrey J. P. Tsai; Kwang-Ya Fang; Horng-Yuan Chen (ICSM, 1989)

A Noninvasive Architecture to Monitor Real-Time Distributed Systems. - Jeffrey J. P. Tsai; Kwang-Ya Fang; Horng-Yuan Chen (Computer, 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)

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)