On the public citation graph

A Survey of Runtime Monitoring Instrumentation Techniques

https://doi.org/10.4204/eptcs.254.2

0 signed · 86 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.

Claim with ORCID

Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.

See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/978-3-319-23820-3_3openalex-snapshot

Runtime Adaptation for Actor Systems

inferredcites →https://doi.org/10.1007/978-3-319-33693-0_12openalex-snapshot

On Implementing a Monitor-Oriented Programming Framework for Actor Systems

inferredcites →https://doi.org/10.1007/978-3-319-46982-9_32openalex-snapshot

SMEDL: Combining Synchronous and Asynchronous Monitoring

inferredcites →https://doi.org/10.1007/978-3-540-24622-0_5openalex-snapshot

Rule-Based Runtime Verification

inferredcites →https://doi.org/10.1007/978-3-540-31980-1_36openalex-snapshot

Java-MOP: A Monitoring Oriented Programming Environment for Java

inferredcites →https://doi.org/10.1007/978-3-540-45069-6_11openalex-snapshot

Monitoring Temporal Rules Combined with Time Series

inferredcites →https://doi.org/10.1007/978-3-642-16612-9_12openalex-snapshot

Runtime Verification with the RV System

inferredcites →https://doi.org/10.1007/978-3-642-29860-8_29openalex-snapshot

Elarva: A Monitoring Tool for Erlang

inferredcites →https://doi.org/10.1007/978-3-642-32759-9_10openalex-snapshot

Decentralised LTL Monitoring

inferredcites →https://doi.org/10.1007/978-3-642-40787-1_19openalex-snapshot

A Scala DSL for Rete-Based Runtime Verification

inferredcites →https://doi.org/10.1007/s10515-005-6205-yopenalex-snapshot

Rewriting-Based Techniques for Runtime Verification

inferredcites →https://doi.org/10.1007/s10703-012-0142-8openalex-snapshot

Safer asynchronous runtime monitoring using compensations

inferredcites →https://doi.org/10.1007/s10703-014-0217-9openalex-snapshot

Synthesising correct concurrent runtime monitors

inferredcites →https://doi.org/10.1016/j.jlap.2008.08.004openalex-snapshot

A brief account of runtime verification

inferredcites →https://doi.org/10.1017/s0956796809007163openalex-snapshot

Programming Erlang – Software for a Concurrent World by Joe Armstrong, Pragmatic Bookshelf, 2007, p. 536. ISBN-10: 193435600X.

inferredcites →https://doi.org/10.1023/b:form.0000017719.43755.7copenalex-snapshot

Java-MaC: A Run-Time Assurance Approach for Java Programs

inferredcites →https://doi.org/10.1023/b:form.0000017721.39909.4bopenalex-snapshot

An Overview of the Runtime Verification Tool Java PathExplorer

inferredcites →https://doi.org/10.1109/icse.2004.1317464openalex-snapshot

Efficient decentralized monitoring of safety in distributed systems

inferredcites →https://doi.org/10.1109/sefm.2009.13openalex-snapshot

LARVA --- Safer Monitoring of Real-Time Java Programs (Tool Paper)

inferredcites →https://doi.org/10.1109/time.2005.26openalex-snapshot

LOLA: Runtime Monitoring of Synchronous Systems

inferredcites →https://doi.org/10.1109/tse.2004.91openalex-snapshot

A taxonomy and catalog of runtime software-fault monitoring tools

inferredcites →https://doi.org/10.1145/1297027.1297069openalex-snapshot

Mop

inferredcites →https://doi.org/10.1145/3123569.3123570openalex-snapshot

eAOP: an aspect oriented programming framework for Erlang

inferredcites →https://doi.org/10.1201/9781003337331-3openalex-snapshot

A Runtime Monitoring Tool for Actor-Based Systems

inferredcites →https://doi.org/10.13052/rp-9788793519817openalex-snapshot

Behavioural Types: from Theory to Tools

inferredcites →https://doi.org/10.4204/eptcs.175.4openalex-snapshot

On Synchronous and Asynchronous Monitor Instrumentation for Actor-based systems

inferredcites →https://doi.org/10.4204/eptcs.178.1openalex-snapshot

Improving Runtime Overheads for detectEr

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/978-3-030-03427-6_5openalex-snapshot

Considering Academia-Industry Projects Meta-characteristics in Runtime Verification Design

inferred← citeshttps://doi.org/10.1007/978-3-030-30985-5_22openalex-snapshot

A Systematic Approach to Programming and Verifying Attribute-Based Communication Systems

inferred← citeshttps://doi.org/10.1007/978-3-030-32079-9_9openalex-snapshot

Comparing Controlled System Synthesis and Suppression Enforcement

