Folgen
Zachary Luppen
Zachary Luppen
EEE Components Engineer, SpaceX
Bestätigte E-Mail-Adresse bei spacex.com
Titel
Zitiert von
Zitiert von
Jahr
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
272020
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
92021
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–9