Zachary Luppen

Publication Activity (10 Years)

Years Active: 2021-2022
Publications (10 Years): 2

Top Topics

Functional Verification

Top Venues

Publications

Zachary Luppen, Michael Jacks, Nathan Baughman, Muhamed Stilic, Ryan Nasers, Benjamin Hertz, James W. Cutler, Dae Young Lee, Kristin Yvonne Rozier
Elucidation and Analysis of Specification Patterns in Aerospace System Telemetry. NFM (2022)
Benjamin Hertz, Zachary Luppen, Kristin Yvonne Rozier
Integrating Runtime Verification into a Sounding Rocket Control System. NFM (2021)