On the public citation graph
Non-Intrusive In-Situ Requirements Monitoring of Embedded System
0 signed · 50 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.
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.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1002/9781118459898openalex-snapshot
Formal Methods for Industrial Critical Systems
inferredcites →https://doi.org/10.1007/978-1-4419-7563-8openalex-snapshot
On-Chip Instrumentation: Design and Debug for Systems on Chip
inferredcites →https://doi.org/10.1007/978-3-319-11164-3_5openalex-snapshot
Monitoring Systems with Extended Live Sequence Charts
inferredcites →https://doi.org/10.1007/978-3-319-23820-3_10openalex-snapshot
Time-Triggered Runtime Verification of Component-Based Multi-core Systems
inferredcites →https://doi.org/10.1007/978-3-319-23820-3_7openalex-snapshot
A Case Study on Runtime Monitoring of an Autonomous Research Vehicle (ARV) System
inferredcites →https://doi.org/10.1007/978-3-642-21437-0_9openalex-snapshot
Sampling-Based Runtime Verification
inferredcites →https://doi.org/10.1007/978-3-642-29860-8_23openalex-snapshot
Runtime Verification for Ultra-Critical Systems
inferredcites →https://doi.org/10.1007/978-3-642-35632-2_13openalex-snapshot
Real-Time Runtime Verification on Chip
inferredcites →https://doi.org/10.1016/b978-0-7506-7906-0.x5000-0openalex-snapshot
Real Time UML Workshop for Embedded Systems
inferredcites →https://doi.org/10.1109/71.285605openalex-snapshot
Distributed performance monitoring: methods, tools, and applications
inferredcites →https://doi.org/10.1109/dsn.2006.29openalex-snapshot
Dynamic Verification of Memory Consistency in Cache-Coherent Multithreaded Computer Architectures
inferredcites →https://doi.org/10.1109/hpca.2007.346191openalex-snapshot
HARD: Hardware-Assisted Lockset-based Race Detection
inferredcites →https://doi.org/10.1109/iscas.2004.1329364openalex-snapshot
Assertion-based on-line verification and debug environment for complex hardware systems
inferredcites →https://doi.org/10.1109/isqed.2001.915206openalex-snapshot
A hardware and software monitor for high-level system-on-chip verification
inferredcites →https://doi.org/10.1109/mc.1993.274940openalex-snapshot
An investigation of the Therac-25 accidents
inferredcites →https://doi.org/10.1109/micro.2006.41openalex-snapshot
Phoenix: Detecting and Recovering from Permanent Processor Design Bugs with Programmable Hardware
inferredcites →https://doi.org/10.1109/micro.2007.8openalex-snapshot
40th Annual IEEE/ACM International Symposium on Microarchitecture - Table of Contents
inferredcites →https://doi.org/10.1109/mm.2007.5openalex-snapshot
AVIO: Detecting Atomicity Violations via Access-Interleaving Invariants
inferredcites →https://doi.org/10.1109/mp.2005.1405795openalex-snapshot
An embedding debugging architecture for SOCs
inferredcites →https://doi.org/10.1109/rtss.2008.43openalex-snapshot
Hardware Runtime Monitoring for Dependable COTS-Based Real-Time Embedded 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/1121788.1121800openalex-snapshot
FPGA based CPU instrumentation for hard real-time embedded system testing
inferredcites →https://doi.org/10.1145/1146909.1146998openalex-snapshot
Shielding against design flaws with field repairable control logic
inferredcites →https://doi.org/10.1145/1347375.1347389openalex-snapshot
The worst-case execution-time problem—overview of methods and survey of tools
inferredcites →https://doi.org/10.1145/1450095.1450102openalex-snapshot
Non-intrusive dynamic application profiler for detailed loop execution characterization
inferredcites →https://doi.org/10.1145/1952522.1952525openalex-snapshot
Efficient hardware-based nonintrusive dynamic application profiling
inferredcites →https://doi.org/10.1145/2442087.2442089openalex-snapshot
Runtime verification for multicore SoC with high-quality trace data
inferredcites →https://doi.org/10.1145/2717310openalex-snapshot
System-Level Observation Framework for Non-Intrusive Runtime Monitoring of Embedded Systems
inferredcites →https://doi.org/10.1147/sj.411.0004openalex-snapshot
Software debugging, testing, and verification
inferredcites →https://doi.org/10.3182/20080706-5-kr-1001.01171openalex-snapshot
The UML – MARTE Standardized Profile
inferredcites →https://doi.org/10.5555/1767297.1767363openalex-snapshot
Timed sequence diagrams and tool-based analysis: a case study
inferredcites →https://doi.org/10.5555/2830689.2830707openalex-snapshot
NUVA: architectural support for runtime verification of parametric specifications over multicores
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/iis2.12902openalex-snapshot
Serious Games with SysML: Gamifying Threat Modelling in a Small Business Setting
inferred← citeshttps://doi.org/10.1109/codesisss51650.2020.9244018openalex-snapshot
Layering the monitoring action for improved flexibility and overhead control: work-in-progress
inferred← citeshttps://doi.org/10.1109/dsd51259.2020.00029openalex-snapshot
Run-time Monitoring and Trace Analysis Methodology for Component-based Embedded Systems Design Flow
inferred← citeshttps://doi.org/10.1109/isca66397.2026.00135openalex-snapshot
Enabling Continuous, in-Field Introspection: The Programmable IPU Architecture
inferred← citeshttps://doi.org/10.1109/mdat.2023.3324887openalex-snapshot
SAFER: Safety Assurances for Emergent Behavior
inferred← citeshttps://doi.org/10.1109/vlsi-soc57769.2023.10321939openalex-snapshot
Hardware Implementation and Evaluation of an Information Processing Factory
inferred← citeshttps://doi.org/10.1109/vlsid49098.2020.00026openalex-snapshot
Runtime Monitoring of Inter- and Intra-Thread Requirements on Embedded MPSoCs
inferred← citeshttps://doi.org/10.1145/3349567.3357391openalex-snapshot
The information processing factory
inferred← citeshttps://doi.org/10.1145/3358200openalex-snapshot
Efficient Tracing Methodology Using Automata Processor
inferred← citeshttps://doi.org/10.1145/3430699openalex-snapshot
A Distributed Hardware Monitoring System for Runtime Verification on Multi-Tile MPSoCs
inferred← citeshttps://doi.org/10.1145/3461647openalex-snapshot
A Composable Monitoring System for Heterogeneous Embedded Platforms
inferred← citeshttps://doi.org/10.1145/3769075openalex-snapshot
A New HW/SW Co-Design Approach for Monitored Systems-on-Chip Development
inferred← citeshttps://doi.org/10.13052/jicts2245-800x.1311openalex-snapshot
Validating Reliability and Security Requirements in Public Sector Infrastructure Built by Small Companies
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.