Software Engineering Institute

Tim Daly

Tim Daly is an SEI alumni employee.

All

Function Extraction (FX) Research for Computation of Software Behavior: 2010 Development and Application of Semantic Reduction Theorems for Behavior Analysis

February 1, 2011 • Technical Report

By Richard C. Linger (Oak Ridge National Laboratory) , Tim Daly , Mark Pleszkoch

Results of SEI Independent Research and Development Projects (FY 2010)

February 1, 2011 • Technical Report

By William Anderson , Archie D. Andrews , Nanette Brown , Cory Cohen , Christopher Craig , Tim Daly , Dionisio de Niz , Andres Diaz-Pace , Peter H. Feiler , David Fisher , David P. Gluch , Jeffrey Hansen , Jörgen Hansson (University of Skovde) , John J. Hudak , Karthik Lakshmanan , Richard C. Linger (Oak Ridge National Laboratory) , Howard F. Lipson , Gabriel Moreno , Edwin J. Morris , Onur Mutlu , Robert Nord , Ipek Ozkaya , Daniel Plakosh , Mark Pleszkoch , Ragunathan Rajkumar , Joe Seibel , Soumya Simanta , Charles Weinstock , Lutz Wrage

Function Extraction: Automated Behavior Computation for Aerospace Software Verification and Certification

April 29, 2007 • White Paper

By Tim Daly , Richard C. Linger (Oak Ridge National Laboratory) , Stacy J. Prowell