Douglas A. Stuart (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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)

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)

1 Farnam Jahanian, Douglas A. Stuart: A Method for Verifying Properties of Modechart Specifications. IEEE Real-Time Systems Symposium 1988: 12-21

Selection of 3 from 7 records - Douglas A. Stuart has 6 coauthors

Last update 2012-09-10 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

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)
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)
1		Farnam Jahanian, Douglas A. Stuart: A Method for Verifying Properties of Modechart Specifications. IEEE Real-Time Systems Symposium 1988: 12-21