8 papers:
SAS-2014-ChenLMKW #abstract domain #constraints- An Abstract Domain to Infer Octagonal Constraints with Absolute Value (LC, JL, AM, DK, JW), pp. 101–117.
VMCAI-2014-BozgaIK #integer #problem #safety #source code- Safety Problems Are NP-complete for Flat Integer Programs with Octagonal Loops (MB, RI, FK), pp. 242–261.
TACAS-2009-BozgaGI- Iterating Octagons (MB, CG, RI), pp. 337–351.
- VMCAI-2008-BagnaraHZ #algorithm #constraints #integer
- An Improved Tight Closure Algorithm for Integer Octagonal Constraints (RB, PMH, EZ), pp. 8–21.
- SAS-2007-BanterleG #abstract domain #hardware #implementation #performance
- A Fast Implementation of the Octagon Abstract Domain on Graphics Hardware (FB, RG), pp. 315–332.
CIKM-2002-ZhuSI #database #query- Trajectory queries and octagons in moving object databases (HZ, JS, OHI), pp. 413–421.
WCRE-2001-Mine #abstract domain- The Octagon Abstract Domain (AM), p. 310–?.
DAC-1991-DoodWLS #2d #geometry- A Two-Dimensional Topological Compactor With Octagonal Geometry (PdD, JW, EL, RS), pp. 727–731.
