 | 2009 |
|---|
| 8 |       | Igor Melatti,
Robert Palmer,
Geoffrey Sawaya,
Yu Yang,
Robert M. Kirby,
Ganesh Gopalakrishnan:
Parallel and distributed model checking in Eddy.
STTT 11(1): 13-25 (2009) |
| 2007 |
|---|
| 7 | | Robert Palmer,
Michael Delisi,
Ganesh Gopalakrishnan,
Robert M. Kirby:
An Approach to Formalization and Analysis of Message Passing Libraries.
FMICS 2007: 164-181 |
| 6 | | Robert Palmer,
Ganesh Gopalakrishnan,
Robert M. Kirby:
Semantics driven dynamic partial-order reduction of MPI-based parallel programs.
PADTAD 2007: 43-53 |
| 5 | | 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 |
|---|
| 4 | | Igor Melatti,
Robert Palmer,
Geoffrey Sawaya,
Yu Yang,
Robert M. Kirby,
Ganesh Gopalakrishnan:
Parallel and Distributed Model Checking in Eddy.
SPIN 2006: 108-125 |
| 3 | | Robert Palmer,
Steve Barrus,
Yu Yang,
Ganesh Gopalakrishnan,
Robert M. Kirby:
Gauss: A Framework for Verifying Scientific Computing Software.
Electr. Notes Theor. Comput. Sci. 144(3): 95-106 (2006) |
| 2005 |
|---|
| 2 | | Vladimir Levin,
Robert Palmer,
Shaz Qadeer,
Sriram K. Rajamani:
Sound Transaction-Based Reduction Without Cycle Detection.
SPIN 2005: 106-122 |
| 2002 |
|---|
| 1 | | Robert Palmer,
Ganesh Gopalakrishnan:
A Distributed Partial Order Reduction Algorithm.
FORTE 2002: 370 |
