|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 38 occurrences of 19 keywords
|
|
|
|
|
Results
Found 24 publication records. Showing 24 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Stephen F. Siegel |
Transparent partial order reduction.  |
Formal Methods in System Design  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen F. Siegel, Timothy K. Zirkel |
Loop Invariant Symbolic Execution for Parallel Programs. |
VMCAI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ganesh Gopalakrishnan, Robert M. Kirby, Stephen F. Siegel, Rajeev Thakur, William Gropp, Ewing L. Lusk, Bronis R. de Supinski, Martin Schulz, Greg Bronevetsky |
Formal analysis of MPI-based parallel programs. |
Commun. ACM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen F. Siegel, Timothy K. Zirkel |
TASS: The Toolkit for Accurate Scientific Software. |
Mathematics in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen F. Siegel, Timothy K. Zirkel |
FEVS: A Functional Equivalence Verification Suite for High-Performance Scientific Computing. |
Mathematics in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen F. Siegel, Timothy K. Zirkel |
Collective Assertions. |
VMCAI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen F. Siegel, Ganesh Gopalakrishnan |
Formal Analysis of Message Passing - (Invited Talk). |
VMCAI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen F. Siegel, Timothy K. Zirkel |
Automatic formal verification of MPI-based parallel programs. |
PPOPP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen F. Siegel, Andrew R. Siegel |
Madre: the Memory-Aware Data Redistribution Engine. |
IJHPCA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen F. Siegel |
Formal Verification for Scientific Computing: Trends and Progress. |
PVM/MPI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen F. Siegel, Andrew R. Siegel |
A Memory-Efficient Data Redistribution Algorithm. |
PVM/MPI |
2009 |
DBLP DOI BibTeX RDF |
MADRE, memory-limited, MPI, distributed, redistribution |
| 1 | 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. |
2008 |
DBLP DOI BibTeX RDF |
model checking, parallel programming, concurrency, MPI, Message Passing Interface, high performance computing, symbolic execution, floating-point, Spin, Finite-state verification, numerical program |
| 1 | Stephen F. Siegel, Andrew R. Siegel |
MADRE: The Memory-Aware Data Redistribution Engine. |
PVM/MPI |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen F. Siegel, Louis F. Rossi |
Analyzing BlobFlow: A Case Study Using Model Checking to Verify Parallel Scientific Software. |
PVM/MPI |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen F. Siegel |
Model Checking Nonblocking MPI Programs. |
VMCAI |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen F. Siegel, George S. Avrunin |
Verification of Halting Properties for MPI Programs Using Nonblocking Operations. |
PVM/MPI |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen F. Siegel |
Verifying Parallel Programs with MPI-Spin. |
PVM/MPI |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen F. Siegel, Anastasia Mironova, George S. Avrunin, Lori A. Clarke |
Using model checking with symbolic execution to verify parallel numerical programs. |
ISSTA |
2006 |
DBLP DOI BibTeX RDF |
model checking, parallel programming, concurrency, MPI, message passing interface, high performance computing, symbolic execution, floating-point, spin, finite state verification, numerical program |
| 1 | Stephen F. Siegel |
Efficient Verification of Halting Properties for MPI Programs with Wildcard Receives. |
VMCAI |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen F. Siegel, George S. Avrunin |
Modeling wildcard-free MPI programs for verification. |
PPOPP |
2005 |
DBLP DOI BibTeX RDF |
model checking, formal methods, parallel computation, MPI, message passing interface, analysis, deadlock, SPIN, concurrent systems, finite-state verification |
| 1 | Stephen F. Siegel, George S. Avrunin |
Verification of MPI-Based Software for Scientific Computation. |
SPIN |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen F. Siegel, George S. Avrunin |
Improving the Precision of INCA by Eliminating Solutions with Spurious Cycles. |
IEEE Trans. Software Eng. |
2002 |
DBLP DOI BibTeX RDF |
INCA, integer programming, cycles, finite-state verification |
| 1 | Stephen F. Siegel, George S. Avrunin |
Improving the precision of INCA by preventing spurious cycles. |
ISSTA |
2000 |
DBLP DOI BibTeX RDF |
INCA, integer programming, cycles, finite-state verification |
| 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 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #24 of 24 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")