A Survey of New Trends in Symbolic Execution for Software Testing and Analysis
Corina Pasareanu
Published at: Software Tools for Technology Transfer
08/08/08

Field Testing of Utilty Robots for Lunar Surface Operations
Terry Fong, Maria Bualat, Matthew Deans, Mark Allen, Xavier Bousyssounouse
08/08/08

Closing the Certification Gaps in Adaptive Flight Control Software
Stephen Jacklin
08/08/08

Safe Reactive Navigation for Lunar and Planetary Robots
Hans Utz
08/01/08

Workflow Agents vs. Expert Systems: Problem solving methods in work systems design
William Clancey
08/01/08

A Flexible Evolvable Architecture for Constellation Mission Systems User Applications
Jay Trimble
Published at: SpaceOps 2008
06/19/08

Bounded Linear Stability Margin Analysis of Nonlinear Hybrid Adaptive Control
Nhan Nguyen
06/18/08

Enabling and Enhancing Space Mission Success and Reduction of Risk Through the Application of an Integrated Data Architecture
Robert Brummett
Published at: IAASS Conference
06/18/08

Adaptive Key Component Control of Nonlinear Evolving Flexible Structures
Susan Frost, Mark Balas
Published at: ASME Conf. on Smart Materials
06/13/08

Towards Intelligent Control for Next Generation Aircraft
Diana Acosta, K. Krishnakumar, Susan Frost
Published at: International Powered Lift Conference, Royal Aeronautical Society
06/13/08

Automated Data Assimilation and Flight Planning for Multi-Platform Observation Missions
Nikunj Oza, Robert Morris, Anthony Strawa, Elif Kurklu, Leslie Keely
Published at: NASA Earth Science technology Conference
06/13/08

Inferential Framework for Nonstationary Dynamics Part II: Application to a Model of Physiological Signaling
Vadim Smelyanskiy, Dmitry Luchinsky
06/13/08

Human/Automation Trade Methodology for the Mood, Mars and Beyond
David Korsmeyer
06/02/08

Recent Results on "Approximations to Optimal Alarm Systems for Anomaly Detection"
Rodney Martin
06/02/08

Generating Customized Verifiers for Automatically Generated Code
Ewen Denney
06/02/08

An Investigation of State-Space Model Fidelity for SSME Data
Rodney Martin
Published at: International Conference on Prognostics and Health
05/21/08

Integrating System Health Management into the Early Design of Aerospace Systems Using Functional Fault Analysis
Tolga Kurtoglu, Stephen Johnson, Eric Barszcz, Jeremy Johnson, Peter Robinson
Published at: International Conference on Prognostics and Health Management (PHM '08)
05/14/08

Metrics for Evaluating Performance of Prognostic Techniques
Abhinav Saxena, Jose Celaya, Edward Balaban, Bhaskar Saha, Sankalita Saha, Kai Goebel, Mark Schwabacher
Published at: International Conference on Prognostics and Health Management (PHM '08)
05/14/08

Assume Guarantee Verification for Interface Automata
Michael Emmi, Dimitra Giannakopoulou, Corina Pasreanu
Published at: 15th International Symposium on Formal Methods
04/10/08

Automation for Spacecraft Operations: Needs, Risks & Options
Surendra Sharma, Jeremy Frank, David Alfano
Published at: 59th International Astronautical Congress
04/10/08