Altuntas, Alper, John Baugh, and Jesse Nusbaumer. “Verifying ParamGen: A Case Study in Scientific Software Abstraction and Modeling.” In Proceedings of 2023 Improving Scientific Software Conference, 2023. pdf
Dyer, Tristan, Alper Altuntas, and John Baugh. “Bounded Verification of Sparse Matrix Computations.” In Proceedings of 2019 IEEE/ACM 3rd International Workshop on Software Correctness for HPC Applications (Correctness), pp. 36-43. IEEE, 2019. pdf
Baugh, John, and Alper Altuntas. “Formal methods and finite element analysis of hurricane storm surge: A case study in software verification.” Science of Computer Programming 158 (2018): 100-121. pdf
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. pdf
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. pdf
Altuntas, Alper, and John Baugh. “Adaptive subdomain modeling: A multi-analysis technique for ocean circulation models.” Ocean Modelling 115 (2017): 86-104. pdf
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. pdf
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. pdf
