Horng-Yuan Chen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
1989–1991
Best venue rank
B
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1991 | ICTAI | 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 |
| 1989 | COMPSAC | 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 |