Question 1

Who are the top researchers at Runtime Verification (United States)?

Accepted Answer

Ranked on the quality score, John Lanchbery lead among researchers whose main affiliation is Runtime Verification (United States).

Question 2

What are the most cited papers from Runtime Verification (United States)?

Accepted Answer

The most cited paper from Runtime Verification (United States) is "KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine" (Everett Hildenbrandt, Manasvi Saxena, Nishant Rodrigues et al., 2018), with 423 citations. Next come "A formal verification tool for Ethereum VM bytecode" (109) and "Semantics-based program verifiers for all languages" (74).

Question 3

Which research topics does Runtime Verification (United States) publish most on?

Accepted Answer

By volume in 2022-now: Logic, programming, and type systems, Formal Methods in Verification, Nuclear Issues and Defense and Global Peace and Security Dynamics.

Question 4

Which keywords describe research at Runtime Verification (United States)?

Accepted Answer

By fractional works in all years, weighted toward what it does more of than the world: Model Checking, Temporal Logic, Formal Verification, Static Analysis, Satisfiability Modulo Theories, Symbolic Model Checker, Virtualization and Security Policies.

Question 5

Which fields of science does Runtime Verification (United States) work in?

Accepted Answer

In all years, 77% of research at Runtime Verification (United States) is in Physical Sciences, 16% in Social Sciences. Its largest fields are Computer Science (63%), Social Sciences (13%), Engineering (12%). It does 1.7× the world's share of Physical Sciences.

Question 6

Is Runtime Verification (United States)'s research output growing?

Accepted Answer

Output in 2022-2025 was 59% lower than in 2018-2021.