inferred← citeshttps://doi.org/10.1007/978-3-030-76384-8_22openalex-snapshot

Runtime Verification of Generalized Test Tables

inferred← citeshttps://doi.org/10.1007/978-3-030-83723-5_6openalex-snapshot

Uncertainty Quantification and Runtime Monitoring Using Environment-Aware Digital Twins

inferred← citeshttps://doi.org/10.1007/978-3-030-85347-1_24openalex-snapshot

A Proposal for the Classification of Methods for Verification and Validation of Safety, Cybersecurity, and Privacy of Automated Systems

inferred← citeshttps://doi.org/10.1007/978-3-030-98062-7_4-1openalex-snapshot

Actionable Artificial Intelligence for the Future of Production

inferred← citeshttps://doi.org/10.1007/978-3-030-98062-7_4-2openalex-snapshot

Actionable Artificial Intelligence for the Future of Production

inferred← citeshttps://doi.org/10.1007/978-3-031-30826-0openalex-snapshot

Fundamental Approaches to Software Engineering

inferred← citeshttps://doi.org/10.1007/978-3-031-30826-0_15openalex-snapshot

Vamos: Middleware for Best-Effort Third-Party Monitoring

inferred← citeshttps://doi.org/10.1007/978-3-031-44497-5_4openalex-snapshot

Actionable Artificial Intelligence for the Future of Production

inferred← citeshttps://doi.org/10.1007/978-3-031-68606-1_7openalex-snapshot

CyberDS: Auditable Monitoring in the Cloud

inferred← citeshttps://doi.org/10.1007/978-3-031-74498-3_5openalex-snapshot

Invited Paper: Using Signed Formulas for Online Certification

inferred← citeshttps://doi.org/10.1007/978-3-031-85134-6_16openalex-snapshot

A Debugging System for Language-Parameterized Proofs

inferred← citeshttps://doi.org/10.1007/978-3-031-99717-4_11openalex-snapshot

Reversible Computation vs. Runtime Adaptation in Industrial IoT Systems

inferred← citeshttps://doi.org/10.1007/978-3-319-75632-5openalex-snapshot

Lectures on Runtime Verification. Introductory and Advanced Topics

inferred← citeshttps://doi.org/10.1007/978-3-319-75632-5_1openalex-snapshot

Introduction to Runtime Verification

inferred← citeshttps://doi.org/10.1007/978-3-658-37182-1_4openalex-snapshot

Safety, Security, and Risk

inferred← citeshttps://doi.org/10.1007/s10009-021-00624-0openalex-snapshot

Comparing controlled system synthesis and suppression enforcement

inferred← citeshttps://doi.org/10.1007/s10270-020-00780-yopenalex-snapshot

A model-based architecture for interactive run-time monitoring

inferred← citeshttps://doi.org/10.1007/s10270-025-01337-7openalex-snapshot

Modeling structured programming with Strudel: a simulation runtime for programming education tools

inferred← citeshttps://doi.org/10.1007/s44163-026-02186-zopenalex-snapshot

Addressing SOTIF with a runtime monitor ensemble for AI-based perception systems

inferred← citeshttps://doi.org/10.1016/j.bcra.2025.100347openalex-snapshot

Welcome back: A systematic literature review of smart contract reentrancy and countermeasures

inferred← citeshttps://doi.org/10.1016/j.jlamp.2020.100636openalex-snapshot

Computer says no: Verdict explainability for runtime monitors using a local proof system

inferred← citeshttps://doi.org/10.1016/j.jss.2021.111061openalex-snapshot

Design, monitoring, and testing of microservices systems: The practitioners’ perspective

inferred← citeshttps://doi.org/10.1016/j.jss.2023.111733openalex-snapshot

GRuM — A flexible model-driven runtime monitoring framework and its application to automated aerial and ground vehicles

inferred← citeshttps://doi.org/10.1109/access.2023.3277620openalex-snapshot

Monitors That Learn From Failures: Pairing STL and Genetic Programming

inferred← citeshttps://doi.org/10.1109/csf68417.2026.00030openalex-snapshot

Verifying and Monitoring the Lightweight Directory Access Protocol (LDAP)

inferred← citeshttps://doi.org/10.1109/etfa.2019.8869447openalex-snapshot

Applying Runtime Monitoring to the Industrial Internet of Things

inferred← citeshttps://doi.org/10.1109/etfa45728.2021.9613489openalex-snapshot

Towards Scalable Security of Real-time Applications: A Formally Certified Approach

inferred← citeshttps://doi.org/10.1109/icaa52185.2022.00013openalex-snapshot

A Mapping of Assurance Techniques for Learning Enabled Autonomous Systems to the Systems Engineering Lifecycle

