Alper Altuntas

Works (4)

Updated: July 5th, 2023 15:41

2018 article

Hybrid theorem proving as a lightweight method for verifying numerical software

PROCEEDINGS OF CORRECTNESS 2018: 2ND IEEE/ACM INTERNATIONAL WORKSHOP ON SOFTWARE CORRECTNESS FOR HPC APPLICATIONS, pp. 1–8.

By: A. Altuntas* & J. Baugh n 

author keywords: hybrid systems; formal methods; scientific computation; KeYmaera X
TL;DR: This study applies hybrid theorem proving from the field of cyber-physical systems to problems in scientific computation, and shows how to verify the correctness of discrete updates that appear in the simulation of continuous physical systems. (via Semantic Scholar)
UN Sustainable Development Goals Color Wheel
UN Sustainable Development Goal Categories
13. Climate Action (OpenAlex)
Sources: Web Of Science, ORCID
Added: December 12, 2018

2017 journal article

Adaptive subdomain modeling: A multi-analysis technique for ocean circulation models

OCEAN MODELLING, 115, 86–104.

By: A. Altuntas n & J. Baugh n 

Contributors: A. Altuntas n & J. Baugh n 

author keywords: Storm surge; Adaptive algorithm; Subdomain modeling; Moving boundaries; ADCIRC
TL;DR: An adaptive multi-analysis technique that improves the efficiency of these computations when multiple alternatives are being simulated, called adaptive subdomain modeling, which concurrently analyzes any number of child domains. (via Semantic Scholar)
UN Sustainable Development Goals Color Wheel
UN Sustainable Development Goal Categories
13. Climate Action (Web of Science)
14. Life Below Water (Web of Science; OpenAlex)
Sources: Web Of Science, ORCID, NC State University Libraries
Added: August 6, 2018

2016 article

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

(M. Butler, K.-D. Schewe, A. Mashkoor, & M. Biro, Eds.). ABSTRACT STATE MACHINES, ALLOY, B, TLA, VDM, AND Z (ABZ 2016), Vol. 9675, pp. 256–261.

By: J. Baugh n  & A. Altuntas n

Contributors: J. Baugh n  & A. Altuntas n

Ed(s): M. Butler, K. Schewe, A. Mashkoor & M. Biro

Event: at Cham

TL;DR: An Alloy model is described that helps check the correctness of a discrete wet-dry algorithm used in a system for hurricane storm surge prediction and a recent performance enhancement to the system that involves mesh partitioning. (via Semantic Scholar)
UN Sustainable Development Goals Color Wheel
UN Sustainable Development Goal Categories
13. Climate Action (Web of Science; OpenAlex)
14. Life Below Water (Web of Science)
Sources: Web Of Science, ORCID, NC State University Libraries
Added: August 6, 2018

2015 journal article

An exact reanalysis technique for storm surge and tides in a geographic region of interest

COASTAL ENGINEERING, 97, 60–77.

By: J. Baugh n , A. Altuntas n, T. Dyer  n & J. Simon *

Contributors: J. Baugh n , A. Altuntas n, T. Dyer  n & J. Simon *

author keywords: Hurricane; Storm surge; Subdomain modeling; ADCIRC
TL;DR: This work presents an exact reanalysis technique and corresponding implementation that enable the assessment of local subdomain changes with less computational effort than would be required by a complete resimulation of the full domain. (via Semantic Scholar)
UN Sustainable Development Goals Color Wheel
UN Sustainable Development Goal Categories
13. Climate Action (Web of Science)
14. Life Below Water (Web of Science)
Sources: Web Of Science, ORCID, NC State University Libraries
Added: August 6, 2018

Citation Index includes data from a number of different sources. If you have questions about the sources of data in the Citation Index or need a set of data which is free to re-distribute, please contact us.

Certain data included herein are derived from the Web of Science© and InCites© (2025) of Clarivate Analytics. All rights reserved. You may not copy or re-distribute this material in whole or in part without the prior written consent of Clarivate Analytics.