Alper Altuntas

According to our database, Alper Altuntas authored at least 5 papers between 2016 and 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2019

Bounded Verification of Sparse Matrix Computations.

Tristan Dyer, Alper Altuntas, John W. Baugh Jr.

Proceedings of the 2019 IEEE/ACM 3rd International Workshop on Software Correctness for HPC Applications (Correctness), 2019

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

Hybrid Theorem Proving as a Lightweight Method for Verifying Numerical Software.

Alper Altuntas, John W. Baugh Jr.

Proceedings of the 2nd IEEE/ACM International Workshop on Software Correctness for HPC Applications, 2018

2017

Verifying Concurrency in an Adaptive Ocean Circulation Model.

Alper Altuntas, John W. Baugh Jr.

Proceedings of the First International Workshop on Software Correctness for HPC Applications, 2017

2016

Modeling a Discrete Wet-Dry Algorithm for Hurricane Storm Surge in Alloy.

John W. Baugh Jr., Alper Altuntas

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016