Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Runtime Verification (United States) | Researchclopedia

Back to institutions

Runtime Verification (United States)

Urbana, Illinoiscompany

139

Works

2,014

Citations

23

h-index

Top Research Topics

Formal Methods in Verification Logic, programming, and type systems Security and Verification in Computing

Top Researchers

Ralph E. Johnson

307 works33,767 citationsh-index: 58

Recent Research

Spain & Portugal fact-checking brief Q4 2025

Filipe Pardal,Pablo Hernández-Escayola,et al.

20260 citations

Software Engineering Research

Software Testing and Debugging Techniques

Logic, Reasoning, and Knowledge

Blockchain Technology Applications and Security

Parallel Computing and Optimization Techniques

Advanced Software Engineering Methodologies

Distributed systems and fault tolerance

Advanced Authentication Protocols Security

User Authentication and Security Systems

Grigore Roşu University of Illinois Urbana-Champaign

336 works10,472 citationsh-index: 55

Petar Maksimović Johns Hopkins University

344 works8,658 citationsh-index: 49

P. Vermeire Ikazia Ziekenhuis

144 works8,654 citationsh-index: 37

Yi Zhang Harvard University

225 works7,078 citationsh-index: 42

Lutgart Braeckman Ghent University Hospital

193 works2,486 citationsh-index: 27

Spain & Portugal fact-checking brief Q4 2025

Filipe Pardal,Pablo Hernández-Escayola,et al.

20260 citations

moves-rwth/carl-storm: 14.34

Gereon Kremer,Matthias Volk,et al.

20260 citations

Spain & Portugal fact-checking brief Q3 2025

Pardal, Filipe,Hernández-Escayola, Pablo,et al.

20250 citations

Spain & Portugal fact-checking brief Q3 2025

Pardal, Filipe,Hernández-Escayola, Pablo,et al.

20250 citations

ths-rwth/smtrat: 25.11

Gereon Kremer,Jasper Nalbach,et al.

20250 citations