Altuntas, Alper, and John Baugh. “Hybrid Theorem Proving as a Lightweight Method for Verifying Numerical Software.” In Proceedings of 2018 IEEE/ACM 2nd International Workshop on Software Correctness for HPC Applications (Correctness). IEEE, 2018.
Baugh, John, and Alper Altuntas. “Finite Element Simulation of Hurricane Storm Surge: A Case Study in State-Based Modeling.” Science of Computer Programming 158 (2018): 100-121.
Altuntas, Alper, and John Baugh. “Verifying Concurrency in an Adaptive Ocean Circulation Model.” In Proceedings of the First International Workshop on Software Correctness for HPC Applications, pp. 1-7. ACM, 2017
Altuntas, Alper, and John Baugh. “Adaptive subdomain modeling: A multi-analysis technique for ocean circulation models.” Ocean Modelling 115 (2017): 86-104.
Baugh, John, and Alper Altuntas. “Modeling a Discrete Wet-Dry Algorithm for Hurricane Storm Surge in Alloy.”In International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, pp. 256-261. Springer International Publishing, 2016.
Baugh, John, Alper Altuntas, Tristan Dyer, and Jason Simon. “An exact reanalysis technique for storm surge and tides in a geographic region of interest.” Coastal Engineering 97 (2015): 60-77.
