Unmanned Aircraft Systems in the National Airspace System: A Formal Methods Perspective
Commanding Constellations (Pipeline Architecture)
Time Manager Software for a Flight Processor
NDAS Hardware Translation Layer Development
NASA Applications for Computational Electromagnetic Analysis
Using Sequence Diagrams to Detect Communication Problems Between Systems
Distributed Avionics and Software Verification for the Constellation Program
Reconfigurable HIL Testing of Earth Satellites
Automatic Focus Adjustment of a Microscope
A Computer-Aided Approach for Designing Edge-Slot Waveguide Arrays
Pre-Hardware Optimization of Spacecraft Image Processing Algorithms and Hardware Implementation
A Software Architecture for Intelligent Synthesis Environments
X-ray Pulsar Navigation Algorithms and Testbed for SEXTANT
Initial Results of the Software-Driven Navigation for Station Experiment
Ethernet for Space Flight Applications
Ramp Traffic Console (RTC) Ramp Manager Traffic Console (RMTC) User Manual
A Programmable SDN+NFV Architecture for UAV Telemetry Monitoring