 | 2001 |
|---|
| 7 |       | Douglas A. Stuart,
Monica Brockmeyer,
Aloysius K. Mok,
Farnam Jahanian:
Simulation-Verification: Biting at the State Explosion Problem.
IEEE Trans. Software Eng. 27(7): 599-617 (2001) |
| 1996 |
|---|
| 6 | | Douglas A. Stuart,
Aloysius K. Mok,
Farnam Jahanian:
A Methodology and Support Tools for Analysis of Real-Time Specifications.
International Journal of Software Engineering and Knowledge Engineering 6(3): 401-426 (1996) |
| 1995 |
|---|
| 5 | | Jin Yang,
Aloysius K. Mok,
Douglas A. Stuart:
A new generation modechart verifie.
IEEE Real Time Technology and Applications Symposium 1995: 116-125 |
| 4 |  | Carlos Puchol,
Aloysius K. Mok,
Douglas A. Stuart:
Compiling Modechart Specifications.
IEEE Real-Time Systems Symposium 1995: 256-265 |
| 1991 |
|---|
| 3 | | Douglas A. Stuart,
Paul C. Clements:
Clairvoyance, Capricious Timing Faults, Causality, and Real-Time Specifications.
IEEE Real-Time Systems Symposium 1991: 254-263 |
| 1990 |
|---|
| 2 | | Douglas A. Stuart:
Implementing a Verifier for Real-Time Systems.
IEEE Real-Time Systems Symposium 1990: 62-71 |
| 1988 |
|---|
| 1 | | Farnam Jahanian,
Douglas A. Stuart:
A Method for Verifying Properties of Modechart Specifications.
IEEE Real-Time Systems Symposium 1988: 12-21 |
