Yao-Dong Bi

Publication Activity (10 Years)

Years Active: 1990-1996
Publications (10 Years): 0

Publications

Jeffrey J. P. Tsai, Yao-Dong Bi, Stephen J. H. Yang
A System for Visualizing and Debugging Distributed Real-Time Systems with Monitoring Support. Int. J. Softw. Eng. Knowl. Eng. 6 (3) (1996)
Yao-Dong Bi
Timing analysis of real-time distributed systems in CRSM's and ERL. SPDP (1994)
Horng-Yuan Chen, Jeffrey J. P. Tsai, Yao-Dong Bi
An Event-Based Real-Time Logic for the Specification and Analysis of Real-Time Systems. Int. J. Artif. Intell. Tools 2 (1) (1993)
Jeffrey J. P. Tsai, Yao-Dong Bi
Timing errors in real-time systems and their detection. ISSRE (1991)
Horng-Yuan Chen, Jeffrey J. P. Tsai, Yao-Dong Bi
An event-based real-time logic to specify the behavior and timing properties of real-time systems. ICTAI (1991)
Jeffrey J. P. Tsai, Kwang-Ya Fang, Horng-Yuan Chen, Yao-Dong Bi
A Noninterference Monitoring and Replay Mechanism for Real-Time Software Testing and Debugging. IEEE Trans. Software Eng. 16 (8) (1990)
Jeffrey J. P. Tsai, Kwang-Ya Fang, Yao-Dong Bi
On real-time software testing and debugging. COMPSAC (1990)