Asserting the Precision of Floating-Point Computations: A Simple Abstract Interpreter

Propagation of Roundoff Errors in Finite Precision Computations: A Semantics Approach

ESOP '02 Proceedings of the 11th European Symposium on Programming Languages and Systems

On Small Depth Threshold Circuits

SWAT '92 Proceedings of the Third Scandinavian Workshop on Algorithm Theory

Static Analysis of the Numerical Stability of Loops

SAS '02 Proceedings of the 9th International Symposium on Static Analysis

On Termination of Logic Programs with Floating Point Computations

SAS '02 Proceedings of the 9th International Symposium on Static Analysis

Robustness analysis of avionics embedded systems

Proceedings of the 2003 ACM SIGPLAN conference on Language, compiler, and tool for embedded systems

Termination of Floating-Point Computations

Journal of Automated Reasoning

Semantics of roundoff error propagation in finite precision calculations

Higher-Order and Symbolic Computation

Proving the absence of run-time errors in safety-critical avionics code

EMSOFT '07 Proceedings of the 7th ACM & IEEE international conference on Embedded software

Program transformation for numerical precision

Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation

HybridFluctuat: A Static Analyzer of Numerical Programs within a Continuous Environment

CAV '09 Proceedings of the 21st International Conference on Computer Aided Verification

Continuity analysis of programs

Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Enhancing the implementation of mathematical formulas for fixed-point and floating-point arithmetics

Formal Methods in System Design

Why does Astrée scale up?

Formal Methods in System Design

Abstract interpretation of the physical inputs of embedded programs

VMCAI'08 Proceedings of the 9th international conference on Verification, model checking, and abstract interpretation

A hybrid denotational semantics for hybrid systems

ESOP'08/ETAPS'08 Proceedings of the Theory and practice of software, 17th European conference on Programming languages and systems

Static analysis of the accuracy in control systems: principles and experiments

FMICS'07 Proceedings of the 12th international conference on Formal methods for industrial critical systems

Abstract Fixpoint Computations with Numerical Acceleration Methods

Electronic Notes in Theoretical Computer Science (ENTCS)

Static analysis of finite precision computations

VMCAI'11 Proceedings of the 12th international conference on Verification, model checking, and abstract interpretation

Static analysis of numerical algorithms

SAS'06 Proceedings of the 13th international conference on Static Analysis

An overview of semantics for the validation of numerical programs

VMCAI'05 Proceedings of the 6th international conference on Verification, Model Checking, and Abstract Interpretation

A policy iteration algorithm for computing fixed points in static analysis of programs

CAV'05 Proceedings of the 17th international conference on Computer Aided Verification

Acceleration of the abstract fixpoint computation in numerical program analysis

Journal of Symbolic Computation

Theories, solvers and static analysis by abstract interpretation

Journal of the ACM (JACM)

Inferring Effective Types for Static Analysis of C Programs

Electronic Notes in Theoretical Computer Science (ENTCS)

Automatically adapting programs for mixed-precision floating-point computation

Proceedings of the 27th international ACM conference on International conference on supercomputing