Article

An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs

Automatic Estimation of Verified Floating-Point Round-Off Errors via Static Analysis

A Formal Analysis of the Compact Position Reporting Algorithm

Abstract Analysis of Universal Properties for tccp

Modelling Hybrid Systems in Hy-tccp

Modeling Hybrid Systems in the Concurrent Constraint Paradigm

Towards an Effective Decision Procedure for LTL formulas with Constraints