Search the dblp DataBase
Michael D. Jones: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Annette Bunker, Trent N. Larson, Michael D. Jones, Phillip J. Windley
Alexandria: A Tool for Hierarchical Verification. [Citation Graph (0, 0)][DBLP]
FMCAD, 1998, pp:515-522 [Conf] - Michael D. Jones, Ganesh Gopalakrishnan
Verifying Transaction Ordering Properties in Unbounded Bus Networks through Combined Deductive/Algorithmic Methods. [Citation Graph (0, 0)][DBLP]
FMCAD, 2000, pp:505-519 [Conf] - Bryan Smith, Kent E. Seamons, Michael D. Jones
Responding to Policies at Runtime in TrustBuilder. [Citation Graph (0, 0)][DBLP]
POLICY, 2004, pp:149-158 [Conf] - Dominique Cansell, Ganesh Gopalakrishnan, Michael D. Jones, Dominique Méry, Airy Weinzoepflen
Incremental Proof of the Producer/Consumer Property for the PCI Protocol. [Citation Graph (0, 0)][DBLP]
ZB, 2002, pp:22-41 [Conf] - Abdel Mokkedem, Ravi Hosabettu, Michael D. Jones, Ganesh Gopalakrishnan
Formalization and Analysis of a Solution to the PCI 2.1 Bus Transaction Ordering Problem. [Citation Graph (0, 0)][DBLP]
Formal Methods in System Design, 2000, v:16, n:1, pp:93-119 [Journal] - Michael D. Jones, Jacob Sorber
Parallel search for LTL violations. [Citation Graph (0, 0)][DBLP]
STTT, 2005, v:7, n:1, pp:31-42 [Journal]
Search in 0.003secs, Finished in 0.004secs
| 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