Benjamin Hertz

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

Collaborative distances:

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

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

2020

Integrating Runtime Verification into an Automated UAS Traffic Management System.

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

Proceedings of the Software Architecture - 14th European Conference, 2020