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

Publications for All Years (496 out of 496)

Helping System Engineers Bridge the Peaks
Neha Rungta, Oksana Tkachuk, Jason Biatek, Michael Whalen, Joseph Castle, Karen Gundy-Burlet
Published at: Conference: Fourth International Workshop on the Twin Peaks of Requirements and Architecture; Hyderabad, India
Date: 06/01/14
Property Differencing for Incremental Checking
Neha Rungta, Suzette Person, Guowei Yang, Sarfraz Khurshid
Published at: Conference: 36th ICSE 2014; Hyderabad, India
Date: 05/30/14
Model Checking Degrees of Belief in a System of Agents
Neha Rungta, Franco Raimondi, Giuseppe Primero
Published at: Conference: AAMAS 2014; Paris France
Date: 05/05/14
Concurrent Bounded Model Checking
Corina Pasareanu, Quoc-Sang Phan, Pasquale Malacaria
Published at: Conference: TACAS 2014; Grenoble, France
Date: 04/05/14
Wireless Space Plug-and-Play Archtecture (SPA-Z)
Richard Alena, John Ossenfort, Thom Stone, Jarren Baldwin
Published at: Conference: IEEE Aerospace Conference 2014; Big Sky, MT
Date: 03/01/14
Hererogeneous Spacecraft Networks: Wireless Network Technology Assessment
Richard Alena, Yosuke Nakamura, Nicolas Faber, David Mauro
Published at: Conference: IEEE Aerospace Conference 2014; Big Sky, MT
Date: 03/01/14
Application of Model-based Prognostics to a Pneumatic Valves Testbed
Matthew Daigle, Chetan Kulkarni, George Gorospe
Published at: Conference: 2013 IEEE Aerospace Conference; Big Sky, MT
Date: 03/01/14
A Battery Health Monitoring Framework for Planetary Rovers
Matthew Daigle, Chetan Kulkarni
Published at: Conference: 2014 IEEE Aerospace Conference; Big Sky, MT
Date: 03/01/14
Current Pressure Transducer Application of Model-Based Prognostics using Steady State Conditions
Christopher Teubert, Matthew Daigle
Published at: Conference: 2014 IEEE Aerospace Conference; Big Sky, MT
Date: 02/28/14
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
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
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

Filter by year

2014 2013 2012 2011 2010 2009 2008

Publications Search


2008 2007 2006 2005 2004 2003 2002 2001 2000 1999 1998

+NASA Home

+Ames Home

Intelligent Systems Division
First Gov logo
NASA Logo -