NASA Logo, National Aeronautics and Space Administration

+NASA Home

+Ames Home

Intelligent Systems Division
Intelligent Systems Division Banner

Publications for All Years (602 out of 602)

Physics Based Model for Cryogenic Chilldown and Loading. Part I: Algorithm
Dmitry Luchinsky, Vadim Smelyanskiy, Barbara Brown
Published at: NASA STI Report Series: TP
Date: 02/27/14
Robust Adaptive Model Tracking for Distributed Parameter Control of Linear Infinite-Dimensional Systems in Hilbert Space
Mark Balas, Susan Frost
Published at: Journal Article: Acta Automatica Sinica
Date: 02/14/14
An Uncertainty Qantification Framework for Prognostics and Condition-Based Monitoring
Shankar Sankararaman, Kai Goebel
Published at: Conference: AIAA SciTech Conference; National Harbor, MD
Date: 01/13/14
Prognostics
Kai Goebel, George Vachtsevanos, Marcos Orchard
Published at: Book Chapter: IVHM - Technology
Date: 12/18/13
A Semantic Basis for Proof Queries and Transformations
David Aspinall, Ewen Denney, Christoph Lueth
Published at: Conference: 19th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-19); Stellenbosch, South Africa
Date: 12/15/13
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
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
Extending JPF to Verify Distributed Systems
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
Invariant Discovery Guided By Symbolic Execution
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
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
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
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
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


Filter by year

2016 2015 2014 2013 2012 2011 2010 2009 2008

Publications Search

Archive

2008 2007 2006 2005 2004 2003 2002 2001 2000 1999 1998

First Gov logo
NASA Logo - nasa.gov