Science Explorer Back to mapMap
Discussion
Company · Urbana · United States

Runtime Verification (United States)

runtimeverification.comROR OpenAlex
Research works
24
▼ 59% vs 2018-21
Citations
446
18.9 per fractional work
Top-10% rate
2.1%
all institutions 10.0%
Open access
49%
world 40%
International
36%
world 18%
Runtime Verification (United States)

Not ranked overall: Runtime Verification (United States) is under the volume floor below which an excellence rate is noise. Not ranked is not the same as ranked last.

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

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.

Physical Sciences: 18 fractional works · 76.6% of its workComputer Science: 15 fractional works · 63.3% of its workArtificial Intelligence: 6 fractional works · 26.0% of its workInformation Systems: 3 fractional works · 11.2% of its workComputational Theory and Mathematics: 2 fractional works · 10.3% of its workComputer Networks and Communications: 2 fractional works · 7.7% of its workHardware and Architecture: 1 fractional works · 4.1% of its workSoftware: 1 fractional works · 2.9% of its workSignal Processing: 0 fractional works · 1.1% of its workEngineering: 3 fractional works · 11.7% of its workMechanical Engineering: 1 fractional works · 2.8% of its workSafety, Risk, Reliability and Quality: 1 fractional works · 2.7% of its workCivil and Structural Engineering: 0 fractional works · 2.1% of its workControl and Systems Engineering: 0 fractional works · 1.6% of its workBuilding and Construction: 0 fractional works · 1.4% of its workElectrical and Electronic Engineering: 0 fractional works · 1.0% of its workEnvironmental Science: 0 fractional works · 1.1% of its workHealth, Toxicology and Mutagenesis: 0 fractional works · 0.9% of its workSmaller subfields together: 0 fractional works · 0.2% of its workChemistry: 0 fractional works · 0.3% of its workOrganic Chemistry: 0 fractional works · 0.3% of its workChemical Engineering: 0 fractional works · 0.2% of its workSocial Sciences: 4 fractional works · 16.3% of its workSocial Sciences: 3 fractional works · 13.4% of its workPolitical Science and International Relations: 2 fractional works · 7.1% of its workLaw: 1 fractional works · 4.2% of its workSociology and Political Science: 0 fractional works · 2.1% of its workDecision Sciences: 0 fractional works · 2.1% of its workInformation Systems and Management: 0 fractional works · 1.4% of its workManagement Science and Operations Research: 0 fractional works · 0.7% of its workEconomics, Econometrics and Finance: 0 fractional works · 0.7% of its workEconomics and Econometrics: 0 fractional works · 0.7% of its workLife Sciences: 1 fractional works · 4.2% of its workBiochemistry, Genetics and Molecular Biology: 1 fractional works · 2.8% of its workCell Biology: 0 fractional works · 1.4% of its workMolecular Biology: 0 fractional works · 1.4% of its workSmaller subfields together: 0 fractional works · 0.0% of its workAgricultural and Biological Sciences: 0 fractional works · 1.4% of its workPlant Science: 0 fractional works · 1.4% of its workHealth Sciences: 1 fractional works · 2.9% of its workMedicine: 1 fractional works · 2.6% of its workDermatology: 0 fractional works · 1.1% of its workPublic Health, Environmental and Occupational Health: 0 fractional works · 1.1% of its workImmunology and Allergy: 0 fractional works · 0.3% of its workSmaller subfields together: 0 fractional works · 0.2% of its workHealth Professions: 0 fractional works · 0.3% of its workGeneral Health Professions: 0 fractional works · 0.3% of its workALL ITS WORKRuntimeVerification…24fractional works, all years
Life Sciences4%Physical Sciences77%Health Sciences3%Social Sciences16%

Each ring splits the one inside it: the four domains of science, their fields, their subfields. Size is fractional works in all years. Every slice is a page; the interactive view zooms down to single topics and colours each by how much more of it this institution does than the world.

Its 4 domains and 12 fields, with their numbers
    1. Computer Science1563.3%
    2. Engineering311.7%
    3. Environmental Science01.1%
    4. Chemistry00.3%
    5. Chemical Engineering00.2%
    1. Social Sciences313.4%
    2. Decision Sciences02.1%
    3. Economics, Econometrics and Finance00.7%
    1. Biochemistry, Genetics and Molecular Biology12.8%
    2. Agricultural and Biological Sciences01.4%
    1. Medicine12.6%
    2. Health Professions00.3%
All of science, and how each field's share has moved since 1950: the Science domain explorer

Field profile

Location quotient across every field it publishes in: outside the ring is more than an institution of this size would be expected to publish, inside it is less.

Chemistry: 1.00× its world share, 0 worksChemistryComputer Science: 7.07× its world share, 3 worksComputer ScienceEngineering: 0.46× its world share, 0 worksEngineeringHealth Professions: 0.53× its world share, 0 worksHealth ProfessionsMedicine: 0.04× its world share, 0 worksMedicineEconomics, Econometrics and Finance: 1.46× its world share, 0 worksEconomics, Econometr…Social Sciences: 2.47× its world share, 2 worksSocial Sciences1×world share
more than its size predictsabout as predictedless

Rings at 0.5×, 1× and 2×. Widest outward: Computer Science, 7.1×. Every wedge is a field page.

