Benjamin Hertz

According to our database, Benjamin Hertz authored at least 3 papers between 2021 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Integrating runtime verification into an automated UAS traffic management system.

Abigail Hammer, Matthew Cauwels, Benjamin Hertz, Phillip H. Jones, Kristin Y. Rozier

Innov. Syst. Softw. Eng., 2022

Elucidation and Analysis of Specification Patterns in Aerospace System Telemetry.

Zachary Luppen, Michael Jacks, Nathan Baughman, Muhamed Stilic, Ryan Nasers, Benjamin Hertz, James W. Cutler, Dae Young Lee, Kristin Yvonne Rozier

Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

2021

Integrating Runtime Verification into a Sounding Rocket Control System.

Benjamin Hertz, Zachary Luppen, Kristin Yvonne Rozier

Proceedings of the NASA Formal Methods - 13th International Symposium, 2021