dblp.uni-trier.dewww.uni-trier.de

Douglas A. Stuart Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2001
7EEDouglas 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
6EEDouglas 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
5EEJin 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

Coauthor Index

1Monica Brockmeyer [7]
2Paul C. Clements [3]
3Farnam Jahanian [1] [6] [7]
4Aloysius K. Mok [4] [5] [6] [7]
5Carlos Puchol [4]
6Jin Yang [5]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)