NASA Logo, National Aeronautics and Space Administration

+NASA Home

+Ames Home

Intelligent Systems Division
Intelligent Systems Division Banner

Publications for All Years (598 out of 598)

The SeaHorn Verification Framework
Jorge Navas Laserna, Arie Gurfinkel, Temesghen KahsaiAzene, Anvesh Komuravelli
Published at: Conference: CAV-15; San Francisco, CA
Date: 07/18/15
Predicting Time Series Outputs and Time-to-Failure for an Aircraft Controller Using Bayesian Modeling
Yuning He
Published at: Conference: Society for Industrial and Applied Mathematics; Paris, France
Date: 07/08/15
From Pixels to Planets
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
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
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
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
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
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
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
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
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
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
Safety Case Patterns: Theory and Applications
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


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