| 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 | 29 | 2020 |
| 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 | 10 | 2022 |
| Integrating runtime verification into a sounding rocket control system B Hertz, Z Luppen, KY Rozier NASA Formal Methods Symposium, 151-159, 2021 | 10 | 2021 |
| 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 | 9 | 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, ... Journal of Geophysical Research: Planets 125 (11), e2020JE006607, 2020 | 1 | 2020 |
| 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, C Kletzing, D Kirchner Integration, 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 |
Kristin Y. RozierNASA在 nasa.gov 的电子邮件经过验证
