Science Explorer Interactive view Map
Company · Urbana · United States

Runtime Verification (United States)

runtimeverification.comROR OpenAlex
Research works
24
▲ 105% vs 2013–17
Citations
446
18.9 per fractional work
Top-10% rate
15.7%
record average 16.5%
Open access
49%
world 28%

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.

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.39× its world share, 0 worksChemistryComputer Science: 6.49× its world share, 2 worksComputer ScienceEngineering: 0.64× its world share, 0 worksEngineeringHealth Professions: 0.74× its world share, 0 worksHealth ProfessionsMedicine: 0.05× its world share, 0 worksMedicineEconomics, Econometrics and Finance: 2.04× its world share, 0 worksEconomics, Econometr…Social Sciences: 2.41× its world share, 1 worksSocial Sciences1×world share
more than its size predictsabout as predictedless

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

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–2025: Logic, programming, and type systems, Nuclear Issues and Defense, Logic, Reasoning, and Knowledge and International Relations and Foreign Policy.

Logic, programming, and …0Logic, programming, and type systems: 0 fractional worksNuclear Issues and Defense0Nuclear Issues and Defense: 0 fractional worksLogic, Reasoning, and Knowledge: 0 fractional worksInternational Relations …0International Relations and Foreign Policy: 0 fractional worksDistributed systems and …0Distributed systems and fault tolerance: 0 fractional worksGlobal Peace and Security Dynamics: 0 fractional worksParallel Computing and Optimization Techniques: 0 fractional worksDistributed and Parallel…0Distributed and Parallel Computing Systems: 0 fractional worksIPv6, Mobility, Handover, Networks, Security: 0 fractional worksMilitary Strategy and Technology: 0 fractional works
Artificial IntelligencePolitical Science and International RelationsComputer Networks and CommunicationsHardware and Architecture2 others

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

  1. 1 Logic, programming, and type systems Artificial Intelligence 0 works
  2. 2 Nuclear Issues and Defense Political Science and International Relations 0 works
  3. 3 Logic, Reasoning, and Knowledge Artificial Intelligence 0 works
  4. 4 International Relations and Foreign Policy Political Science and International Relations 0 works
  5. 5 Distributed systems and fault tolerance Computer Networks and Communications 0 works
  6. 6 Global Peace and Security Dynamics Political Science and International Relations 0 works
  7. 7 Parallel Computing and Optimization Techniques Hardware and Architecture 0 works
  8. 8 Distributed and Parallel Computing Systems Computer Networks and Communications 0 works
  9. 9 IPv6, Mobility, Handover, Networks, Security Electrical and Electronic Engineering 0 works
  10. 10 Military Strategy and Technology Control and Systems Engineering 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: 28% of research is openly available.

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

World: 19% is written across borders.

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

Output in 2018–2022 was 105% higher than in 2013–2017.

20002005201020152020
grewheldshrank

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

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 are in the interactive view on the map.