Voyages of Discovery with the Mars Exploration Rovers
William Clancey
Published at: Mars Society Annual Convention
Date: 08/15/08
Generating Customized Verifiers for Automatically Generated Code
Ewen Denney
Published at: Seventh International Conference on Generative
Date: 07/28/08
Development of an On-Board Failure Diagnostics and Prognostics System for Solid Rocket Booster
Vadim Smelyanskiy,
Dimitry Luchinsky,
Viatcheslav Osipov,
Dogan Timucin,
Serdar Uckun
Published at: 44th AIAA JPC
Date: 07/24/08
Towards Intelligent Control for Next Generation Aircraft
Diana Acosta,
Kalmanje Krishnakumar,
Susan Frost
Published at: International Powered Lift Conference, Royal Aeronautical Society
Date: 07/22/08
A Survey of New Trends in Symbolic Execution for Software Testing and Analysis
Corina Pasareanu
Published at: Journal Article-Software Tools for Technology Transfer
Date: 07/07/08
Automated Assume-Guarantee Reasoning by Abstraction Refinement
Mihaela Gheorghiu,
Corina Pasareanu,
Dimitra Giannakopoulou
Published at: 20th International Conference on Computer Aided Verification
Date: 07/07/08
Recent Results on "Approximations to Optimal Alarm Systems for Anomaly Detection"
Rodney Martin
Published at: 2008 IEEE International Symposium on Information Theory
Date: 07/06/08
General Purpose Data-Driven Monitoring for Space Operations
David Iverson
Published at: Infotech@Aerospace
Date: 04/06/08