Paula J. Pingree
Jet Propulsion Laboratory(US)Université Bourgogne Franche-Comté(FR)
Publications by Year
Research Areas
Spacecraft Design and Technology, Calibration and Measurement Techniques, Satellite Communication Systems, Planetary Science and Exploration, Formal Methods in Verification
Most-Cited Works
- → MWR: Microwave Radiometer for the Juno Mission to Jupiter(2017)99 cited
- Interplanetary CubeSats: Opening the Solar System to a Broad Community at Lower Cost(2011)
- → Validation of mission critical software design and implementation using model checking [spacecraft](2003)19 cited
- Validation of mission critical software design and implementation using model checking(2002)
- → An evaluation of the Xilinx Virtex-4 FPGA for on-board processing in an advanced imaging system(2009)17 cited
- → A CubeSat design to validate the Virtex-5 FPGA for spaceborne image processing(2010)17 cited
- The COVE Payload - A Reconfigurable FPGA-Based Processor for CubeSats(2011)
- → The prototype development phase of the CubeSat On-board processing Validation Experiment(2011)14 cited
- → Real-time data processing for an advanced imaging system using the Xilinx Virtex-5 FPGA(2010)13 cited
- → An FPGA/SoC Approach to On-Board Data Processing Enabling New Mars Science with Smart Payloads(2007)13 cited