Alper Altuntas

Publication Activity (10 Years)

Years Active: 2016-2019
Publications (10 Years): 5

Top Topics

Rows And Columns

Probability Distribution

Top Venues

Sci. Comput. Program.

Publications

Tristan Dyer, Alper Altuntas, John W. Baugh Jr.
Bounded Verification of Sparse Matrix Computations. CORRECTNESS@SC (2019)
John W. Baugh Jr., Alper Altuntas
Formal methods and finite element analysis of hurricane storm surge: A case study in software verification. Sci. Comput. Program. 158 (2018)
Alper Altuntas, John W. Baugh Jr.
Hybrid Theorem Proving as a Lightweight Method for Verifying Numerical Software. CORRECTNESS@SC (2018)
Alper Altuntas, John W. Baugh Jr.
Verifying Concurrency in an Adaptive Ocean Circulation Model. CORRECTNESS@SC (2017)
John W. Baugh Jr., Alper Altuntas
Modeling a Discrete Wet-Dry Algorithm for Hurricane Storm Surge in Alloy. ABZ (2016)