Works (4)

Updated: July 5th, 2023 15:41

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*

author keywords: hybrid systems; formal methods; scientific computation; KeYmaera X
Sources: Web Of Science, ORCID
Added: December 12, 2018

2017 journal article

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

OCEAN MODELLING, 115, 86–104.

By: A. Altuntas n & J. Baugh n

author keywords: Storm surge; Adaptive algorithm; Subdomain modeling; Moving boundaries; ADCIRC
Sources: Web Of Science, ORCID
Added: August 6, 2018

2016 article

Modeling a Discrete Wet-Dry Algorithm for Hurricane Storm Surge in Alloy

(M. Butler, K.-D. Schewe, A. Mashkoor, & M. Biro, Eds.). ABSTRACT STATE MACHINES, ALLOY, B, TLA, VDM, AND Z (ABZ 2016), Vol. 9675, pp. 256–261.

By: J. Baugh n & A. Altuntas n

Ed(s): M. Butler, K. Schewe, A. Mashkoor & M. Biro

Event: at Cham

Sources: Web Of Science, ORCID
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 n, A. Altuntas n, T. Dyer n & J. Simon*

author keywords: Hurricane; Storm surge; Subdomain modeling; ADCIRC
Sources: Web Of Science, ORCID
Added: August 6, 2018