Commanding Constellations (Pipeline Architecture)
Unmanned Aircraft Systems in the National Airspace System: A Formal Methods Perspective
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
Ethernet for Space Flight Applications
Ramp Traffic Console (RTC) Ramp Manager Traffic Console (RMTC) User Manual
A Software Architecture for Intelligent Synthesis Environments
A Programmable SDN+NFV Architecture for UAV Telemetry Monitoring
X-ray Pulsar Navigation Algorithms and Testbed for SEXTANT
[Micron]ADS-B Detect and Avoid Flight Tests on Phantom 4 Unmanned Aircraft System