Skip to Main Content U.S. Department of Energy
Fundamental and Computational Sciences Directorate

Staff information

David Callahan

Data Sciences

PNNL Publications


  • Ciraci S, JC Fuller, JA Daily, A Makhmalbaf, and CD Callahan, II. 2014. "A Runtime Verification Framework for Control System Simulation." In IEEE 38th Annual Computer Software and Applications Conference (COMPSAC 2014), July 21-25, 2014, Vasteras, Sweden, pp. 78-84.  IEEE, Piscataway, NJ. 

Fundamental & Computational Sciences

User Facilities

Research Areas


Research Highlights

View All Research Highlights & Staff Accomplishments

RSS Feed