Horng-Yuan Chen

According to our database, Horng-Yuan Chen authored at least 6 papers between 1989 and 1993.

Collaborative distances:

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

1993

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

1991

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

Proceedings of the Third International Conference on Tools for Artificial Intelligence, 1991

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

A Noninvasive Architecture to Monitor Real-Time Distributed Systems.

Jeffrey J. P. Tsai, Kwang-Ya Fang, Horng-Yuan Chen

Computer, 1990

1989

A replay mechanism for non-interference real-time software testing and debugging.

Jeffrey J. P. Tsai, Kwang-Ya Fang, Horng-Yuan Chen

Proceedings of the Conference on Software Maintenance, 1989

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

Proceedings of the 13th Annual International Computer Software and Applications Conference, 1989