Concepedia

Runtime Safety Monitoring

Runtime Safety Monitoring is a formal method for continuously verifying system behavior during execution to ensure compliance with safety constraints, distinguishing itself from offline or design-time verification approaches by operating in real time to detect and mitigate hazards as they arise.

20

Publications

541

Citations

57

Authors

25

Institutions

Publications per year

2017–2026

13

Parents

Publications

20

Runtime Verification of k-Safety Hyperproperties in HyperLTL

Shreya Agrawal, Borzoo Bonakdarpour · 2016 · 62 citations

, , +17

Run-Time Monitoring of Machine Learning for Robotic Perception: A Survey of Emerging Trends

Quazi Marufur Rahman, Peter Corke, Feras Dayoub · IEEE Access · 2021 · 62 citations · Full text

, , +15

SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities

Meiyi Ma, Ezio Bartocci, Eli Lifland et al. · 2020 · 40 citations · Full text

, , +16

Towards Safety-Awareness and Dynamic Safety Management

Mario Trapp, Daniel Schneider · 2018 · 40 citations · Full text

, , +16

A Novel Spatial–Temporal Specification-Based Monitoring System for Smart Cities

Meiyi Ma, Ezio Bartocci, Eli Lifland et al. · IEEE Internet of Things Journal · 2021 · 39 citations

, , +13

1–5 of 20

Authors

57

  1. LF
    Lu Feng

    University of Virginia, United States

    3 publications · 95 citations

    3

    h-index

  2. JA
    John A. Stankovic

    University of Virginia, United States

    3 publications · 95 citations

    3

    h-index

  3. MM
    Meiyi Ma

    University of Virginia, United States

    3 publications · 95 citations

    3

    h-index

  4. EB
    Ezio Bartocci

    TU Wien, Austria

    2 publications · 79 citations

    2

    h-index

  5. EK
    Eunsuk Kang

    Carnegie Mellon University, United States

    2 publications · 34 citations

    2

    h-index

1–5 of 57

Institutions

25

  1. University of Virginia

    Charlottesville, United States

    4 h-index

    14 publications

    430 citations

  2. TU Wien

    Vienna, Austria

    2 h-index

    2 publications

    79 citations

  3. University of Limerick

    Limerick, Ireland

    2 h-index

    5 publications

    129 citations

  4. Universitat Politècnica de Catalunya

    Barcelona, Spain

    1 h-index

    8 publications

    112 citations

  5. University of Trieste

    Trieste, Italy

    1 h-index

    2 publications

    38 citations

  6. Institute for High Performance Computing and Networking

    Rende, Italy

    1 h-index

    2 publications

    72 citations

  7. National Research Council

    Rome, Italy

    1 h-index

    2 publications

    72 citations

  8. Fraunhofer Institute for Cognitive Systems

    Munich, Germany

    1 h-index

    1 publications

    40 citations

1–8 of 25

Venues

  1. 1

    h-index

  2. 2018 55th ACM/ESDA/IEEE Design Automation Conference (DAC)

    Conference · 1 publications · 12 citations

    1

    h-index

  3. IEEE Robotics and Automation Letters

    1 publications · 12 citations

    1

    h-index

  4. IEEE Access

    1 publications · 62 citations

    1

    h-index

  5. IEEE Transactions on Software Engineering

    TSE · 1 publications · 36 citations

    1

    h-index

1–5