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.

By: A. Altuntas & J. Baugh

Source: Web Of Science
Added: March 25, 2019

2017 journal article

Adaptive subdomain modeling: A multi-analysis technique for ocean circulation models

Ocean Modelling (Oxford, England), 115, 86–104.

By: A. Altuntas & J. Baugh

Source: NC State University Libraries
Added: August 6, 2018

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.

By: J. Baugh & A. Altuntas

Source: NC State University Libraries
Added: August 6, 2018

2015 journal article

An exact reanalysis technique for storm surge and tides in a geographic region of interest

Coastal Engineering, 97, 60–77.

By: J. Baugh, A. Altuntas, T. Dyer & J. Simon

Source: NC State University Libraries
Added: August 6, 2018