The Strategic Use of Expert Systems for Risk Management in the Insurance Industry. - Marc H. Meyer; Arthur DeTore; Stephen F. Siegel; Kathleen Foley Curley (ACM SIGBDP Conference on Trends and Directions in Expert Systems, 1990)

Improving the precision of INCA by preventing spurious cycles. - Stephen F. Siegel; George S. Avrunin (ISSTA, 2000)

Improving the Precision of INCA by Eliminating Solutions with Spurious Cycles. - Stephen F. Siegel; George S. Avrunin (IEEE Trans. Software Eng., 2002)

Verification of MPI-Based Software for Scientific Computation. - Stephen F. Siegel; George S. Avrunin (SPIN, 2004)

Modeling wildcard-free MPI programs for verification. - Stephen F. Siegel; George S. Avrunin (PPoPP, 2005)

Efficient Verification of Halting Properties for MPI Programs with Wildcard Receives. - Stephen F. Siegel (VMCAI, 2005)

Using model checking with symbolic execution to verify parallel numerical programs. - Stephen F. Siegel; Anastasia Mironova; George S. Avrunin; Lori A. Clarke (ISSTA, 2006)

Verifying Parallel Programs with MPI-Spin. - Stephen F. Siegel (PVM/MPI, 2007)

Verification of Halting Properties for MPI Programs Using Nonblocking Operations. - Stephen F. Siegel; George S. Avrunin (PVM/MPI, 2007)

Model Checking Nonblocking MPI Programs. - Stephen F. Siegel (VMCAI, 2007)

Verification of MPI-based Computations. - Stephen F. Siegel (Distributed Verification and Grid Computing, 2008)

Analyzing BlobFlow: A Case Study Using Model Checking to Verify Parallel Scientific Software. - Stephen F. Siegel; Louis F. Rossi (PVM/MPI, 2008)

Combining symbolic execution with model checking to verify parallel numerical programs. - Stephen F. Siegel; Anastasia Mironova; George S. Avrunin; Lori A. Clarke (ACM Trans. Softw. Eng. Methodol., 2008)

Formal Verification for Scientific Computing: Trends and Progress. - Stephen F. Siegel (PVM/MPI, 2009)

A Memory-Efficient Data Redistribution Algorithm. - Stephen F. Siegel; Andrew R. Siegel (PVM/MPI, 2009)

Madre: the Memory-Aware Data Redistribution Engine. - Stephen F. Siegel; Andrew R. Siegel (Int. J. High Perform. Comput. Appl., 2010)

Automatic formal verification of MPI-based parallel programs. - Stephen F. Siegel; Timothy K. Zirkel (PPoPP, 2011)

Formal Analysis of Message Passing - (Invited Talk). - Stephen F. Siegel; Ganesh Gopalakrishnan (VMCAI, 2011)

Collective Assertions. - Stephen F. Siegel; Timothy K. Zirkel (VMCAI, 2011)

Formal analysis of MPI-based parallel programs. - Ganesh Gopalakrishnan; Robert M. Kirby; Stephen F. Siegel; Rajeev Thakur; William Gropp; Ewing L. Lusk; Bronis R. de Supinski; Martin Schulz 001; Greg Bronevetsky (Commun. ACM, 2011)

TASS: The Toolkit for Accurate Scientific Software. - Stephen F. Siegel; Timothy K. Zirkel (Math. Comput. Sci., 2011)

FEVS: A Functional Equivalence Verification Suite for High-Performance Scientific Computing. - Stephen F. Siegel; Timothy K. Zirkel (Math. Comput. Sci., 2011)

Loop Invariant Symbolic Execution for Parallel Programs. - Stephen F. Siegel; Timothy K. Zirkel (VMCAI, 2012)

Transparent partial order reduction. - Stephen F. Siegel (Formal Methods Syst. Des., 2012)

Automated Verification of Chapel Programs Using Model Checking and Symbolic Execution. - Timothy K. Zirkel; Stephen F. Siegel; Timothy McClory (NASA Formal Methods, 2013)

Optimizing Memory Constrained Environments in Monte Carlo Nuclear Reactor Simulations. - Kyle Gerard Felker; Andrew R. Siegel; Stephen F. Siegel (Int. J. High Perform. Comput. Appl., 2013)

Overcoming Asynchrony: An Analysis of the Effects of Asynchronous Noise on Nearest Neighbor Synchronizations. - Adam Hammouda; Andrew R. Siegel; Stephen F. Siegel (EASC, 2014)

CIVL: Formal Verification of Parallel Programs. - Manchun Zheng; Michael S. Rogers; Ziqing Luo; Matthew B. Dwyer; Stephen F. Siegel (ASE, 2015)

CIVL: the concurrency intermediate verification language. - Stephen F. Siegel; Manchun Zheng; Ziqing Luo; Timothy K. Zirkel; Andre V. Marianiello; John G. Edenhofner; Matthew B. Dwyer; Michael S. Rogers (SC, 2015)

Noise-Tolerant Explicit Stencil Computations for Nonuniform Process Execution Rates. - Adam Hammouda; Andrew R. Siegel; Stephen F. Siegel (ACM Trans. Parallel Comput., 2015)

