Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
7 links
Antoine Miné
Researcher
PaperRelational Abstract Domains for the Detection of Floating-Point Run-Time ErrorsAuthorship / preprint / 2007PaperA New Numerical Abstract Domain Based on Difference-Bound MatricesAuthorship / preprint / 2007PaperField-Sensitive Value Analysis of Embedded C Programs with Union Types and Pointer ArithmeticsAuthorship / preprint / 2007PaperSymbolic Methods to Enhance the Precision of Numerical Abstract DomainsAuthorship / preprint / 2007PaperThe Octagon Abstract DomainAuthorship / preprint / 2007PaperA Few Graph-Based Relational Numerical Abstract DomainsAuthorship / preprint / 2007PaperA Static Analyzer for Large Safety-Critical SoftwareAuthorship / preprint / 2007