Concepedia

Run-time Monitoring

Run-Time Monitoring is a verification and validation mechanism in safety-critical embedded systems that continuously observes system behavior during execution to detect deviations from specified safety properties, distinguishing it from offline or design-time analysis techniques by enforcing correctness in real time.

464

Publications

20.5K

Citations

1.3K

Authors

475

Institutions

Publications per year

2017–2026

104

Parents

Publications

464

A brief account of runtime verification

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

, , +10

Reining in the outliers in map-reduce clusters using Mantri

Ganesh Ananthanarayanan, Srikanth Kandula, Albert Greenberg et al. · Operating Systems Design and Implementation · 2010 · 654 citations

, , +16

Copilot - a coprocessor-based kernel runtime integrity monitor

Nick L. Petroni, Timothy Fraser, Jesús Molina et al. · 2004 · 451 citations

, , +17

AEGIS

G. Edward Suh, Dwaine Clarke, Blaise Gassend et al. · 2014 · 440 citations

, , +17

Response-Time Analysis for Mixed Criticality Systems

Sanjoy Baruah, Alan Burns, Robert I. Davis · 2011 · 352 citations

, , +17

1–5 of 464

Authors

1.3K

  1. OS
    Oleg Sokolsky

    University of Pennsylvania, United States

    10 publications · 763 citations

    10

    h-index

  2. IL
    Insup Lee

    University of Pennsylvania, United States

    8 publications · 568 citations

    8

    h-index

  3. GR
    Grigore Roşu

    University of Illinois Urbana-Champaign, United States

    8 publications · 366 citations

    8

    h-index

  4. MV
    Michael Vierhauser

    Johannes Kepler University of Linz, Austria

    8 publications · 195 citations

    8

    h-index

  5. RR
    Rick Rabiser

    Johannes Kepler University of Linz, Austria

    7 publications · 182 citations

    7

    h-index

1–5 of 1.3K

Institutions

475

  1. University of Illinois Urbana-Champaign

    Urbana, United States

    16 h-index

    60 publications

    3.2K citations

  2. Johannes Kepler University of Linz

    Linz, Austria

    10 h-index

    34 publications

    705 citations

  3. Politecnico di Milano

    Milan, Italy

    10 h-index

    26 publications

    765 citations

  4. University of Malta

    Msida, Malta

    9 h-index

    16 publications

    757 citations

  5. University of Pennsylvania

    Philadelphia, United States

    8 h-index

    27 publications

    2.2K citations

  6. University of Waterloo

    Waterloo, Canada

    8 h-index

    21 publications

    782 citations

  7. University of Trento

    Trento, Italy

    7 h-index

    11 publications

    674 citations

  8. Technische Universität Darmstadt

    Darmstadt, Germany

    7 h-index

    15 publications

    1.9K citations

1–8 of 475

Venues

  1. Electronic Notes in Theoretical Computer Science

    ENTCS · 11 publications · 450 citations

    10

    h-index

  2. IEEE Transactions on Software Engineering

    TSE · 9 publications · 961 citations

    9

    h-index

  3. Formal Methods in System Design

    5 publications · 487 citations

    5

    h-index

  4. 5

    h-index

  5. Journal of Systems and Software

    JSS · 4 publications · 151 citations

    4

    h-index

1–5