| 2005 |
|---|
| 6 | EE | Michael D. Jones,
Jacob Sorber:
Parallel search for LTL violations.
STTT 7(1): 31-42 (2005) |
| 2004 |
|---|
| 5 | EE | Bryan Smith,
Kent E. Seamons,
Michael D. Jones:
Responding to Policies at Runtime in TrustBuilder.
POLICY 2004: 149-158 |
| 2002 |
|---|
| 4 | EE | Dominique Cansell,
Ganesh Gopalakrishnan,
Michael D. Jones,
Dominique Méry,
Airy Weinzoepflen:
Incremental Proof of the Producer/Consumer Property for the PCI Protocol.
ZB 2002: 22-41 |
| 2000 |
|---|
| 3 | EE | Michael D. Jones,
Ganesh Gopalakrishnan:
Verifying Transaction Ordering Properties in Unbounded Bus Networks through Combined Deductive/Algorithmic Methods.
FMCAD 2000: 505-519 |
| 2 | | Abdel Mokkedem,
Ravi Hosabettu,
Michael D. Jones,
Ganesh Gopalakrishnan:
Formalization and Analysis of a Solution to the PCI 2.1 Bus Transaction Ordering Problem.
Formal Methods in System Design 16(1): 93-119 (2000) |
| 1998 |
|---|
| 1 | EE | Annette Bunker,
Trent N. Larson,
Michael D. Jones,
Phillip J. Windley:
Alexandria: A Tool for Hierarchical Verification.
FMCAD 1998: 515-522 |
