Login / Signup
Benjamin Hertz
ORCID
Publication Activity (10 Years)
Years Active: 2020-2022
Publications (10 Years): 4
Top Topics
Fully Automated
Signature Verification
Management System
Safety Analysis
Top Venues
NFM
Innov. Syst. Softw. Eng.
ECSA Companion
</>
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)
Abigail Hammer
,
Matthew Cauwels
,
Benjamin Hertz
,
Phillip H. Jones
,
Kristin Y. Rozier
Integrating runtime verification into an automated UAS traffic management system.
Innov. Syst. Softw. Eng.
18 (4) (2022)
Benjamin Hertz
,
Zachary Luppen
,
Kristin Yvonne Rozier
Integrating Runtime Verification into a Sounding Rocket Control System.
NFM
(2021)
Matthew Cauwels
,
Abigail Hammer
,
Benjamin Hertz
,
Phillip H. Jones
,
Kristin Y. Rozier
Integrating Runtime Verification into an Automated UAS Traffic Management System.
ECSA Companion
(2020)