Concepedia

Runtime Verification (United States)

RV

Statistics

Publications

152

Citations

3.7K

Authors

6

Location

Urbana, United States

Runtime Verification (United States) is a company institution in Urbana, United States known for computing, computer science, and deductive verification.

HomepageROR

Top concepts

Publications

152

KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine

Everett Hildenbrandt, Manasvi Saxena, Nishant Rodrigues et al. · 2018 · 410 citations

, , +13

A formal verification tool for Ethereum VM bytecode

Daejun Park, Yi Zhang, Manasvi Saxena et al. · 2018 · 108 citations · Full text

, , +13

Semantics-based program verifiers for all languages

Andrei Ștefănescu, Daejun Park, Shijiao Yuwen et al. · 2016 · 74 citations

, , +17

A complete formal semantics of x86-64 user-level instruction set architecture

Sandeep Dasgupta, Daejun Park, Theodoros Kasampalis et al. · 2019 · 57 citations · Full text

, , +15

Allergic Sensitization, Symptoms, and Lung Function Among Bakery Workers as Compared With a Nonexposed Work Population

Jos Droste, Katrien Myny, M. van Sprundel et al. · Journal of Occupational and Environmental Medicine · 2003 · 44 citations

, , +15

1–5 of 152

Authors

6

  1. RV
    Robert V. Binder

    Runtime Verification (United States), United States

    29 publications · 1.9K citations

    9

    h-index

  2. DG
    Dwight Guth

    Runtime Verification (United States), United States

    7 publications · 580 citations

    7

    h-index

  3. AK
    Anne Krämer

    Runtime Verification (United States), United States

    26 publications · 122 citations

    6

    h-index

  4. EL
    Elaine Li

    Runtime Verification (United States), United States

    20 publications · 52 citations

    5

    h-index

  5. DP
    Daejun Park

    Runtime Verification (United States), United States

    3 publications · 52 citations

    3

    h-index

1–5 of 6