Search the dblp DataBase
Douglas A. Stuart: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Jin Yang, Aloysius K. Mok, Douglas A. Stuart
A new generation modechart verifie. [Citation Graph (0, 0)][DBLP]
IEEE Real Time Technology and Applications Symposium, 1995, pp:116-125 [Conf] - Farnam Jahanian, Douglas A. Stuart
A Method for Verifying Properties of Modechart Specifications. [Citation Graph (0, 0)][DBLP]
IEEE Real-Time Systems Symposium, 1988, pp:12-21 [Conf] - Carlos Puchol, Aloysius K. Mok, Douglas A. Stuart
Compiling Modechart Specifications. [Citation Graph (0, 0)][DBLP]
IEEE Real-Time Systems Symposium, 1995, pp:256-265 [Conf] - Douglas A. Stuart
Implementing a Verifier for Real-Time Systems. [Citation Graph (0, 0)][DBLP]
IEEE Real-Time Systems Symposium, 1990, pp:62-71 [Conf] - Douglas A. Stuart, Paul C. Clements
Clairvoyance, Capricious Timing Faults, Causality, and Real-Time Specifications. [Citation Graph (0, 0)][DBLP]
IEEE Real-Time Systems Symposium, 1991, pp:254-263 [Conf] - Douglas A. Stuart, Monica Brockmeyer, Aloysius K. Mok, Farnam Jahanian
Simulation-Verification: Biting at the State Explosion Problem. [Citation Graph (0, 0)][DBLP]
IEEE Trans. Software Eng., 2001, v:27, n:7, pp:599-617 [Journal]
Search in 0.001secs, Finished in 0.001secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002