On the public citation graph

Verifying Safety-Critical Timing and Memory-Usage Properties of Embedded Software by Abstract Interpretation

https://doi.org/10.1109/date.2005.326
0 signed · 15 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/3-540-45449-7_32openalex-snapshot
Reliable and Precise WCET Determination for a Real-Life Processor
inferredcites →https://doi.org/10.1145/512950.512973openalex-snapshot
Abstract interpretation

What points at this work

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

inferred← citeshttps://doi.org/10.1109/cases.2013.6662526openalex-snapshot
ILPc: A novel approach for scalable timing analysis of synchronous programs
inferred← citeshttps://doi.org/10.1109/dasc.2015.7311460openalex-snapshot
A complete toolchain for an interference-free deployment of avionic applications on multi-core systems
inferred← citeshttps://doi.org/10.1109/fdl.2017.8303895openalex-snapshot
Compositional timing-aware semantics for synchronous programming
inferred← citeshttps://doi.org/10.1109/icst.2008.61openalex-snapshot
Testing Predictive Software in Mobile Devices
inferred← citeshttps://doi.org/10.1109/rtcsa.2014.6910515openalex-snapshot
Light-PREM: Automated software refactoring for predictable execution on COTS embedded systems
inferred← citeshttps://doi.org/10.1109/rtss.2006.18openalex-snapshot
Determining Maximum Stack Usage in Preemptive Shared Stack Systems
inferred← citeshttps://doi.org/10.1145/1196636.1196637openalex-snapshot
Memory overflow protection for embedded systems using run-time checks, reuse, and compression
inferred← citeshttps://doi.org/10.1145/1278901.1278904openalex-snapshot
Towards trustworthy computing systems
inferred← citeshttps://doi.org/10.1145/2463209.2488962openalex-snapshot
On the convergence of mainstream and mission-critical markets
inferred← citeshttps://doi.org/10.1145/3126520openalex-snapshot
Timing Analysis of Synchronous Programs using WCRT Algebra
inferred← citeshttps://doi.org/10.5555/2555729.2555749openalex-snapshot
ILP c : A novel approach for scalable timing analysis of synchronous programs
inferred← citeshttps://doi.org/10.6100/ir630223openalex-snapshot
Predictable mapping of streaming applications on multiprocessors
inferred← citeshttps://doi.org/10.70675/b306ce6czf998z40bcz9189z7e4e8a292df5openalex-snapshot
Controlling execution time variability using COTS for Safety-critical systems
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.