On the public citation graph

DIG

0 signed · 90 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/11817963_11openalex-snapshot

A Fast Linear-Arithmetic Solver for DPLL(T)

inferredcites →https://doi.org/10.1007/3-540-45251-6_29openalex-snapshot

Houdini, an Annotation Assistant for ESC/Java

inferredcites →https://doi.org/10.1007/3-540-46425-5openalex-snapshot

Programming languages and systems : 9th European Symposium on Programming, ESOP 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings

inferredcites →https://doi.org/10.1007/3-540-55602-8_217openalex-snapshot

PVS: A prototype verification system

inferredcites →https://doi.org/10.1007/978-3-540-24725-8_4openalex-snapshot

Static Analysis of Digital Filters

inferredcites →https://doi.org/10.1007/978-3-540-30579-8_2openalex-snapshot

Scalable Analysis of Linear Systems Using Mathematical Programming

inferredcites →https://doi.org/10.1007/978-3-540-31954-2_39openalex-snapshot

Modeling, Optimization and Computation for Software Verification

inferredcites →https://doi.org/10.1007/978-3-540-31987-0_3openalex-snapshot

The ASTREÉ Analyzer

inferredcites →https://doi.org/10.1007/978-3-540-78800-3_24openalex-snapshot

Z3: An Efficient SMT Solver

inferredcites →https://doi.org/10.1007/978-3-540-87698-4_26openalex-snapshot

Formal Verification by Reverse Synthesis

inferredcites →https://doi.org/10.1007/978-3-642-19835-9openalex-snapshot

Tools and Algorithms for the Construction and Analysis of Systems

inferredcites →https://doi.org/10.1007/978-3-642-37036-6_31openalex-snapshot

A Data Driven Approach for Algebraic Loop Invariants

inferredcites →https://doi.org/10.1007/978-3-662-03427-9openalex-snapshot

Computational Geometry

inferredcites →https://doi.org/10.1007/b107380openalex-snapshot

The ASTR ´ EE Analyzer

inferredcites →https://doi.org/10.1007/bf00268497openalex-snapshot

Affine relationships among variables of a program

inferredcites →https://doi.org/10.1016/j.jsc.2007.01.002openalex-snapshot

Generating all polynomial invariants in simple loops

inferredcites →https://doi.org/10.1016/j.scico.2006.03.003openalex-snapshot

Automatic generation of polynomial invariants of bounded degree using abstract interpretation

inferredcites →https://doi.org/10.1016/j.scico.2007.01.015openalex-snapshot

The Daikon system for dynamic detection of likely invariants

inferredcites →https://doi.org/10.1108/ir.1999.04926fae.001openalex-snapshot

Lecture Notes in Computer Science 1205

inferredcites →https://doi.org/10.1109/dsn.2009.5270355openalex-snapshot

Exploiting refactoring in formal verification

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

A synthesizer of inductive assertions

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

Inference Rules for Program Annotation

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

Efficient incremental algorithms for dynamic detection of likely invariants

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

Efficient incremental algorithms for dynamic detection of likely invariants

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

Scalable statistical bug isolation

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

Scalable statistical bug isolation

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

Automatically patching errors in deployed software

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

Precise interprocedural dataflow analysis via graph reachability

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

ABCD

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

Logical analysis of programs

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

The synthesis of loop predicates

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

Automatic discovery of linear restraints among variables of a program

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

Implementation of an array bound checker

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

Abstract interpretation

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

Tracking down software bugs using automatic anomaly detection

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

A static analyzer for large safety-critical software

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

A static analyzer for large safety-critical software

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

Linear Least Squares Computations

inferredcites →https://doi.org/10.1201/9781439894699-15openalex-snapshot

Advanced Encryption Standard

inferredcites →https://doi.org/10.2307/2982931openalex-snapshot

Linear Least Squares Computations.

inferredcites →https://doi.org/10.5555/2337223.2337304openalex-snapshot

Using dynamic analysis to discover polynomial and array invariants

inferredcites →https://doi.org/10.5555/776816.776824openalex-snapshot

Improving test suites via operational abstraction

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-031-25460-4_15openalex-snapshot

Towards Reverse Engineering of Industrial Physical Processes

inferred← citeshttps://doi.org/10.1007/978-3-031-65633-0_18openalex-snapshot

Stochastic Omega-Regular Verification and Control with Supermartingales

inferred← citeshttps://doi.org/10.1007/978-3-031-98679-6_1openalex-snapshot

Quantitative Supermartingale Certificates

inferred← citeshttps://doi.org/10.1007/978-3-032-22723-2_7openalex-snapshot

Efficient Ranking Function-Based Termination Analysis via Bidirectional Decompositional Search

