dblp.uni-trier.dewww.uni-trier.de

Stephen F. Siegel

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
13EEStephen F. Siegel, Andrew R. Siegel: MADRE: The Memory-Aware Data Redistribution Engine. PVM/MPI 2008: 218-226
12EEStephen F. Siegel, Louis F. Rossi: Analyzing BlobFlow: A Case Study Using Model Checking to Verify Parallel Scientific Software. PVM/MPI 2008: 274-282
11EEStephen 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
10EEStephen F. Siegel: Verifying Parallel Programs with MPI-Spin. PVM/MPI 2007: 13-14
9EEStephen F. Siegel, George S. Avrunin: Verification of Halting Properties for MPI Programs Using Nonblocking Operations. PVM/MPI 2007: 326-334
8EEStephen F. Siegel: Model Checking Nonblocking MPI Programs. VMCAI 2007: 44-58
2006
7EEStephen 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
6EEStephen F. Siegel, George S. Avrunin: Modeling wildcard-free MPI programs for verification. PPOPP 2005: 95-106
5EEStephen F. Siegel: Efficient Verification of Halting Properties for MPI Programs with Wildcard Receives. VMCAI 2005: 413-429
2004
4EEStephen F. Siegel, George S. Avrunin: Verification of MPI-Based Software for Scientific Computation. SPIN 2004: 286-303
2002
3EEStephen 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
2EEStephen F. Siegel, George S. Avrunin: Improving the precision of INCA by preventing spurious cycles. ISSTA 2000: 191-200
1990
1EEMarc 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

Coauthor Index

1George S. Avrunin [2] [3] [4] [6] [7] [9] [11]
2Lori A. Clarke [7] [11]
3Kathleen Foley Curley [1]
4Arthur DeTore [1]
5Marc H. Meyer [1]
6Anastasia Mironova [7] [11]
7Louis F. Rossi [12]
8Andrew R. Siegel [13]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)