NASA Logo, National Aeronautics and Space Administration
Intelligent Systems Division Banner

Publications for All Years (532 out of 532)

Generation of Library Models for Verification of Android Applications
Oksana Tkachuk, Brink van der Merwe, Heila van der Merwe, Willem Visser
Published at: Publication: Other: Proceedings of the Java PathFinder Workshop; Salt Lake City, UT
Date: 01/15/15
Improving Coverage of Test-Cases Generated by Symbolic PathFinder for Programs with Loops
Neha Rungta, Rody Kersten, Suzette Person, Oksana Tkachuk
Published at: Publication: Other: Proceedings of the Java PathFinder Workshop; Salt Lake City, UT
Date: 01/15/15
Assume-Guarantee Abstraction Refinement Meets Hybrid Systems
Corina Pasareanu, Sergiy Bogomolov, Goran Frehse, Marius Greitschus, Radu Grosu
Published at: Publication: Other: Proceedings of the Haifa Verification Conference (HVC 14)
Date: 01/09/15
Formal Foundations for Hierarchical Safety Cases
Ewen Denney, Ganeshmadhav Pai, Iain Whiteside
Published at: Conference: 16th International Symposium on High Assurance Systems; Daytona Beach, FL
Date: 01/08/15
Automating the Assembly of Aviation Safety
Ewen Denney, Ganeshmadhav Pai
Published at: Journal Article: IEEE Transactions on Reliability; IEEE Computer Society
Date: 10/30/14
NASA GeneLab Concept of Operations
Terri Thompson, Kristina Gibbs, Jon Rask, Joseph Coughlan, Jeffrey Smith
Published at: Conference: American Society for Gravitational and Space Research; Pasadena, CA
Date: 10/22/14
Assuring Ground Detect and Avoid for UAS Operations
Randall Berthold, Ewen Denney, Matthew Fladeland, Ganeshmadhav Pai, Bruce Storms
Published at: Conference: 33rd Digital Avionics Systems Conference; Colorado Springs, CO
Date: 10/05/14
Integrated Diagnostics and Prognostics for the Electrical Power System of a Planetary Rover
Matthew Daigle, Indranil Roychoudhury, Anibal Bregon
Published at: Conference: Annual Conference of the Prognostics and Health Management Society 2014 (PHM 2014); Fort Worth, TX
Date: 09/28/14
Qualitative Event-Based Fault Isolation under Uncertain Observations
Matthew Daigle, Indranil Roychoudhury, Anibal Bregon
Published at: Conference: Annual Conference of the Prognostics and Health Management Society 2014 (PHM 2014); Fort Worth, TX
Date: 09/28/14
Wing Shaping Concepts Using Distributed Propulsion
Kevin Reynolds, Nhan Nguyen, Eric Bi-Wen Ting
Published at: Journal: Aircraft Engineering and Aerospace Technology
Date: 09/28/14
Querying Safety Cases
Ewen Denney, Dwight Naylor, Ganeshmadhav Pai
Published at: Conference: SafeComp 2014: Firenza, Italy
Date: 09/10/14
IKOS: A Framework for Static Analysis based on Abstract Interpretation (Tool Paper)
Guillaume Brat, Jorge Navas, Nija Shi, Arnaud Venet
Published at: Conference: SEFM 2014; Grenoble, France
Date: 09/01/14
Determining Mission Effects of Equipment Failures
Paul Morris, Minh Do, Robert McCann, Lilijana Spirkovska, Mark Schwabacher
Published at: Conference: Space 2014; San Diego, CA
Date: 08/03/14
Design and Control of Compliant Tensegrity Robots through Simulation and Hardware Validation
Vytas SunSpiral, Ken Caluwaerts, Jeremie Despraz, Atil Iscen, Andrew Sabelhaus, Jonathan Bruce, Benjamin Schrauwen
Published at: Journal Article: Journal of the Royal Society Interface
Date: 07/29/14
Feedback-driven Dynamic Invariant Discovery
Neha Rungta, Lingming Zhang, Guowei Yang, Suzette Person, Sarfraz Khurshid
Published at: Conference: ISSTA '14: International Symposium on Software Testing and Analysis; San Jose, CA
Date: 07/23/14


Filter by year

2014 2013 2012 2011 2010 2009 2008

Publications Search

Archive

2008 2007 2006 2005 2004 2003 2002 2001 2000 1999 1998

+NASA Home

+Ames Home

Intelligent Systems Division
First Gov logo
NASA Logo - nasa.gov