Concepedia

Runtime Verification

Runtime Verification is a formal method for dynamically checking whether the execution traces of a system conform to specified behavioral properties during its execution.

313

Publications

13.7K

Citations

726

Authors

319

Institutions

Publications per year

2017–2026

91

Parents

Publications

313

A brief account of runtime verification

Martin Leucker, Christian Schallhart · The Journal of Logic and Algebraic Programming · 2008 · 818 citations

, , +10

Runtime Verification for LTL and TLTL

Andreas Bauer, Martin Leucker, Christian Schallhart · ACM Transactions on Software Engineering and Methodology · 2011 · 540 citations

, , +16

Mop

Feng Chen, Grigore Roşu · 2007 · 359 citations

, , +11

Self-adaptive software needs quantitative verification at runtime

Radu Călinescu, Carlo Ghezzi, Marta Kwiatkowska et al. · Communications of the ACM · 2012 · 253 citations · Full text

, , +15

An overview of the MOP runtime verification framework

Patrick Meredith, Dongyun Jin, Dennis Griffith et al. · International Journal on Software Tools for Technology Transfer · 2011 · 245 citations

, , +10

1–5 of 313

Authors

726

  1. GR
    Grigore Roşu

    University of Illinois Urbana-Champaign, United States

    17 publications · 1.9K citations

    16

    h-index

  2. KH
    Klaus Havelund

    Ames Research Center, United States

    16 publications · 1.4K citations

    15

    h-index

  3. YF
    Ylìès Falcone

    Université Grenoble Alpes, France

    8 publications · 412 citations

    8

    h-index

  4. BB
    Borzoo Bonakdarpour

    University of Waterloo, Canada

    7 publications · 313 citations

    7

    h-index

  5. DA
    Davide Ancona

    University of Genoa, Italy

    6 publications · 117 citations

    6

    h-index

1–5 of 726

Institutions

319

  1. University of Illinois Urbana-Champaign

    Urbana, United States

    19 h-index

    50 publications

    4.8K citations

  2. Centre National de la Recherche Scientifique

    Paris, France

    9 h-index

    22 publications

    696 citations

  3. University of Malta

    Msida, Malta

    9 h-index

    15 publications

    935 citations

  4. University of Manchester

    Manchester, United Kingdom

    9 h-index

    15 publications

    583 citations

  5. University of Genoa

    Genoa, Italy

    8 h-index

    24 publications

    442 citations

  6. Institut national de recherche en sciences et technologies du numérique

    Le Chesnay-Rocquencourt, France

    8 h-index

    18 publications

    416 citations

  7. Data61

    Sydney, Australia

    8 h-index

    13 publications

    1.3K citations

  8. ETH Zurich

    Zurich, Switzerland

    8 h-index

    13 publications

    1K citations

1–8 of 319

Venues

  1. Electronic Notes in Theoretical Computer Science

    ENTCS · 11 publications · 417 citations

    11

    h-index

  2. ACM SIGPLAN Notices

    9 publications · 531 citations

    9

    h-index

  3. Formal Methods in System Design

    8 publications · 612 citations

    8

    h-index

  4. 8

    h-index

  5. Journal of Systems and Software

    JSS · 5 publications · 211 citations

    5

    h-index

1–5