On the public citation graph

E-ACSL, a Runtime Verification Tool for Safety and Security of C Programs (tool paper)

https://doi.org/10.29007/fpdh
0 signed · 47 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-1-4615-5229-1_12openalex-snapshot
JML: A Notation for Detailed Design
inferredcites →https://doi.org/10.1007/978-3-319-11164-3_1openalex-snapshot
First International Competition on Software for Runtime Verification
inferredcites →https://doi.org/10.1007/978-3-319-41135-4_8openalex-snapshot
Your Proof Fails? Testing Helps to Find the Reason
inferredcites →https://doi.org/10.1007/978-3-319-61467-0_2openalex-snapshot
Hybrid Information Flow Analysis for Real-World C Code
inferredcites →https://doi.org/10.1007/978-3-319-67531-2_18openalex-snapshot
Runtime Detection of Temporal Memory Errors
inferredcites →https://doi.org/10.1007/978-3-642-39218-4_18openalex-snapshot
Program Transformation for Non-interference Verification on Programs with Pointers
inferredcites →https://doi.org/10.1007/978-3-642-40787-1_10openalex-snapshot
An Optimized Memory Monitoring for Runtime Assertion Checking of C Programs
inferredcites →https://doi.org/10.1007/978-3-642-40787-1_29openalex-snapshot
A Lesson on Runtime Assertion Checking with Frama-C
inferredcites →https://doi.org/10.1007/s00165-014-0326-7openalex-snapshot
Frama-C: A software analysis perspective
inferredcites →https://doi.org/10.1007/s10009-017-0454-5openalex-snapshot
First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014
inferredcites →https://doi.org/10.1016/j.scico.2016.09.003openalex-snapshot
Fast as a shadow, expressive as a tree: Optimized memory monitoring for C
inferredcites →https://doi.org/10.1109/2.161279openalex-snapshot
Applying 'design by contract'
inferredcites →https://doi.org/10.1109/iwast.2009.5069043openalex-snapshot
Automating structural testing of C programs: Experience with PathCrawler
inferredcites →https://doi.org/10.1145/2480362.2480593openalex-snapshot
Common specification language for static and dynamic analysis of C programs
inferredcites →https://doi.org/10.1145/3092255.3092269openalex-snapshot
Shadow state encoding for efficient monitoring of block-level properties
inferredcites →https://doi.org/10.1145/360933.360975openalex-snapshot
Guarded commands, nondeterminacy and formal derivation of programs
inferredcites →https://doi.org/10.5281/zenodo.820855openalex-snapshot
Static Analysis And Runtime-Assertion Checking: Contribution To Security Counter-Measures

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-03421-4_6openalex-snapshot
Runtime Assertion Checking and Static Verification: Collaborative Partners
inferred← citeshttps://doi.org/10.1007/978-3-030-30942-8_29openalex-snapshot
GOSPEL—Providing OCaml with a Formal Specification Language
inferred← citeshttps://doi.org/10.1007/978-3-030-31157-5_11openalex-snapshot
Tame Your Annotations with MetAcsl: Specifying, Testing and Proving High-Level Properties
inferred← citeshttps://doi.org/10.1007/978-3-030-50995-8_6openalex-snapshot
Verified Runtime Assertion Checking for Memory Properties
inferred← citeshttps://doi.org/10.1007/978-3-030-60508-7_17openalex-snapshot
Efficient Runtime Assertion Checking for Properties over Mathematical Numbers
inferred← citeshttps://doi.org/10.1007/978-3-030-88494-9_13openalex-snapshot
Ortac: Runtime Assertion Checking for OCaml (Tool Paper)
inferred← citeshttps://doi.org/10.1007/978-3-031-44267-4_18openalex-snapshot
CCMOP: A Runtime Verification Tool for C/C++ Programs
inferred← citeshttps://doi.org/10.1007/978-3-031-44267-4_7openalex-snapshot
Metric First-Order Temporal Logic with Complex Data Types
inferred← citeshttps://doi.org/10.1007/978-3-031-74234-7_7openalex-snapshot
faRM-LTL: A Domain-Specific Architecture for Flexible and Accelerated Runtime Monitoring of LTL Properties
inferred← citeshttps://doi.org/10.1007/978-3-031-75380-0_14openalex-snapshot
Static and Dynamic Verification of OCaml Programs: The Gospel Ecosystem
inferred← citeshttps://doi.org/10.1007/978-3-319-92994-1_7openalex-snapshot
Verification Coverage for Combining Test and Proof
inferred← citeshttps://doi.org/10.1007/978-981-96-0617-7_13openalex-snapshot
Differential Property Monitoring for Backdoor Detection
inferred← citeshttps://doi.org/10.1007/s10009-021-00609-zopenalex-snapshot
A taxonomy for classifying runtime verification tools
inferred← citeshttps://doi.org/10.1007/s11416-021-00391-1openalex-snapshot
RV-TEE: secure cryptographic protocol execution based on runtime verification
inferred← citeshttps://doi.org/10.1016/j.jlamp.2020.100618openalex-snapshot
Runtime verification for dynamic architectures
inferred← citeshttps://doi.org/10.1109/icsme58846.2023.00066openalex-snapshot
Specification-based Test Case Generation for C++ Engineering Software
inferred← citeshttps://doi.org/10.1145/3375408.3375416openalex-snapshot
Soundness of a Dataflow Analysis for Memory Monitoring
inferred← citeshttps://doi.org/10.1145/3464974.3468451openalex-snapshot
The e-ACSL perspective on runtime assertion checking
inferred← citeshttps://doi.org/10.1145/3595376openalex-snapshot
Component-based Distributed Software Reconfiguration:A Verification-oriented Survey
inferred← citeshttps://doi.org/10.1145/3638286openalex-snapshot
Securing Pacemakers Using Runtime Monitors over Physiological Signals
inferred← citeshttps://doi.org/10.1145/3644033openalex-snapshot
Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE)
inferred← citeshttps://doi.org/10.1145/3644033.3644380openalex-snapshot
A Semantics of Structures, Unions, and Underspecified Terms for Formal Specification
inferred← citeshttps://doi.org/10.1145/3704879openalex-snapshot
Fulminate: Testing CN Separation-Logic Specifications in C
inferred← citeshttps://doi.org/10.1145/3759536.3763801openalex-snapshot
Towards Modelling and Verification of Coupler Behaviour in Climate Models
inferred← citeshttps://doi.org/10.1145/3808278openalex-snapshot
Code-Specify-Test-Debug-Prove: Flexibly Integrating Separation Logic Specification into Conventional Workflows
inferred← citeshttps://doi.org/10.70675/0704f480z112ez413ez9342zcf776b9aebc7openalex-snapshot
Robust reachability and model counting for software security
inferred← citeshttps://doi.org/10.70675/8cf8b26fz5603z4b78za4b9zd8171c8b983aopenalex-snapshot
Arithmétiques relationnelles pour l'analyse par interprétation abstraite de propriétés de précision numérique
inferred← citeshttps://doi.org/10.70675/a71abab3z9cc7z4170z8627z642c0c126197openalex-snapshot
Une couverture combinant tests et preuves pour la vérification formelle
inferred← citeshttps://doi.org/10.70675/acb149cdz3933z4be1z876fze883a0e96406openalex-snapshot
Specifying and verifying high-level requirements on large programs : application to security of C programs
inferred← citeshttps://doi.org/10.70675/d7197f40z5153z4e48z91a9z4ff111fba67copenalex-snapshot
Finding constancy in linear routines
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.