2018 article
Hybrid theorem proving as a lightweight method for verifying numerical software
PROCEEDINGS OF CORRECTNESS 2018: 2ND IEEE/ACM INTERNATIONAL WORKSHOP ON SOFTWARE CORRECTNESS FOR HPC APPLICATIONS, pp. 1–8.
2017 journal article
Adaptive subdomain modeling: A multi-analysis technique for ocean circulation models
Ocean Modelling (Oxford, England), 115, 86–104.
2016 conference paper
Modeling a discrete wet-dry algorithm for hurricane storm surge in alloy
Abstract state machines, alloy, b, tla, vdm, and z (abz 2016), 9675, 256–261.
2015 journal article
An exact reanalysis technique for storm surge and tides in a geographic region of interest
Coastal Engineering, 97, 60–77.