Follow
Zachary Luppen
Zachary Luppen
EEE Components Engineer, SpaceX
Verified email at spacex.com
Title
Cited by
Cited by
Year
Variations in the ionospheric peak altitude at Mars in response to dust storms: 13 years of observations from the Mars Express Radar Sounder
Z Girazian, Z Luppen, DD Morgan, F Chu, L Montabone, EMB Thiemann, ...
Journal of Geophysical Research: Planets 125 (5), e2019JE006092, 2020
282020
Elucidation and analysis of specification patterns in aerospace system telemetry
Z Luppen, M Jacks, N Baughman, M Stilic, R Nasers, B Hertz, J Cutler, ...
NASA Formal Methods Symposium, 527-537, 2022
102022
Integrating runtime verification into a sounding rocket control system
B Hertz, Z Luppen, KY Rozier
NASA Formal Methods Symposium, 151-159, 2021
102021
A case study in formal specification and runtime verification of a CubeSat communications system
ZA Luppen, DY Lee, KY Rozier
AIAA Scitech 2021 forum, 0997, 2021
92021
Prolonged Lifetime of the Transient Ionized Layer in the Martian Atmosphere Caused by Comet Siding Spring
ZA Luppen, Z Girazian, DD Morgan, AJ Kopf, F Chu, JS Halekas, ...
Journal of Geophysical Research: Planets 125 (11), e2020JE006607, 2020
12020
Introducing formal methodologies to monitor small aerospace system telemetry
ZA Luppen
Iowa State University, 2021
2021
Prolonged Lifetime of the Transient Ionized Layer in the Martian Atmosphere Caused by Comet Siding Spring
ZA Luppen, Z Girazian, DD Morgan, AJ Kopf, F Chu, JS Halekas, ...
Ninth International Conference on Mars, 2019LPICo2089.6043L, 2019
2019
Integration and Automation Software for Testing of RIME and REASON Instruments
Z Luppen
University of Iowa, 2018
2018
Gravbox-The First Augmented Reality Sandbox for Gravitational Dynamics
J Isbell, S Deam, M Reed, W Bettis, J Lu, Z Luppen, E Maier, R McCurdy, ...
American Astronomical Society Meeting Abstracts 231, 2018
2018
The system can't perform the operation now. Try again later.
Articles 1–9