Richard C. Linger (Oak Ridge National Laboratory)
Oak Ridge National Laboratory
Development of a Master of Software Assurance Reference Curriculum - 2013 IJSSE
• White Paper
By Andrew J. Kornecki (Embry-Riddle Aeronautical University) , James McDonald (Monmouth University) , Julia H. Allen , Mark A. Ardis (Stevens Institute of Technology) , Nancy R. Mead , Richard C. Linger (Oak Ridge National Laboratory) , Thomas B. Hilburn (Embry-Riddle Aeronautical University)
Function Extraction (FX) Research for Computation of Software Behavior: 2010 Development and Application of Semantic Reduction Theorems for Behavior Analysis
• Technical Report
By Richard C. Linger (Oak Ridge National Laboratory) , Tim Daly , Mark Pleszkoch
Results of SEI Independent Research and Development Projects (FY 2010)
• 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
Development of a Master of Software Assurance Reference Curriculum - 2013 IJSSE
• White Paper
By Andrew J. Kornecki (Embry-Riddle Aeronautical University) , James McDonald (Monmouth University) , Julia H. Allen , Mark A. Ardis (Stevens Institute of Technology) , Nancy R. Mead , Richard C. Linger (Oak Ridge National Laboratory) , Thomas B. Hilburn (Embry-Riddle Aeronautical University)
Function Extraction (FX) Research for Computation of Software Behavior: 2010 Development and Application of Semantic Reduction Theorems for Behavior Analysis
• Technical Report
By Richard C. Linger (Oak Ridge National Laboratory) , Tim Daly , Mark Pleszkoch
Results of SEI Independent Research and Development Projects (FY 2010)
• 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