All 7 fields, with their numbers
  1. Computer Science7.07×3 works
  2. Social Sciences2.47×2 works
  3. Economics, Econometrics and Finance1.46×0 works
  4. Chemistry1.00×0 works
  5. Health Professions0.53×0 works
  6. Engineering0.46×0 works
  7. Medicine0.04×0 works

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

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

  1. 1 John Lanchbery United States · #3,431,139 worldwide 55 citations · 16 works
All ranked researchers at Runtime Verification (United States)

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

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).

Most cited papers
#PaperReleasedCitations
1 KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine Everett Hildenbrandt, Manasvi Saxena, Nishant Rodrigues et al. Conference paper Jul 2018 423
2 A formal verification tool for Ethereum VM bytecode Daejun Park, Yi Zhang, Manasvi Saxena et al. Conference paperOpen access 26 Oct 2018 109
3 Semantics-based program verifiers for all languages Andrei R Stefanescu, Daejun Park, Shijiao Yuwen et al. Conference paper 19 Oct 2016 74
4 A complete formal semantics of x86-64 user-level instruction set architecture Sandeep Dasgupta, Daejun Park, Theodoros Kasampalis et al. Conference paperOpen access 7 Jun 2019 58
5 Model-based testing Robert V. Binder, Bruno Legeard, Anne Krämer · Communications of the ACM 28 Jan 2015 37
All 48 most cited papers, with filters and sorting

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

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.

▲ more of its work than of the world's◆ about the world's share▼ less than the world's

Size is fractional works in all years in the topics tagged with each word; colour is the word's share of this institution's work against its share of the world's. The 21 words are chosen for being large and distinctive. Each links to the topic it comes from most.

All 21 words, with their numbers
  1. Model Checking6▲ 217×3 topics
  2. Temporal Logic3▲ 174×2 topics
  3. Formal Verification2▲ 307×1 topic
  4. Static Analysis2▲ 274×1 topic
  5. Satisfiability Modulo Theories2▲ 216×1 topic
  6. Symbolic Model Checker2▲ 216×1 topic
  7. Virtualization2▲ 110×2 topics
  8. Security Policies2▲ 404×1 topic
  9. Side-Channel Attacks2▲ 161×1 topic
  10. Distributed Systems2▲ 28×4 topics
  11. Description Logics1▲ 52×2 topics
  12. International Law1▲ 18×3 topics
  13. Knowledge Representation1▲ 37×2 topics
  14. Machine Learning1▲ 2.3×5 topics
  15. Answer Set Programming1▲ 128×1 topic
  16. High-Performance Computing1▲ 32×2 topics
  17. Modal Logic1▲ 80×1 topic
  18. Public Health1▲ 3.4×4 topics
  19. Environmental Law1▲ 31×1 topic
  20. Privacy1▲ 25×3 topics
  21. Rights of Nature1▲ 429×1 topic

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

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

Logic, programming, and type systems: 1 fractional worksFormal Methods in Verification: 1 fractional worksNuclear Issues and Defense0Nuclear Issues and Defense: 0 fractional worksGlobal Peace and Securit…0Global Peace and Security Dynamics: 0 fractional worksInternational Relations and Foreign Policy: 0 fractional worksPolynomial and algebraic computation: 0 fractional worksLogic, Reasoning, and Kn…0Logic, Reasoning, and Knowledge: 0 fractional worksDistributed systems and fault tolerance: 0 fractional worksEnergy, Environment, Economic Growth: 0 fractional worksDistributed and Parallel Computing Systems: 0 fractional works
Artificial IntelligenceComputational Theory and MathematicsPolitical Science and International RelationsComputer Networks and Communications1 others

Area is fractional works; colour is the subfield each topic belongs to.

  1. 1 Logic, programming, and type systems Artificial Intelligence 1 works
  2. 2 Formal Methods in Verification Computational Theory and Mathematics 1 works
  3. 3 Nuclear Issues and Defense Political Science and International Relations 0 works
  4. 4 Global Peace and Security Dynamics Political Science and International Relations 0 works
  5. 5 International Relations and Foreign Policy Political Science and International Relations 0 works
  6. 6 Polynomial and algebraic computation Computational Theory and Mathematics 0 works
  7. 7 Logic, Reasoning, and Knowledge Artificial Intelligence 0 works
  8. 8 Distributed systems and fault tolerance Computer Networks and Communications 0 works
  9. 9 Energy, Environment, Economic Growth Economics and Econometrics 0 works
  10. 10 Distributed and Parallel Computing Systems Computer Networks and Communications 0 works

How open and international is its research?

Against the world's own shares: the tick on each track. Both are shares of its output, so they sit on one scale and can be read against each other as well as against the world.

openly available48.8%not open51.2%

World: 40% of research is openly available.

with international co-authors35.9%domestic only64.1%

World: 18% is written across borders.

How has Runtime Verification (United States)'s research output changed?

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

still counting200020052010201520202025
grewheldshrank

The same series as a ribbon: one cell per year, darker for more. The line above answers how much; this answers when.

Its share of all research

Growing output can still be a shrinking share: all of science grows. This is Runtime Verification (United States) as a percentage of every work published that year, 0.000018% in 2024.

still counting0.000050%0.00010%Runtime Verification (United States)0.0000085% in 2025200020102020

Fractional works of Runtime Verification (United States) over all fractional works that year. How the balance of science has shifted.

Other research institutions in Urbana

All research institutions in Urbana

Research measures only: rankings here say nothing about teaching, admissions or student experience. Comparable institutions and collaboration partners have tabs of their own, above.

Discussion

Ask a question or share a note about Runtime Verification (United States). Posts are plain text and can be reported.