CIVL: Applying a General Concurrency Verification Framework to C/Pthreads Programs (Competition Contribution). - Manchun Zheng; John G. Edenhofner; Ziqing Luo; Mitchell J. Gerrard; Michael S. Rogers; Matthew B. Dwyer; Stephen F. Siegel (TACAS, 2016)

Connecting and Serving the Software Engineering Community. - Matthew B. Dwyer; Eric Bodden; Brian Fitzgerald 001; Miryung Kim; Sunghun Kim 001; Amy J. Ko; Emilia Mendes; Raffaela Mirandola; Ana Moreira 001; Forrest Shull; Stephen F. Siegel; Tao Xie 001; et al. (IEEE Trans. Software Eng., 2016)

Verification of MPI programs using CIVL. - Ziqing Luo; Manchun Zheng; Stephen F. Siegel (EuroMPI/USA, 2017)

Towards Self-Verification in Finite Difference Code Generation. - Jan Hückelheim; Ziqing Luo; Fabio Luporini; Navjot Kukreja; Michael Lange 001; Gerard Gorman; Stephen F. Siegel; Matthew B. Dwyer; Paul D. Hovland (CORRECTNESS@SC, 2017)

The RERS 2017 challenge and workshop (invited paper). - Marc Jasper; Maximilian Fecke; Bernhard Steffen; Markus Schordan; Jeroen Meijer; Jaco van de Pol; Falk Howar; Stephen F. Siegel (SPIN, 2017)

Report of the HPC Correctness Summit, Jan 25-26, 2017, Washington, DC. - Ganesh Gopalakrishnan; Paul D. Hovland; Costin Iancu; Sriram Krishnamoorthy; Ignacio Laguna; Richard A. Lethin; Koushik Sen; Stephen F. Siegel; Armando Solar-Lezama (CoRR, 2017)

CIVL solutions to verifythis 2016 challenges. - Stephen F. Siegel (ACM SIGLOG News, 2017)

Symbolic Execution and Deductive Verification Approaches to VerifyThis 2017 Challenges. - Ziqing Luo; Stephen F. Siegel (ISoLA (2), 2018)

Evaluating Tools for Software Verification (Track Introduction). - Markus Schordan; Dirk Beyer 001; Stephen F. Siegel (ISoLA (2), 2018)

Verifying Properties of Differentiable Programs. - Jan Hückelheim; Ziqing Luo; Sri Hari Krishna Narayanan; Stephen F. Siegel; Paul D. Hovland (SAS, 2018)

Towards Deductive Verification of Message-Passing Parallel Programs. - Ziqing Luo; Stephen F. Siegel (CORRECTNESS@SC, 2018)

What's Wrong with On-the-Fly Partial Order Reduction. - Stephen F. Siegel (CAV (2), 2019)

Action-Based Model Checking: Logic, Automata, and Reduction. - Stephen F. Siegel; Yihao Yan (CAV (2), 2020)

Verifying Fortran Programs with CIVL. - Wenhao Wu; Jan Hückelheim; Paul D. Hovland; Stephen F. Siegel (TACAS (1), 2022)

Model Checking Race-Freedom When "Sequential Consistency for Data-Race-Free Programs" is Guaranteed. - Wenhao Wu; Jan Hückelheim; Paul D. Hovland; Ziqing Luo; Stephen F. Siegel (CAV (2), 2023)

VerifyThis 2023: An International Program Verification Competition. - Xavier Denis; Stephen F. Siegel (TOOLympics@ETAPS, 2023)

DataRaceBench V1.4.1 and DataRaceBench-ML V0.1: Benchmark Suites for Data Race Detection. - Le Chen; Wenhao Wu; Stephen F. Siegel; Pei-Hung Lin; Chunhua Liao (CoRR, 2023)

Report of the DOE/NSF Workshop on Correctness in Scientific Computing, June 2023, Orlando, FL. - Maya B. Gokhale; Ganesh Gopalakrishnan; Jackson Mayo; Santosh Nagarakatte; Cindy Rubio-González; Stephen F. Siegel (CoRR, 2023)

SC4DRF artifact. - Wenhao Wu; Jan Hückelheim; Paul D. Hovland; Ziqing Luo; Stephen F. Siegel (Zenodo, 2023)

SC4DRF artifact. - Wenhao Wu; Jan Hückelheim; Paul D. Hovland; Ziqing Luo; Stephen F. Siegel (Zenodo, 2023)

SC4DRF artifact. - Wenhao Wu; Jan Hückelheim; Paul D. Hovland; Ziqing Luo; Stephen F. Siegel (Zenodo, 2023)

SC4DRF artifact. - Wenhao Wu; Jan Hückelheim; Paul D. Hovland; Ziqing Luo; Stephen F. Siegel (Zenodo, 2023)

Collective Contracts for Message-Passing Parallel Programs. - Ziqing Luo; Stephen F. Siegel (CAV (2), 2024)

Verifying PETSc Vector Components Using CIVL. - Venkata Dhavala; Jan Hückelheim; Paul D. Hovland; Stephen F. Siegel (CAV (1), 2025)