inferred← citeshttps://doi.org/10.1109/icse55347.2025.00099openalex-snapshot

Instrumentation-Driven Evolution-Aware Runtime Verification

inferred← citeshttps://doi.org/10.1109/mcs.2025.3611545openalex-snapshot

Formal Verification and Control With Conformal Prediction: Practical Safety Guarantees For Autonomous Systems

inferred← citeshttps://doi.org/10.1109/mdat.2020.3007729openalex-snapshot

Runtime Protection of Real-time Critical Control Applications against Known Threats

inferred← citeshttps://doi.org/10.1109/reduas47371.2019.8999690openalex-snapshot

Formal Assurances for Autonomous Systems Without Verifying Application Software

inferred← citeshttps://doi.org/10.1109/rtss49844.2020.00047openalex-snapshot

Work-In-Progress: a DSL for the safe deployment of Runtime Monitors in Cyber-Physical Systems

inferred← citeshttps://doi.org/10.1109/tii.2021.3123194openalex-snapshot

Programmable Logic Controllers Past Linear Temporal Logic for Monitoring Applications in Industrial Control Systems

inferred← citeshttps://doi.org/10.1109/tse.2020.2977016openalex-snapshot

Integrating Provenance Capture and UML With UML2PROV: Principles and Experience

inferred← citeshttps://doi.org/10.1109/wetice64632.2024.00020openalex-snapshot

RVElastic: a Runtime Verification Framework for Microservice Systems

inferred← citeshttps://doi.org/10.1145/3123569.3123570openalex-snapshot

eAOP: an aspect oriented programming framework for Erlang

inferred← citeshttps://doi.org/10.1145/3412841.3441923openalex-snapshot

Towards an architecture integrating complex event processing and temporal graphs for service monitoring

inferred← citeshttps://doi.org/10.1145/3448976openalex-snapshot

A Survey of Software Log Instrumentation

inferred← citeshttps://doi.org/10.1145/3486608.3486906openalex-snapshot

Monilogging for executable domain-specific languages

inferred← citeshttps://doi.org/10.1145/3610579openalex-snapshot

Proceedings of the 21st ACM-IEEE International Conference on Formal Methods and Models for System Design

inferred← citeshttps://doi.org/10.1145/3650212.3680400openalex-snapshot

An In-Depth Study of Runtime Verification Overheads during Software Testing

inferred← citeshttps://doi.org/10.1145/3664476.3664521openalex-snapshot

Monitor-based Testing of Network Protocol Implementations Using Symbolic Execution

inferred← citeshttps://doi.org/10.1145/3697008openalex-snapshot

PROV-IDEA: Supporting Interoperable Schema and Data Provenance within Database Evolution

inferred← citeshttps://doi.org/10.1145/3744916.3787833openalex-snapshot

Fine-Grained Analyses for Evolution-Aware Runtime Verification

inferred← citeshttps://doi.org/10.1145/3763183openalex-snapshot

Faster Explicit-Trace Monitoring-Oriented Programming for Runtime Verification of Software Tests

inferred← citeshttps://doi.org/10.14236/ewic/icscsr19.11openalex-snapshot

On Synthesis of Runtime Security Monitor for Real-time IoT Applications

inferred← citeshttps://doi.org/10.29007/63tpopenalex-snapshot

A Generic Instrumentation Tool for Erlang

inferred← citeshttps://doi.org/10.29007/7lrdopenalex-snapshot

A Suite of Monitoring Tools for Erlang

inferred← citeshttps://doi.org/10.31274/td-20240329-379openalex-snapshot

Hardware/Software frameworks for control techniques to support real-time systems and runtime verification

inferred← citeshttps://doi.org/10.4204/eptcs.356.5openalex-snapshot

Lang-n-Send: Processes That Send Languages

inferred← citeshttps://doi.org/10.4204/eptcs.365.5openalex-snapshot

Lang-n-Send Extended: Sending Regular Expressions to Monitors

inferred← citeshttps://doi.org/10.48550/arxiv.1908.03489openalex-snapshot

Topological Run-time Monitoring for Complex Systems

inferred← citeshttps://doi.org/10.48550/arxiv.2103.13268openalex-snapshot

Address Behaviour Vulnerabilities in the Next Generation of Autonomous Robots

inferred← citeshttps://doi.org/10.5381/jot.2020.19.2.a6openalex-snapshot

Runtime Monitoring for Executable DSLs.

inferred← citeshttps://doi.org/10.56038/ejrnd.v4i4.588openalex-snapshot

IntelliOps: A Generic Multi-Source Monitoring Framework with Predictive Analytics for Enterprise Infrastructure

Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.