Simone Di Nardo Di Maio

Publication Activity (10 Years)

Years Active: 2013-2018
Publications (10 Years): 1

Top Topics

Static Analysis

Application Domains

Top Venues

Acta Informatica

Publications

Gianluca Amato, Simone Di Nardo Di Maio, Maria Chiara Meo, Francesca Scozzari
Descending chains and narrowing on template abstract domains. Acta Informatica 55 (6) (2018)
Gianluca Amato, Simone Di Nardo Di Maio, Francesca Scozzari
Sum of Abstract Domains. NFM (2015)
Gianluca Amato, Simone Di Nardo Di Maio, Maria Chiara Meo, Francesca Scozzari
Narrowing Operators on Template Abstract Domains. FM (2015)
Gianluca Amato, Simone Di Nardo Di Maio, Francesca Scozzari
Numerical static analysis with Soot. SOAP@PLDI (2013)