Simone Di Nardo Di Maio
According to our database1, Simone Di Nardo Di Maio authored at least 4 papers between 2013 and 2018.
Legend:Book In proceedings Article PhD thesis Other
Descending chains and narrowing on template abstract domains.
Acta Inf., 2018
Sum of Abstract Domains.
Proceedings of the NASA Formal Methods - 7th International Symposium, 2015
Narrowing Operators on Template Abstract Domains.
Proceedings of the FM 2015: Formal Methods, 2015
Numerical static analysis with Soot.
Proceedings of the 2nd ACM SIGPLAN International Workshop on State Of the Art in Java Program analysis, 2013