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

Publications for All Years (591 out of 591)

Super Ball Bot-structures for Planetary Landing and Exploration - Final Report
Adrian Agogino, Vytas SunSpiral, David Atkinson
Published at: Other Technical Report; Grantee Report
Date: 08/01/13
Photos of June 2013 Parabolic Flight Campaign (Flight Opportunities Program)
Alex Van Dijk
Published at: Publication: Public Web Site;
Date: 08/01/13
Data Mining for Understanding and Improving Decision-making Affecting Ground Delay Programs
Deepak Kulkarni, Yao Wang, Banavar Sridhar
Published at: NASA STI Report Series: TM
Date: 07/31/13
The Role and Impact of Software Coding Standards On System Integrity
Andre Goforth
Published at: Publication: Journal Article; AIAA Info Tech 2013
Date: 07/31/13
Evolving Systems: Nonlinear adaptive key component control with persistent disturbance rejection
Susan Frost, Mark Balas
Published at: Journal Article: Special Issue in Honor of Jer-Nan Juang, Journal of Astronautical Science
Date: 07/13/13
Regression Verification using Impact Summaries
John David Backes, Suzette Person, Neha Rungta, Oksana Tkachuk
Published at: Conference: 25th International Conference on Computer Aided Verification (CAV 2013); St. Petersburg, Russia
Date: 07/12/13
OCSEGen: Open Components and Systems Environment Generator
Oksana Tkachuk
Published at: Conference: International Workshop on the State Of the Art in Java Program Analysis (SOAP); Seattle, WA
Date: 06/20/13
Adaptive disturbance tracking theory with state estimation and state feedback for region II control of large wind turbines
Mark Balas, Kaman Thapa Magar, Susan Frost
Published at: Conference: 2013 American Control Conference; Washington, D.C
Date: 06/17/13
Human and Robotic Mission to Small Bodies: Mapping, Planning and Exploration
Ara Nefian, Julie Bellerose, Ross Beyer, Terry Fong, Brent Archinal, Laurence Edwards, Pascal Lee, Anthony Colaprete
Published at: NASA STI Report Series: TM–2013–216538
Date: 06/14/13
Work Practice Simulation of Complex Human-Automation Systems in Safety Critical Situations: The Brahms Generalized Überlingen Model
William Clancey, Charlotte Linde, ChinHua Seah, Michael Shafto
Published at: NASA STI Report Series: TP-2013-216508
Date: 06/01/13
Aviation Safety: Modeling and Analyzing complex Interactions between Humans and Automated Systems
Neha Rungta, Guillaume Brat, William Clancey, Charlotte Linde, Franco Raimondi
Published at: Conference: 3rd International Conference on Application and Theory of Automation in Command and Control Systems; Naples Italy
Date: 05/28/13
Reliability Analysis in Symbolic Pathfinder
Antonio Filieri, Corina Pasareanu, Willem Visser
Published at: International Conference on Software Engineering (ICSE); San Francisco, CA
Date: 05/18/13
Hierarchical Safety Cases
Ewen Denney, Ganeshmadhav Pai, Iain Whiteside
Published at: Conference: 5th NASA Formal Methods Symposium; NASA Ames Research Center, Moffett Field, CA
Date: 05/14/13
Combining Reward Shaping and Hierarchies for Scaling to Large Multiagent Systems
Chris Holmes Parker, Adrian Agogino, Kagan Tumer
Published at: Publication: Journal Article; Knowledge Engineering Review
Date: 05/09/13
Memoise: A Tool for Memoized Symbolic Execution
Guowei Yang, Sarfraz Khurshid, Corina Pasareanu
Published at: Conference: 35th International Conference on Software engineering (ICSE 2013); San Francisco, CA
Date: 05/08/13

Filter by year

2016 2015 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 -