On the public citation graph

Hardware Runtime Monitoring for Dependable COTS-Based Real-Time Embedded Systems

https://doi.org/10.1109/rtss.2008.43

0 signed · 89 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-540-24622-0_5openalex-snapshot

Rule-Based Runtime Verification

inferredcites →https://doi.org/10.1016/0304-3975(94)90010-8openalex-snapshot

A theory of timed automata

inferredcites →https://doi.org/10.1016/b978-0-444-88074-1.50021-4openalex-snapshot

Temporal and Modal Logic

inferredcites →https://doi.org/10.1016/s1571-0661(04)00253-1openalex-snapshot

Monitoring Java Programs with Java PathExplorer

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.1109/62.199819openalex-snapshot

SAFEbus (for avionics)

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

abc

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

Finding application errors and security flaws using PQL

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

Mop

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

Making trace monitors feasible

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

Making trace monitors feasible

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

Introduction to the Theory of Computation

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

backus normal form vs. Backus Naur form

inferredcites →https://doi.org/10.1535/itj.1003.02openalex-snapshot

IntelŴVirtualization Technology for Directed I/O

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-03769-7_5openalex-snapshot

Hardware-Based Runtime Verification with Embedded Tracing Units and Stream Processing

inferred← citeshttps://doi.org/10.1007/978-3-030-57628-8_12openalex-snapshot

Embedding Online Runtime Verification for Fault Disambiguation on Robonaut2

inferred← citeshttps://doi.org/10.1007/978-3-030-60508-7_24openalex-snapshot

Verified Rust Monitors for Lola Specifications

inferred← citeshttps://doi.org/10.1007/978-3-030-83144-8_16openalex-snapshot

Safe Operation Monitoring for Specific Category Unmanned Aircraft

inferred← citeshttps://doi.org/10.1007/978-3-031-42626-1_10openalex-snapshot

Model Predictive Runtime Verification for Cyber-Physical Systems with Real-Time Deadlines

inferred← citeshttps://doi.org/10.1007/978-3-031-76554-4_18openalex-snapshot

Active Learning of Runtime Monitors Under Uncertainty

inferred← citeshttps://doi.org/10.1007/978-3-319-08867-9_9openalex-snapshot

Temporal Mode-Checking for Runtime Monitoring of Privacy Policies

inferred← citeshttps://doi.org/10.1007/978-3-319-11164-3_18openalex-snapshot

Runtime Observer Pairs and Bayesian Network Reasoners On-board FPGAs: Flight-Certifiable System Health Management for Embedded Systems

inferred← citeshttps://doi.org/10.1007/978-3-319-23820-3_15openalex-snapshot

R2U2: Monitoring and Diagnosis of Security Threats for Unmanned Aerial Systems

inferred← citeshttps://doi.org/10.1007/978-3-319-23820-3_7openalex-snapshot

A Case Study on Runtime Monitoring of an Autonomous Research Vehicle (ARV) System

inferred← citeshttps://doi.org/10.1007/978-3-319-33693-0_12openalex-snapshot

On Implementing a Monitor-Oriented Programming Framework for Actor Systems

inferred← citeshttps://doi.org/10.1007/978-3-319-47169-3_25openalex-snapshot

What Is a Trace? A Runtime Verification Perspective

inferred← citeshttps://doi.org/10.1007/978-3-319-67531-2_22openalex-snapshot

Event Stream Processing with Multiple Threads

inferred← citeshttps://doi.org/10.1007/978-3-642-16612-9_26openalex-snapshot

Copilot: A Hard Real-Time Runtime Monitor

inferred← citeshttps://doi.org/10.1007/978-3-642-24431-5_5openalex-snapshot

Past Time LTL Runtime Verification for Microcontroller Binary Code

inferred← citeshttps://doi.org/10.1007/978-3-642-35632-2_13openalex-snapshot

Real-Time Runtime Verification on Chip

inferred← citeshttps://doi.org/10.1007/s10009-011-0198-6openalex-snapshot

An overview of the MOP runtime verification framework

inferred← citeshttps://doi.org/10.1007/s10009-011-0218-6openalex-snapshot

Introduction to the special section on runtime verification

inferred← citeshttps://doi.org/10.1007/s10703-013-0199-zopenalex-snapshot

Runtime verification of embedded real-time systems

inferred← citeshttps://doi.org/10.1007/s10703-015-0226-3openalex-snapshot

Runtime verification with minimal intrusion through parallelism

inferred← citeshttps://doi.org/10.1007/s10703-017-0275-xopenalex-snapshot

R2U2: monitoring and diagnosis of security threats for unmanned aerial systems

inferred← citeshttps://doi.org/10.1007/s10703-019-00337-wopenalex-snapshot

A survey of challenges for runtime verification from advanced application domains (beyond software)

inferred← citeshttps://doi.org/10.1007/s11241-014-9202-zopenalex-snapshot

Fault-tolerant and real-time scheduling for mixed-criticality systems

inferred← citeshttps://doi.org/10.1016/j.scico.2012.10.015openalex-snapshot

Runtime verification of microcontroller binary code

inferred← citeshttps://doi.org/10.1049/iet-cdt.2018.5012openalex-snapshot

Leveraging design diversity to counteract process variation: theory, method, and FPGAtoolchain to increase yield and resiliencein‐situ

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

Runtime Monitoring of Software Execution Trace: Method and Tools

inferred← citeshttps://doi.org/10.1109/codesisss.2018.8525882openalex-snapshot

Work-in-Progress: Runtime Requirements Monitoring for State-based Hardware

inferred← citeshttps://doi.org/10.1109/ds-rt52167.2021.9576132openalex-snapshot

