Horng-Yuan Chen

Publication Activity (10 Years)

Years Active: 1989-1993
Publications (10 Years): 0

Publications

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)
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, Horng-Yuan Chen
A Noninvasive Architecture to Monitor Real-Time Distributed Systems. Computer 23 (3) (1990)
Jeffrey J. P. Tsai, Kwang-Ya Fang, Horng-Yuan Chen
A knowledge-based debugger for real-time software systems based on a noninterference testing architecture. COMPSAC (1989)
Jeffrey J. P. Tsai, Kwang-Ya Fang, Horng-Yuan Chen
A replay mechanism for non-interference real-time software testing and debugging. ICSM (1989)