Douglas A. Stuart

Publication Activity (10 Years)

Years Active: 1988-2001
Publications (10 Years): 0

Publications

Douglas A. Stuart, Monica Brockmeyer, Aloysius K. Mok, Farnam Jahanian
Simulation-Verification: Biting at the State Explosion Problem. IEEE Trans. Software Eng. 27 (7) (2001)
Carlos Puchol, Douglas A. Stuart, Aloysius K. Mok
An Operational Semantics and Compiler for Real-Time Specifications. Integr. Comput. Aided Eng. 5 (3) (1998)
Douglas A. Stuart, Aloysius K. Mok, Farnam Jahanian
A Methodology and Support Tools for Analysis of Real-Time Specifications. Int. J. Softw. Eng. Knowl. Eng. 6 (3) (1996)
Jin Yang, Aloysius K. Mok, Douglas A. Stuart
A new generation modechart verifie. IEEE Real Time Technology and Applications Symposium (1995)
Carlos Puchol, Aloysius K. Mok, Douglas A. Stuart
Compiling Modechart Specifications. RTSS (1995)
Douglas A. Stuart, Paul C. Clements
Clairvoyance, Capricious Timing Faults, Causality, and Real-Time Specifications. RTSS (1991)
Douglas A. Stuart
Implementing a Verifier for Real-Time Systems. RTSS (1990)
Farnam Jahanian, Douglas A. Stuart
A Method for Verifying Properties of Modechart Specifications. RTSS (1988)