Determining Edge Node Real-Time Capabilities

inferred← citeshttps://doi.org/10.1109/dsn.2014.28openalex-snapshot

Monitor Based Oracles for Cyber-Physical System Testing: Practical Experience Report

inferred← citeshttps://doi.org/10.1109/ecrts.2009.23openalex-snapshot

Predictable Runtime Monitoring

inferred← citeshttps://doi.org/10.1109/hpcc-css-icess.2015.294openalex-snapshot

Hypergraph-Cover Diversity for Maximally-Resilient Reconfigurable Systems

inferred← citeshttps://doi.org/10.1109/icsess.2017.8342921openalex-snapshot

A survey of software runtime monitoring

inferred← citeshttps://doi.org/10.1109/iesm.2015.7380132openalex-snapshot

Parallel verification of temporal properties using dynamic analysis

inferred← citeshttps://doi.org/10.1109/ipdps.2013.105openalex-snapshot

GPU-based Runtime Verification

inferred← citeshttps://doi.org/10.1109/isqed69900.2026.11534719openalex-snapshot

Reusing Assertion Properties as Hardware Checkers: Implementation and their Software and Hardware Recovery

inferred← citeshttps://doi.org/10.1109/mesa.2012.6275566openalex-snapshot

Parallel runtime verification of temporal properties for embedded software

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/rtas.2010.18openalex-snapshot

Selecting Server Parameters for Predictable Runtime Monitoring

inferred← citeshttps://doi.org/10.1109/rtas.2016.7461337openalex-snapshot

From Stateflow Simulation to Verified Implementation: A Verification Approach and A Real-Time Train Controller Design

inferred← citeshttps://doi.org/10.1109/sies.2015.7185049openalex-snapshot

Monitoring of I/O for safety-critical systems using PCI express advanced error reporting

inferred← citeshttps://doi.org/10.1109/sies.2016.7509425openalex-snapshot

Hardware runtime verification of embedded software in SoPC

inferred← citeshttps://doi.org/10.1109/tdsc.2015.2443803openalex-snapshot

Detecting and Preventing Kernel Rootkit Attacks with Bus Snooping

inferred← citeshttps://doi.org/10.1109/tdsc.2019.2946250openalex-snapshot

ZeroKernel: Secure Context-isolated Execution on Commodity GPUs

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

Data-Centered Runtime Verification of Wireless Medical Cyber-Physical System

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

Handling mixed-criticality in SoC-based real-time embedded systems

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

Vigilare

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

Generating sound and effective memory debuggers

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

Generating sound and effective memory debuggers

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

Hardware architectural support for control systems and sensor processing

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

Generating sound and effective memory debuggers

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

Use runtime verification to improve the quality of medical care practice

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

A Rule-based Methodology for Hardware Configuration Validation in Embedded Systems

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

Dependable Model-driven Development of CPS

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

Robustness testing of autonomy software

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

Non-Intrusive In-Situ Requirements Monitoring of Embedded System

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

Automatic Extraction of Requirements from State-based Hardware Designs for Runtime Verification

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

Efficient Tracing Methodology Using Automata Processor

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

FPGA Stream-Monitoring of Real-time Properties

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

Offline monitoring of LTL with bit vectors

inferred← citeshttps://doi.org/10.1184/r1/6468083openalex-snapshot

Temporal Mode-Checking for Runtime Monitoring of Privacy Policies (CMU-CyLab-14-005)

inferred← citeshttps://doi.org/10.13130/arcaini-paolo_phd2013-02-26openalex-snapshot

TOOL-ASSISTED VALIDATION AND VERIFICATION TECHNIQUES FOR STATE-BASED FORMAL METHODS

inferred← citeshttps://doi.org/10.21236/ada585474openalex-snapshot

A Study on Run Time Assurance for Complex Cyber Physical Systems

inferred← citeshttps://doi.org/10.2514/6.2018-5034openalex-snapshot

On-board Battery Monitoring and Prognostics for Electric-Propulsion Aircraft

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.3390/electronics14010081openalex-snapshot

Synchronized Delay Measurement of Multi-Stream Analysis over Data Concentrator Units

inferred← citeshttps://doi.org/10.34626/zmw3-rt23openalex-snapshot

Dynamic contracts for verification and enforcement of real-time systems properties

inferred← citeshttps://doi.org/10.34727/2020/isbn.978-3-85448-042-6_10openalex-snapshot

Runtime Verification on FPGAs with LTLf Specifications

inferred← citeshttps://doi.org/10.36001/ijphm.2015.v6i1.2243openalex-snapshot

Towards Real-time, On-board, Hardware-supported Sensor and Software Health Management for Unmanned Aerial Systems

inferred← citeshttps://doi.org/10.36001/phmconf.2017.v9i1.2479openalex-snapshot

Unobtrusive Software and System Health Management with R2U2 on a parallel MIMD Coprocessor

inferred← citeshttps://doi.org/10.4018/ijsi.2014040102openalex-snapshot

Proxy-Monitor

inferred← citeshttps://doi.org/10.4271/2016-01-0126openalex-snapshot

RV-ECU: Maximum Assurance In-Vehicle Safety Monitoring

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

FPGA Stream-Monitoring of Real-time Properties

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

Efficient Offline Monitoring of Linear Temporal Logic with Bit Vectors

inferred← citeshttps://doi.org/10.5555/3283568.3283575openalex-snapshot

Runtime requirements monitoring for state-based hardware: work-in-progress

inferred← citeshttps://doi.org/10.70675/85419c24zfc42z4a19za76dzb929dd2d7b24openalex-snapshot

Systèmes embarqués temps réel fiables et adaptables

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.