We stand with Ukraine  

Benjamin Hertz

Orcid: 0000-0003-1627-9715

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
Integrating runtime verification into an automated UAS traffic management system.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Benjamin Hertz
,
Zachary Luppen
,
Kristin Yvonne Rozier
Proceedings of the NASA Formal Methods - 13th International Symposium, 2021


  Loading...