Douglas A. Stuart
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
2
Active years
1988–1995
Best venue rank
A
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1995 | RTSS | Compiling Modechart Specifications. | Carlos Puchol, Aloysius K. Mok, Douglas A. Stuart |
| 1995 | RTAS | A new generation modechart verifie. | Jin Yang, Aloysius K. Mok, Douglas A. Stuart |
| 1991 | RTSS | Clairvoyance, Capricious Timing Faults, Causality, and Real-Time Specifications. | Douglas A. Stuart, Paul C. Clements |
| 1990 | RTSS | Implementing a Verifier for Real-Time Systems. | Douglas A. Stuart |
| 1988 | RTSS | A Method for Verifying Properties of Modechart Specifications. | Farnam Jahanian, Douglas A. Stuart |