inferred← citeshttps://doi.org/10.1007/978-3-319-68690-5_11openalex-snapshot

Assertion Generation Through Active Learning

inferred← citeshttps://doi.org/10.1007/s10664-023-10392-xopenalex-snapshot

Lightweight precise automatic extraction of exception preconditions in java methods

inferred← citeshttps://doi.org/10.1007/s10817-017-9433-5openalex-snapshot

Relational Program Reasoning Using Compiler IR

inferred← citeshttps://doi.org/10.1016/j.cola.2022.101135openalex-snapshot

A novel data-driven approach on inferring loop invariants for C programs

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

Survey of annotation generators for deductive verifiers

inferred← citeshttps://doi.org/10.1109/ase.2017.8115691openalex-snapshot

Symlnfer: Inferring program invariants using symbolic states

inferred← citeshttps://doi.org/10.1109/ase51524.2021.9678548openalex-snapshot

Counterexample Guided Inductive Repair of Reactive Contracts

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

Trusted Software Repair for System Resiliency

inferred← citeshttps://doi.org/10.1109/iaecst64597.2024.11117547openalex-snapshot

Template-Guided Loop Invariant Synthesis Driven by Program Comprehension

inferred← citeshttps://doi.org/10.1109/icde60146.2024.00377openalex-snapshot

Kondo: Efficient Provenance-Driven Data Debloating

inferred← citeshttps://doi.org/10.1109/icra48891.2023.10161071openalex-snapshot

A Framework for the Unsupervised Inference of Relations Between Sensed Object Spatial Distributions and Robot Behaviors

inferred← citeshttps://doi.org/10.1109/icse-c.2017.87openalex-snapshot

Assertion Generation through Active Learning

inferred← citeshttps://doi.org/10.1109/icse-seip58684.2023.00037openalex-snapshot

Achieving Last-Mile Functional Coverage in Testing Chip Design Software Implementations

inferred← citeshttps://doi.org/10.1109/icsme55016.2022.00038openalex-snapshot

What Is Thrown? Lightweight Precise Automatic Extraction of Exception Preconditions in Java Methods

inferred← citeshttps://doi.org/10.1109/infocom53939.2023.10228994openalex-snapshot

Efficient Verification of Timing-Related Network Functions in High-Speed Hardware

inferred← citeshttps://doi.org/10.1109/issre55969.2022.00018openalex-snapshot

START: A Framework for Trusted and Resilient Autonomous Vehicles (Practical Experience Report)

inferred← citeshttps://doi.org/10.1109/sp54263.2024.00142openalex-snapshot

Everything is Good for Something: Counterexample-Guided Directed Fuzzing via Likely Invariant Inference

inferred← citeshttps://doi.org/10.1109/synasc.2017.00032openalex-snapshot

VIAP - Automated System for Verifying Integer Assignment Programs with Loops

inferred← citeshttps://doi.org/10.1109/tr.2019.2925037openalex-snapshot

Hierarchical Analysis of Loops With Relaxed Abstract Transformers

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

Using Symbolic States to Infer Numerical Invariants

inferred← citeshttps://doi.org/10.1111/cgf.12747openalex-snapshot

Towards Automatic Band-Limited Procedural Shaders

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

Cyber-physical specification mismatch identification with dynamic analysis

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

Crowdsourcing program preconditions via a classification game

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

iGen: dynamic interaction inference for configurable software

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

Counterexample-guided approach to finding numerical invariants

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

Cyber-Physical Specification Mismatches

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

SLING: using dynamic analysis to infer program invariants in separation logic

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

Learning nonlinear loop invariants with gated continuous logic networks

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

DynamiTe: dynamic termination and non-termination proofs

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

Counterexample-guided inductive repair of reactive contracts

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

Neural termination analysis

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

Multi-phase invariant synthesis

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

Learning to Synthesize Relational Invariants

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

Loop Invariant Inference through SMT Solving Enhanced Reinforcement Learning

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

LLM-Generated Invariants for Bounded Model Checking Without Loop Unrolling

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

Program Skeletons for Automated Program Translation

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

Fully Automating Template Polyhedral Analysis by Leveraging LLMs

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

Inferring Numerical Abstract Domain Types from Concrete Program States

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

Cyber-Physical Specification Mismatches

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

Neuro-Symbolic Execution: The Feasibility of an Inductive Approach to Symbolic Execution

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

SymInfer: Inferring Program Invariants using Symbolic States

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

A Counterexample-guided Approach to Finding Numerical Invariants

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

iGen: Dynamic Interaction Inference for Configurable Software

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

Probabilistic Conditional System Invariant Generation with Bayesian Inference

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.