Modeling a Discrete Wet-Dry Algorithm for Hurricane Storm Surge in Alloy. - John W. Baugh Jr.; Alper Altuntas (ABZ, 2016)

Verifying Concurrency in an Adaptive Ocean Circulation Model. - Alper Altuntas; John W. Baugh Jr. (CORRECTNESS@SC, 2017)

Hybrid Theorem Proving as a Lightweight Method for Verifying Numerical Software. - Alper Altuntas; John W. Baugh Jr. (CORRECTNESS@SC, 2018)

Formal methods and finite element analysis of hurricane storm surge: A case study in software verification. - John W. Baugh Jr.; Alper Altuntas (Sci. Comput. Program., 2018)

Bounded Verification of Sparse Matrix Computations. - Tristan Dyer; Alper Altuntas; John W. Baugh Jr. (CORRECTNESS@SC, 2019)

Toward Automated Precision Tuning of Weather and Climate Models: A Case Study. - Jackson Vanover; Alper Altuntas; Cindy Rubio-González (SC Workshops, 2024)