Simone Di Nardo Di Maio

According to our database, Simone Di Nardo Di Maio authored at least 4 papers between 2013 and 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2018

Descending chains and narrowing on template abstract domains.

Gianluca Amato, Simone Di Nardo Di Maio, Maria Chiara Meo, Francesca Scozzari

Acta Informatica, 2018

2015

Sum of Abstract Domains.

Gianluca Amato, Simone Di Nardo Di Maio, Francesca Scozzari

Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

Narrowing Operators on Template Abstract Domains.

Gianluca Amato, Simone Di Nardo Di Maio, Maria Chiara Meo, Francesca Scozzari

Proceedings of the FM 2015: Formal Methods, 2015

2013

Numerical static analysis with Soot.

Gianluca Amato, Simone Di Nardo Di Maio, Francesca Scozzari

Proceedings of the 2nd ACM SIGPLAN International Workshop on State Of the Art in Java Program analysis, 2013