| |
| 2007 | ||
|---|---|---|
| 2 | EE | Salman Pervez, Ganesh Gopalakrishnan, Robert M. Kirby, Robert Palmer, Rajeev Thakur, William Gropp: Practical Model-Checking Method for Verifying Correctness of MPI Programs. PVM/MPI 2007: 344-353 |
| 2006 | ||
| 1 | EE | Salman Pervez, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur, William D. Gropp: Formal Verification of Programs That Use MPI One-Sided Communication. PVM/MPI 2006: 30-39 |
| 1 | Ganesh Gopalakrishnan | [1] [2] |
| 2 | William Gropp (William D. Gropp, Bill Gropp) | [1] [2] |
| 3 | Robert M. Kirby (Mike Kirby) | [1] [2] |
| 4 | Robert Palmer | [2] |
| 5 | Rajeev Thakur | [1] [2] |