Publications for All Years (627 out of 627)
Fully Utilizing a High-Speed Lunar Laser Communication Downlink in LADEE FSW
Douglas Forman, Craig Pires, Scott Christa
Published at: Conference: Flight Software Workshop 2013
Date: 12/10/13
Douglas Forman, Craig Pires, Scott Christa
Published at: Conference: Flight Software Workshop 2013
Date: 12/10/13
Automated Generation of Model Classes for Java PathFinder
Oksana Tkachuk, Matteo Ceccarello
Published at: Conference: The Java PathFinder Workshop; Palo Alto, CA
Date: 11/12/13
Oksana Tkachuk, Matteo Ceccarello
Published at: Conference: The Java PathFinder Workshop; Palo Alto, CA
Date: 11/12/13
Extending JPF to Verify Distributed Systems
Nastaran Shafiei, Peter Mehlitz
Published at: The Java PathFinder Workshop; Palo Alto, CA
Date: 11/12/13
Nastaran Shafiei, Peter Mehlitz
Published at: The Java PathFinder Workshop; Palo Alto, CA
Date: 11/12/13
Vector-Clock Based Partial Order Reduction for JPF
Neha Rungta, Eric Noonan, Eric Mercer
Published at: Conference: The Java PathFinder Workshop; Palo Alto CA
Date: 11/12/13
Neha Rungta, Eric Noonan, Eric Mercer
Published at: Conference: The Java PathFinder Workshop; Palo Alto CA
Date: 11/12/13
Invariant Discovery Guided By Symbolic Execution
Neha Rungta, Suzette Person
Published at: Conference: The Java PathFinder Workshop; Palo Alto, CA
Date: 11/12/13
Neha Rungta, Suzette Person
Published at: Conference: The Java PathFinder Workshop; Palo Alto, CA
Date: 11/12/13
Towards a Lazier Symbolic Pathfinder
Neha Rungta, Suzette Person, Butler Hine, Eric Mercer
Published at: Conference: The Java PathFinder Workshop; Palo Alto, CA
Date: 11/12/13
Neha Rungta, Suzette Person, Butler Hine, Eric Mercer
Published at: Conference: The Java PathFinder Workshop; Palo Alto, CA
Date: 11/12/13
Detecting and Characterizing Semantic Inconsistencies in Ported Code
Neha Rungta, Suzette Person, Baishakhi Ray, Miryung Kim
Published at: Conference: 28th IEEE/ACM International Conference on Automated Software Engineering; Palo Alto, CA
Date: 11/11/13
Neha Rungta, Suzette Person, Baishakhi Ray, Miryung Kim
Published at: Conference: 28th IEEE/ACM International Conference on Automated Software Engineering; Palo Alto, CA
Date: 11/11/13
Evidence Arguments for Using Formal Methods in Software Certification
Ewen Denney, Ganeshmadhav Pai
Published at: Conference: International Workshop on Software Certification 2013; Pasadena, CA
Date: 11/07/13
Ewen Denney, Ganeshmadhav Pai
Published at: Conference: International Workshop on Software Certification 2013; Pasadena, CA
Date: 11/07/13
Tensegrity Based Probes for Planetary Exploration: Entry, Descent and Landing (EDL) and Surface Mobility Analysis
Vytas SunSpiral, George Gorospe, Jonathan Bruce, Atil Iscen, George Korbel, Adrian Agogino
Published at: Journal: Journal for the International Planetary Probe Workshop
Date: 11/01/13
Vytas SunSpiral, George Gorospe, Jonathan Bruce, Atil Iscen, George Korbel, Adrian Agogino
Published at: Journal: Journal for the International Planetary Probe Workshop
Date: 11/01/13
Towards Real-time, On-board, Hardware-supported Sensor and Software Health Management for Unmanned Aerial Systems
Johann Schumann, Kristin Rozier, Thomas Reinbacher, Ole Mengshoel, Timmy Mbaya
Published at: Conference: Prognostics and System Health Management Conference; New Orleans, LA
Date: 10/16/13
Johann Schumann, Kristin Rozier, Thomas Reinbacher, Ole Mengshoel, Timmy Mbaya
Published at: Conference: Prognostics and System Health Management Conference; New Orleans, LA
Date: 10/16/13
Web Based Prognostics and 24 7 Monitoring
Miryam Strautkalns, Peter Robinson
Published at: Conference: Annual Conference of the Prognostics and Health Management Society 2013; New Orleans, LA
Date: 10/14/13
Miryam Strautkalns, Peter Robinson
Published at: Conference: Annual Conference of the Prognostics and Health Management Society 2013; New Orleans, LA
Date: 10/14/13
A Cryogenic Fluid System Simulation in Support of Integrated Systems Health Management
John Barber, Kyle Johnston, Matthew Daigle
Published at: Conference: Annual Conference of the Prognostics and Health Management Society 2013; New Orleans, LA
Date: 10/13/13
John Barber, Kyle Johnston, Matthew Daigle
Published at: Conference: Annual Conference of the Prognostics and Health Management Society 2013; New Orleans, LA
Date: 10/13/13
Advanced Methods for Determining Predicition Uncertainty in Model-Based Prognostics with Application to Plantary Rovers
Matthew Daigle, Shankar Sankararaman
Published at: Conference: Annual Conference of the Prognostics and Health Management Society 2013; New Orleans, LA
Date: 10/13/13
Matthew Daigle, Shankar Sankararaman
Published at: Conference: Annual Conference of the Prognostics and Health Management Society 2013; New Orleans, LA
Date: 10/13/13
Electrochemistry-based Battery Modeling for Prognostics
Matthew Daigle, Chetan Kulkarni
Published at: Conference: Annual Conference of the Prognostics and Health Management Society 2013; New Orleans, LA
Date: 10/13/13
Matthew Daigle, Chetan Kulkarni
Published at: Conference: Annual Conference of the Prognostics and Health Management Society 2013; New Orleans, LA
Date: 10/13/13
A Novel Computational Methodology for Uncertainty Quantification in Prognostics Using The Most Probable Point Concept
Shankar Sankararaman, Kai Goebel
Published at: Conference: Annual Conference of the Prognostics and Health Management Society 2013; New Orleans, LA
Date: 10/13/13
Shankar Sankararaman, Kai Goebel
Published at: Conference: Annual Conference of the Prognostics and Health Management Society 2013; New Orleans, LA
Date: 10/13/13
- NASA Official: Sonie Lau
- Curator: ASANI Solutions