On the public citation graph
The ASTR ´ EE Analyzer
0 signed · 83 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.1007/3-540-36377-7openalex-snapshot
The essence of computation: complexity, analysis, transformation
inferredcites →https://doi.org/10.1007/3-540-36377-7_5openalex-snapshot
Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software
inferredcites →https://doi.org/10.1007/3-540-44978-7_10openalex-snapshot
A New Numerical Abstract Domain Based on Difference-Bound Matrices
inferredcites →https://doi.org/10.1007/3-540-61739-6_33openalex-snapshot
Cache behavior prediction by abstract interpretation
inferredcites →https://doi.org/10.1007/978-3-540-24725-8_2openalex-snapshot
Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors
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-24730-2_15openalex-snapshot
A Tool for Checking ANSI-C Programs
inferredcites →https://doi.org/10.1007/978-3-540-30579-8_3openalex-snapshot
The Arithmetic-Geometric Progression Abstract Domain
inferredcites →https://doi.org/10.1007/978-3-540-31987-0_2openalex-snapshot
Trace Partitioning in Abstract Interpretation Based Static Analyzers
inferredcites →https://doi.org/10.1016/s0167-6423(99)00010-6openalex-snapshot
Cache behavior prediction by abstract interpretation
inferredcites →https://doi.org/10.1093/logcom/2.4.511openalex-snapshot
Abstract Interpretation Frameworks
inferredcites →https://doi.org/10.1145/567752.567778openalex-snapshot
Systematic design of program analysis frameworks
inferredcites →https://doi.org/10.1145/780822.781153openalex-snapshot
A static analyzer for large safety-critical software
inferredcites →https://doi.org/10.1145/781151.781153openalex-snapshot
A static analyzer for large safety-critical software
inferredcites →https://doi.org/10.1145/996841.996869openalex-snapshot
Precise and efficient static array bound checking for large embedded C programs
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/9780470612309.ch21openalex-snapshot
Extending a CP Solver with Congruences as Domains for Program Verification
inferred← citeshttps://doi.org/10.1002/spe.2126openalex-snapshot
A generic static analyzer for multithreaded Java programs
inferred← citeshttps://doi.org/10.1007/11513988_21openalex-snapshot
Compositional Analysis of Floating-Point Linear Numerical Filters
inferred← citeshttps://doi.org/10.1007/11547662_15openalex-snapshot
Taming False Alarms from a Domain-Unaware C Analyzer by a Bayesian Statistical Post Analysis
inferred← citeshttps://doi.org/10.1007/11547662_21openalex-snapshot
Understanding the Origin of Alarms in Astrée
inferred← citeshttps://doi.org/10.1007/11547662_4openalex-snapshot
Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra
inferred← citeshttps://doi.org/10.1007/11575467_23openalex-snapshot
Abstract Dependences for Alarm Diagnosis
inferred← citeshttps://doi.org/10.1007/978-3-030-85347-1_20openalex-snapshot
A Comparison of Different Source Code Representation Methods for Vulnerability Prediction in Python
inferred← citeshttps://doi.org/10.1007/978-3-319-25942-0_4openalex-snapshot
Refinement and Proof Based Development of Systems Characterized by Continuous Functions
inferred← citeshttps://doi.org/10.1007/978-3-540-31987-0_2openalex-snapshot
Trace Partitioning in Abstract Interpretation Based Static Analyzers
inferred← citeshttps://doi.org/10.1007/978-3-540-69149-5_59openalex-snapshot
Constraint Solving and Symbolic Execution
inferred← citeshttps://doi.org/10.1007/978-3-540-69166-2_21openalex-snapshot
Splitting the Control Flow with Boolean Flags
inferred← citeshttps://doi.org/10.1007/978-3-540-69166-2_5openalex-snapshot
Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors
inferred← citeshttps://doi.org/10.1007/978-3-540-71209-1_3openalex-snapshot
Shape Analysis by Graph Decomposition
inferred← citeshttps://doi.org/10.1007/978-3-540-71316-6_16openalex-snapshot
Modular Shape Analysis for Dynamically Encapsulated Programs
inferred← citeshttps://doi.org/10.1007/978-3-540-74061-2_20openalex-snapshot
A Fast Implementation of the Octagon Abstract Domain on Graphics Hardware
inferred← citeshttps://doi.org/10.1007/978-3-540-74061-2_8openalex-snapshot
Taming the Wrapping of Integer Arithmetic
inferred← citeshttps://doi.org/10.1007/978-3-540-77505-8_23openalex-snapshot
Combination of Abstractions in the ASTRÉE Static Analyzer
inferred← citeshttps://doi.org/10.1007/978-3-540-78163-9_6openalex-snapshot
An Improved Tight Closure Algorithm for Integer Octagonal Constraints
inferred← citeshttps://doi.org/10.1007/978-3-642-00515-2_1openalex-snapshot
Space Invading Systems Code
inferred← citeshttps://doi.org/10.1007/978-3-642-04570-7_6openalex-snapshot
Towards an Industrial Use of FLUCTUAT on Safety-Critical Avionics Software
inferred← citeshttps://doi.org/10.1007/978-3-642-16561-0_41openalex-snapshot
Practical Experiences of Applying Source-Level WCET Flow Analysis on Industrial Code
inferred← citeshttps://doi.org/10.1007/978-3-642-24559-6_34openalex-snapshot
Static Analysis of String Values
inferred← citeshttps://doi.org/10.1007/978-3-642-30729-4_10openalex-snapshot
Understanding Programming Bugs in ANSI-C Software Using Bounded Model Checking Counter-Examples
inferred← citeshttps://doi.org/10.1007/978-3-642-33125-1_20openalex-snapshot
Succinct Representations for Abstract Interpretation
inferred← citeshttps://doi.org/10.1007/978-3-642-36675-8_11openalex-snapshot
Geometric Quantifier Elimination Heuristics for Automatically Generating Octagonal and Max-plus Invariants
inferred← citeshttps://doi.org/10.1007/978-3-642-37036-6_31openalex-snapshot
A Data Driven Approach for Algebraic Loop Invariants
inferred← citeshttps://doi.org/10.1007/978-3-642-38853-8_20openalex-snapshot
Formal Verification of Concurrent Embedded Software
inferred← citeshttps://doi.org/10.1007/978-3-662-48899-7_41openalex-snapshot
Gamifying Program Analysis
inferred← citeshttps://doi.org/10.1007/s10703-009-0073-1openalex-snapshot
Weakly-relational shapes for numeric abstractions: improved algorithms and proofs of correctness
inferred← citeshttps://doi.org/10.1007/s10817-014-9317-xopenalex-snapshot
Verified Compilation of Floating-Point Computations
inferred← citeshttps://doi.org/10.1016/j.entcs.2006.04.010openalex-snapshot
Bunching for Regions and Locations
inferred← citeshttps://doi.org/10.1016/j.entcs.2012.11.003openalex-snapshot
PAGAI: A Path Sensitive Static Analyser
inferred← citeshttps://doi.org/10.1016/j.jlamp.2023.100857openalex-snapshot
Program equivalence in an untyped, call-by-value functional language with uncurried functions
inferred← citeshttps://doi.org/10.1016/j.scico.2007.08.001openalex-snapshot
The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems
inferred← citeshttps://doi.org/10.1016/j.scico.2020.102470openalex-snapshot
A new modular implementation for stateful traits
inferred← citeshttps://doi.org/10.1016/j.tcs.2016.01.026openalex-snapshot
A complete refinement procedure for regular separability of context-free languages
inferred← citeshttps://doi.org/10.1109/arith.2013.30openalex-snapshot
A Formally-Verified C Compiler Supporting Floating-Point Arithmetic
inferred← citeshttps://doi.org/10.1109/fmcad.2013.6679414openalex-snapshot
On the concept of variable roles and its use in software analysis
inferred← citeshttps://doi.org/10.1109/icst.2015.7102607openalex-snapshot
Sound and Quasi-Complete Detection of Infeasible Test Requirements
inferred← citeshttps://doi.org/10.1145/1190215.1190249openalex-snapshot
Variance analyses from invariance analyses
inferred← citeshttps://doi.org/10.1145/1275497.1275501openalex-snapshot
The trace partitioning abstract domain
inferred← citeshttps://doi.org/10.1145/1289927.1289932openalex-snapshot
Proving the absence of run-time errors in safety-critical avionics code
inferred← citeshttps://doi.org/10.1145/1289927.1289937openalex-snapshot
Verification of device drivers and intelligent controllers
inferred← citeshttps://doi.org/10.1145/1353445.1353446openalex-snapshot
The pitfalls of verifying floating-point computations
inferred← citeshttps://doi.org/10.1145/1480881.1480899openalex-snapshot
Automatic modular abstractions for linear constraints
inferred← citeshttps://doi.org/10.1145/1480881.1480917openalex-snapshot
Compositional shape analysis by means of bi-abduction
inferred← citeshttps://doi.org/10.1145/2382196.2382278openalex-snapshot
Secure two-party computations in ANSI C
inferred← citeshttps://doi.org/10.1145/2389836.2389847openalex-snapshot
Automated coverage calculation and test case generation
inferred← citeshttps://doi.org/10.1145/2666357.2597817openalex-snapshot
How to compute worst-case execution time by optimization modulo theory and a clever encoding of program semantics
inferred← citeshttps://doi.org/10.1145/2814270.2814299openalex-snapshot
RAIVE: runtime assessment of floating-point instability by vectorization
inferred← citeshttps://doi.org/10.1145/2883817.2883824openalex-snapshot
Formal Analysis of Robustness at Model and Code Level
inferred← citeshttps://doi.org/10.1145/3106237.3106243openalex-snapshot
Thread-modular static analysis for relaxed memory models
inferred← citeshttps://doi.org/10.14722/ndss.2018.23326openalex-snapshot
K-Miner: Uncovering Memory Corruption in Linux
inferred← citeshttps://doi.org/10.2168/lmcs-6(3:4)2010openalex-snapshot
Automatic Modular Abstractions for Template Numerical Constraints
inferred← citeshttps://doi.org/10.2200/s00260ed1v01y201003spt002openalex-snapshot
Analysis Techniques for Information Security
inferred← citeshttps://doi.org/10.2514/6.2009-1990openalex-snapshot
Bringing Guarantees of Control Law Performance from Specifications to Code
inferred← citeshttps://doi.org/10.3923/itj.2011.1068.1091openalex-snapshot
A Survey on Analysis of Selected Cryptographic Primitives and Security Protocols in Symbolic Model and Computational Model
inferred← citeshttps://doi.org/10.3929/ethz-a-010487200openalex-snapshot
Narrowing the gap between verification and systematic testing
inferred← citeshttps://doi.org/10.48550/arxiv.0706.0252openalex-snapshot
Applying the Z-transform for the static analysis of floating-point numerical filters
inferred← citeshttps://doi.org/10.48550/arxiv.0711.0345openalex-snapshot
A Prolog-based Environment for Reasoning about Programming Languages (Extended abstract)
inferred← citeshttps://doi.org/10.48550/arxiv.0809.4812openalex-snapshot
Control software analysis, Part I Open-loop properties
inferred← citeshttps://doi.org/10.48550/arxiv.0812.1986openalex-snapshot
Control software analysis, part II: Closed-loop analysis
inferred← citeshttps://doi.org/10.5555/2337223.2337304openalex-snapshot
Using dynamic analysis to discover polynomial and array invariants
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.