Jonathan Hoffman

Statistics

Publications

Citations

100

H-Index

Active since

2001

Affiliations

United States Air Force Research Laboratory(Current)

LinQuest (United States)

Jonathan Hoffman is an author at United States Air Force Research Laboratory specializing in computer engineering, formal verification, and verification.

Top concepts

EngineeringVerificationFormal VerificationSystems EngineeringComputer EngineeringFormal MethodsControl SystemsProcess ControlComputer ScienceSoftware Testing

Publications per year

2001–2021

Publications

Registering and Voting with Motor Voter

Raymond E. Wolfinger, Jonathan Hoffman · PS Political Science & Politics · 2001 · 43 citations

Incremental Formal Methods Based Design Approach Demonstrated on a Coupled Tanks Control System

Kerianne H. Gross, Aaron W. Fifarek, Jonathan Hoffman · 2016 · 18 citations

Engineering, Verification, Software Engineering +27

Run-Time Assurance and Formal Methods Analysis Nonlinear System Applied to Nonlinear System Control

Kerianne H. Gross, Matthew Clark, Jonathan Hoffman et al. · Journal of Aerospace Information Systems · 2017 · 17 citations

Engineering, Capability Expansions, Verification +22

Formally Verified Run Time Assurance Architecture of a 6U CubeSat Attitude Control System

Kerianne H. Gross, Matthew Clark, Jonathan Hoffman et al. · AIAA Infotech @ Aerospace · 2016 · 12 citations

Artificial Intelligence, Real-time Control, Engineering +16

The Return of Great‐Power Competition to the Middle East: A Two‐Level Game

Jonathan Hoffman · Middle East Policy · 2021 · 10 citations

1–5 of 5