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, 115, 86–104.
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.
Ed(s): M. Butler, K. Schewe, A. Mashkoor & M. Biro
Event: at Cham
2015 journal article
An exact reanalysis technique for storm surge and tides in a geographic region of interest
COASTAL ENGINEERING, 97, 60–77.