Concepedia

Runtime Verification (United States)

RV

Statistics

Publications

133

Citations

2K

Authors

5

Location

Urbana, United States

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

HomepageROR

Top concepts

Publications

133

A formal verification tool for Ethereum VM bytecode

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

, , +21

Semantics-based program verifiers for all languages

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

, , +20

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

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

, , +21

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

Model-based testing

Robert V. Binder, Bruno Legeard, Anne Krämer · Communications of the ACM · 2015 · 36 citations

, , +3

Rows per page

1–5 of 133

Authors

5

  1. RV
    Robert V. Binder

    Runtime Verification (United States), United States

    29 publications · 1.9K citations

    9

    h-index

  2. EL
    Elaine Li

    Runtime Verification (United States), United States

    12 publications · 42 citations

    4

    h-index

  3. DP
    Daejun Park

    Runtime Verification (United States), United States

    3 publications · 50 citations

    3

    h-index

  4. ZL
    Zhengyao Lin

    Runtime Verification (United States), United States

    10 publications · 46 citations

    3

    h-index

  5. PB
    Peter Bulat

    Runtime Verification (United States), United States

    1 publications · 12 citations

    1

    h-index

Rows per page

1–5 of 5