Publications for All Years (660 out of 660)
From Pixels to Planets
Lee Brownston, Jon Jenkins
Published at: Conference: IEEE Conference on Autonomic Computing (ICAC 2015): Grenoble, France
Date: 07/07/15
Lee Brownston, Jon Jenkins
Published at: Conference: IEEE Conference on Autonomic Computing (ICAC 2015): Grenoble, France
Date: 07/07/15
Intelligent Hardware-Enabled Sensor and Software Safety and Health Management for Autonomous UAS
Kristin Rozier, Johann Schumann, Corey Ippolito
Published at: NASA STI Report Series: TM #218827
Date: 06/30/15
Kristin Rozier, Johann Schumann, Corey Ippolito
Published at: NASA STI Report Series: TM #218827
Date: 06/30/15
A Tool for Intersecting Context-Free Grammars and Its Applications
Jorge Navas Laserna, Graeme Gange, Peter Schachte, Harald Sondergaard, Peter Stuckey
Published at: Other: Publication; Proceedings, NASA Formal Methods 2015; Pasadena, CA
Date: 06/30/15
Jorge Navas Laserna, Graeme Gange, Peter Schachte, Harald Sondergaard, Peter Stuckey
Published at: Other: Publication; Proceedings, NASA Formal Methods 2015; Pasadena, CA
Date: 06/30/15
Detection and Modeling of High-dimensional Thresholds for Fault Detection and Diagnosis using Bayesian Statistics
Yuning He
Published at: Conference: International Conference on Prognostics and Health Management; Austin, TX
Date: 06/22/15
Yuning He
Published at: Conference: International Conference on Prognostics and Health Management; Austin, TX
Date: 06/22/15
Wind Tunnel Investigation of a Flexible Wing High-Lift Configuration with a Variable Camber Continuous Trailing Edge Flap Design
Nhan Nguyen, Nathan Precup, Eli Livne, James Umes, Eric Dickey
Published at: Conference: AIAA Aviation 2015; Dallas TX
Date: 06/22/15
Nhan Nguyen, Nathan Precup, Eli Livne, James Umes, Eric Dickey
Published at: Conference: AIAA Aviation 2015; Dallas TX
Date: 06/22/15
Interval Analysis and Machine Arithmetic: Why Signedness Ignorance is Bliss
Graeme Gange, Jorge Navas Laserna, Peter Schachte, Harald Sondergaard, Peter Stuckey
Published at: Publication: Journal: Theoretical Computer Science Journal
Date: 05/29/15
Graeme Gange, Jorge Navas Laserna, Peter Schachte, Harald Sondergaard, Peter Stuckey
Published at: Publication: Journal: Theoretical Computer Science Journal
Date: 05/29/15
System Design and Locomotion of SUPERball, an Untethered Tensegrity Robot
Andrew Sabelhaus, Jonathan Bruce, Ken Caluwaerts, Pavlo Manovi, Roya Firoozi, Vytas SunSpiral
Published at: Conference: ICRA 2015; Seattle, WA
Date: 05/26/15
Andrew Sabelhaus, Jonathan Bruce, Ken Caluwaerts, Pavlo Manovi, Roya Firoozi, Vytas SunSpiral
Published at: Conference: ICRA 2015; Seattle, WA
Date: 05/26/15
Survey of Verification and Validation Techniques for Small Satellite Software Development
Steven Jacklin
Published at: Conference: Space Tech Expo; Long Beach, CA
Date: 05/18/15
Steven Jacklin
Published at: Conference: Space Tech Expo; Long Beach, CA
Date: 05/18/15
A Flexible and Non-instrusive Approach for Computing Complex Structural Coverage Metrics
Neha Rungta, Michael Whalen, Suzette Person, Matt Staats, Daniela Grijincu
Published at: Conference: 37th International Conference on Software Engineering; Florence, Italy
Date: 05/16/15
Neha Rungta, Michael Whalen, Suzette Person, Matt Staats, Daniela Grijincu
Published at: Conference: 37th International Conference on Software Engineering; Florence, Italy
Date: 05/16/15
Dynamic Safety Cases for Through-life Safety Assurance
Ewen Denney, Ganeshmadhav Pai, Ibrahim Habli
Published at: Conference: 37th International Conference on Software Engineering; Florence, Italy
Date: 05/16/15
Ewen Denney, Ganeshmadhav Pai, Ibrahim Habli
Published at: Conference: 37th International Conference on Software Engineering; Florence, Italy
Date: 05/16/15
Are We There Yet? Determining the Adequacy of Formalized Requirements and Test Suites
Neha Rungta, Anitha Murugesan, Michael Whalen, Oksana Tkachuk, Suzette Person
Published at: Conference: NASA Formal Methods; Pasadena, CA
Date: 04/27/15
Neha Rungta, Anitha Murugesan, Michael Whalen, Oksana Tkachuk, Suzette Person
Published at: Conference: NASA Formal Methods; Pasadena, CA
Date: 04/27/15
Safety Case Patterns: Theory and Applications
Ewen Denney, Ganeshmadhav Pai
Published at: NASA STI Report Series: TM #2015-218492
Date: 03/27/15
Ewen Denney, Ganeshmadhav Pai
Published at: NASA STI Report Series: TM #2015-218492
Date: 03/27/15
SimSup's Loop: A Control Theory Approach to Spacecraft Operator Training
Brandon Owens, Alan Crocker
Published at: Conference: IEEE Aerospace Conference 2015: Big Sky, MT
Date: 03/13/15
Brandon Owens, Alan Crocker
Published at: Conference: IEEE Aerospace Conference 2015: Big Sky, MT
Date: 03/13/15
LADEE Preparations for Contingency Operations for the Lunar Orbit Insertion Maneuver
Howard Cannon, Anupa Bajwa, Peter Berg, Alan Crocker
Published at: Conference: IEEE Aerospace Conference 2015: Big Sky, MT
Date: 03/07/15
Howard Cannon, Anupa Bajwa, Peter Berg, Alan Crocker
Published at: Conference: IEEE Aerospace Conference 2015: Big Sky, MT
Date: 03/07/15
Stochastic Prediction of Remaining Driving Time and Distance for a Planetary Rover
Matthew Daigle, Shankar Sankararaman, Chetan Kulkarni
Published at: Conference: IEEE Aerospace Conference: Big Sky, MT
Date: 03/07/15
Matthew Daigle, Shankar Sankararaman, Chetan Kulkarni
Published at: Conference: IEEE Aerospace Conference: Big Sky, MT
Date: 03/07/15
- NASA Official: Sonie Lau
- Curator: ASANI Solutions