Douglas A. Stuart

According to our database, Douglas A. Stuart authored at least 8 papers between 1988 and 2001.

Collaborative distances:

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

2001

Simulation-Verification: Biting at the State Explosion Problem.

Douglas A. Stuart, Monica Brockmeyer, Aloysius K. Mok, Farnam Jahanian

IEEE Trans. Software Eng., 2001

1998

An Operational Semantics and Compiler for Real-Time Specifications.

Carlos Puchol, Douglas A. Stuart, Aloysius K. Mok

Integr. Comput. Aided Eng., 1998

1996

A Methodology and Support Tools for Analysis of Real-Time Specifications.

Douglas A. Stuart, Aloysius K. Mok, Farnam Jahanian

Int. J. Softw. Eng. Knowl. Eng., 1996

1995

Compiling Modechart Specifications.

Carlos Puchol, Aloysius K. Mok, Douglas A. Stuart

Proceedings of the 16th IEEE Real-Time Systems Symposium, 1995

A new generation modechart verifie.

Jin Yang, Aloysius K. Mok, Douglas A. Stuart

Proceedings of the 1st IEEE Real-Time Technology and Applications Symposium, 1995

1991

Clairvoyance, Capricious Timing Faults, Causality, and Real-Time Specifications.

Douglas A. Stuart, Paul C. Clements

Proceedings of the Real-Time Systems Symposium, 1991

1990

Implementing a Verifier for Real-Time Systems.

Douglas A. Stuart

Proceedings of the Real-Time Systems Symposium, 1990

1988

A Method for Verifying Properties of Modechart Specifications.

Farnam Jahanian, Douglas A. Stuart

Proceedings of the 9th IEEE Real-Time Systems Symposium (RTSS '88), 1988