Publications for the year 2014 (41 out of 736)

  • LADEE Multi-Domain Simulation

  • Published at: Oral or Visual Presentation: 2014 Workshop on Spacecraft Flight Software; Pasadena, CA
  • Date: 12/17/14
  • Authors: Nathaniel Benz, Danilo Viazzo
  • NASA GeneLab Concept of Operations

  • Published at: Conference: American Society for Gravitational and Space Research; Pasadena, CA
  • Date: 10/22/14
  • Authors: Terri Thompson, Kristina Gibbs, Jon Rask, Joseph Coughlan, Jeffrey Smith
  • Querying Safety Cases

  • Published at: Conference: SafeComp 2014: Firenza, Italy
  • Date: 09/10/14
  • Authors: Ewen Denney, Dwight Naylor, Ganeshmadhav Pai
  • Feedback-driven Dynamic Invariant Discovery

  • Published at: Conference: ISSTA '14: International Symposium on Software Testing and Analysis; San Jose, CA
  • Date: 07/23/14
  • Authors: Neha Rungta, Lingming Zhang, Guowei Yang, Suzette Person, Sarfraz Khurshid
« Previous 123 Next »