Photos of June 2013 Parabolic Flight Campaign (Flight Opportunities Program)
Alex Van Dijk
Published at: Publication: Public Web Site; www.flickr.com/nasafo
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

Uncertanity Quanitification in Remaining Useful Life of Aerospace Components using State Space Models and Inverse FORM
Shankar Sankararaman, Kai Goebel
Published at: Conference: AIAA Non-Deterministic Approaches Conference; Boston, MA
Date: 04/08/13