Numerical static analysis with Soot. - Gianluca Amato; Simone Di Nardo Di Maio; Francesca Scozzari (SOAP@PLDI, 2013)

Narrowing Operators on Template Abstract Domains. - Gianluca Amato; Simone Di Nardo Di Maio; Maria Chiara Meo; Francesca Scozzari (FM, 2015)

Sum of Abstract Domains. - Gianluca Amato; Simone Di Nardo Di Maio; Francesca Scozzari (NFM, 2015)

Descending chains and narrowing on template abstract domains. - Gianluca Amato; Simone Di Nardo Di Maio; Maria Chiara Meo; Francesca Scozzari (Acta Informatica, 2018)