search
menu
icon-carat-right
cmu-wordmark
✕
About
Leadership
Divisions
Work with Us
Collaboration with CMU
History of Innovation at the SEI
Our Work
Agile
Artificial Intelligence Engineering
Cyber Workforce Development
Cybersecurity Center Development
Cybersecurity Engineering
DevSecOps
Enterprise Risk and Resilience Management
All Topics
All Projects
Publications
Annual Reviews
Blog
Digital Library
Podcast Series
Software and Tools
Technical Papers
Vulnerability Notes Database
Webcasts
News and Events
News
Events
SEI Bulletin
Education and Outreach
Courses
Credentials
Curricula
License SEI Materials
Careers
Job Openings
Diversity, Equity and Inclusion
Internship Opportunities
Working at the SEI
Carnegie Mellon University
Software Engineering Institute
About
Leadership
Divisions
Work with Us
Collaboration with CMU
History of Innovation at the SEI
Our Work
Agile
Artificial Intelligence Engineering
Cloud Computing
Cyber Workforce Development
Cybersecurity Center Development
Cybersecurity Engineering
DevSecOps
All Topics
All Projects
Publications
Annual Reviews
Blog
Digital Library
Podcast Series
Software and Tools
Technical Papers
Vulnerability Notes Database
Webcasts Series
News and Events
News
Events
SEI Bulletin
Education and Outreach
Courses
Credentials
Curricula
License SEI Materials
Careers
Job Openings
Diversity, Equity, and Inclusion
Internship Opportunities
Home
Publications
Authors
Tim Daly
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