activity
20222026
most citedOptimization with Temporal and Logical Specifications via Generalized Mean-based Smooth Robustness Measures

4 citations · 6 across the 7 of their papers we have counts for

collaborators
Showing cs.SEShow all

1 paper · 1 filter

cs.SE2026

FPScan: An Automated Constraint-Based Analyzer for Floating-Point Anomaly Detection

Julien Bortolussi, Dorra Ben Khalifa, Pierre-Loïc Garoche

Writing error-free floating-point programs is a challenging task, especially for programmers who lack a strong background in numerical analysis and rounding-error propagation. Stat…