Symbolic range analysis of pointers. - Vitor Paisante; Maroua Maalej; Leonardo Barbosa e Oliveira; Laure Gonnord; Fernando Magno Quintão Pereira (CGO, 2016)

Pointer disambiguation via strict inequalities. - Maroua Maalej; Vitor Paisante; Pedro Ramos; Laure Gonnord; Fernando Magno Quintão Pereira (CGO, 2017)

Low-cost memory analyses for efficient compilers. (Analyses de mémoire à bas coût pour des compilateurs efficaces). - Maroua Maalej (2017)

Safe Dynamic Memory Management in Ada and SPARK. - Maroua Maalej; S. Tucker Taft; Yannick Moy (Ada-Europe, 2018)

Combining range and inequality information for pointer disambiguation. - Maroua Maalej; Vitor Paisante; Fernando Magno Quintão Pereira; Laure Gonnord (Sci. Comput. Program., 2018)

Verification of Programs with Pointers in SPARK. - Georges-Axel Jaloyan; Claire Dross; Maroua Maalej; Yannick Moy; Andrei Paskevich (ICFEM, 2020)