| |
| 2004 | ||
|---|---|---|
| 3 | EE | Mike Roberts: Enterprise Continuous Integration Using Binary Dependencies. XP 2004: 194-201 |
| 2000 | ||
| 2 | EE | Dennis Abts, Mike Roberts, David J. Lilja: A Balanced Approach to High-Level Verification: Performance Trade-Offs in Verifying Large-Scale Multiprocessors. ICPP 2000: 505- |
| 1999 | ||
| 1 | EE | Dennis Abts, Mike Roberts: Verifying Large-Scale Multiprocessors Using an Abstract Verification Environment. DAC 1999: 163-168 |
| 1 | Dennis Abts | [1] [2] |
| 2 | David J. Lilja | [2] |