icon-carat-right
menu
search
cmu-wordmark
Carnegie Mellon University
Software Engineering Institute
Home
Publications
Authors
Richard C. Linger (Oak Ridge National Laboratory)
Richard C. Linger (Oak Ridge National Laboratory)
Oak Ridge National Laboratory
All
Tech Publications
Podcasts
Development of a Master of Software Assurance Reference Curriculum - 2013 IJSSE
July 31, 2013
•
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)
Software Assurance Curriculum Master Bibliography and Course References
June 1, 2011
•
User's Guide
By
Julia H. Allen
,
Nancy R. Mead
,
Mark A. Ardis (Stevens Institute of Technology)
,
Thomas B. Hilburn (Embry-Riddle Aeronautical University)
,
Andrew J. Kornecki (Embry-Riddle Aeronautical University)
,
Richard C. Linger (Oak Ridge National Laboratory)
Software Assurance Curriculum Project Volume III: Master of Software Assurance Course Syllabi
March 1, 2011
•
Technical Report
By
Nancy R. Mead
,
Julia H. Allen
,
Mark A. Ardis (Stevens Institute of Technology)
,
Thomas B. Hilburn (Embry-Riddle Aeronautical University)
,
Andrew J. Kornecki (Embry-Riddle Aeronautical University)
,
Richard C. Linger (Oak Ridge National Laboratory)
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
More from Richard Linger
Development of a Master of Software Assurance Reference Curriculum - 2013 IJSSE
July 31, 2013
•
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)
Software Assurance Curriculum Master Bibliography and Course References
June 1, 2011
•
User's Guide
By
Julia H. Allen
,
Nancy R. Mead
,
Mark A. Ardis (Stevens Institute of Technology)
,
Thomas B. Hilburn (Embry-Riddle Aeronautical University)
,
Andrew J. Kornecki (Embry-Riddle Aeronautical University)
,
Richard C. Linger (Oak Ridge National Laboratory)
Software Assurance Curriculum Project Volume III: Master of Software Assurance Course Syllabi
March 1, 2011
•
Technical Report
By
Nancy R. Mead
,
Julia H. Allen
,
Mark A. Ardis (Stevens Institute of Technology)
,
Thomas B. Hilburn (Embry-Riddle Aeronautical University)
,
Andrew J. Kornecki (Embry-Riddle Aeronautical University)
,
Richard C. Linger (Oak Ridge National Laboratory)
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
More from Richard Linger
Software Assurance: A Master's Level Curriculum
October 26, 2010
•
Podcast
By
Nancy R. Mead
,
Thomas B. Hilburn (Embry-Riddle Aeronautical University)
,
Richard C. Linger (Oak Ridge National Laboratory)
,
Julia H. Allen
More from Richard Linger