Maroua Maalej

Publication Activity (10 Years)

Years Active: 2016-2020
Publications (10 Years): 5

Top Topics

Linear Inequalities

Signature Verification

Memory Management

Top Venues

Sci. Comput. Program.

University of Lyon, France (PHD)

Education History

University of Lyon, France

PHD

Publications

Georges-Axel Jaloyan, Claire Dross, Maroua Maalej, Yannick Moy, Andrei Paskevich
Verification of Programs with Pointers in SPARK. ICFEM (2020)
Maroua Maalej, S. Tucker Taft, Yannick Moy
Safe Dynamic Memory Management in Ada and SPARK. Ada-Europe (2018)
Maroua Maalej, Vitor Paisante, Fernando Magno Quintão Pereira, Laure Gonnord
Combining range and inequality information for pointer disambiguation. Sci. Comput. Program. 152 (2018)
Maroua Maalej, Vitor Paisante, Pedro Ramos, Laure Gonnord, Fernando Magno Quintão Pereira
Pointer disambiguation via strict inequalities. CGO (2017)
Vitor Paisante, Maroua Maalej, Leonardo Barbosa e Oliveira, Laure Gonnord, Fernando Magno Quintão Pereira
Symbolic range analysis of pointers. CGO (2016)