 | 2009 |
|---|
| 15 |       | Stephen F. Siegel,
Andrew R. Siegel:
A Memory-Efficient Data Redistribution Algorithm.
PVM/MPI 2009: 219-229 |
| 14 | | Stephen F. Siegel:
Formal Verification for Scientific Computing: Trends and Progress.
PVM/MPI 2009: 7 |
| 2008 |
|---|
| 13 | | Stephen F. Siegel,
Andrew R. Siegel:
MADRE: The Memory-Aware Data Redistribution Engine.
PVM/MPI 2008: 218-226 |
| 12 | | Stephen F. Siegel,
Louis F. Rossi:
Analyzing BlobFlow: A Case Study Using Model Checking to Verify Parallel Scientific Software.
PVM/MPI 2008: 274-282 |
| 11 | | Stephen F. Siegel,
Anastasia Mironova,
George S. Avrunin,
Lori A. Clarke:
Combining symbolic execution with model checking to verify parallel numerical programs.
ACM Trans. Softw. Eng. Methodol. 17(2): (2008) |
| 2007 |
|---|
| 10 | | Stephen F. Siegel:
Verifying Parallel Programs with MPI-Spin.
PVM/MPI 2007: 13-14 |
| 9 | | Stephen F. Siegel,
George S. Avrunin:
Verification of Halting Properties for MPI Programs Using Nonblocking Operations.
PVM/MPI 2007: 326-334 |
| 8 | | Stephen F. Siegel:
Model Checking Nonblocking MPI Programs.
VMCAI 2007: 44-58 |
| 2006 |
|---|
| 7 | | Stephen F. Siegel,
Anastasia Mironova,
George S. Avrunin,
Lori A. Clarke:
Using model checking with symbolic execution to verify parallel numerical programs.
ISSTA 2006: 157-168 |
| 2005 |
|---|
| 6 | | Stephen F. Siegel,
George S. Avrunin:
Modeling wildcard-free MPI programs for verification.
PPOPP 2005: 95-106 |
| 5 | | Stephen F. Siegel:
Efficient Verification of Halting Properties for MPI Programs with Wildcard Receives.
VMCAI 2005: 413-429 |
| 2004 |
|---|
| 4 | | Stephen F. Siegel,
George S. Avrunin:
Verification of MPI-Based Software for Scientific Computation.
SPIN 2004: 286-303 |
| 2002 |
|---|
| 3 | | Stephen F. Siegel,
George S. Avrunin:
Improving the Precision of INCA by Eliminating Solutions with Spurious Cycles.
IEEE Trans. Software Eng. 28(2): 115-128 (2002) |
| 2000 |
|---|
| 2 | | Stephen F. Siegel,
George S. Avrunin:
Improving the precision of INCA by preventing spurious cycles.
ISSTA 2000: 191-200 |
| 1990 |
|---|
| 1 | | Marc H. Meyer,
Arthur DeTore,
Stephen F. Siegel,
Kathleen Foley Curley:
The Strategic Use of Expert Systems for Risk Management in the Insurance Industry.
ACM SIGBDP Conference on Trends and Directions in Expert Systems 1990: 551-572 |
