2010

• Mike Barnett, Manuel Fahndrich, and Francesco Logozzo, Embedded Contract Languages, in ACM SAC - OOPS, Association for Computing Machinery, Inc., March 2010

2009

• Vincent Laviron and Francesco Logozzo, Refining Abstract Interpretation-based Static Analyses with Hints, in Seventh Asian Symposium on Programming Languages and Systems (APLAS 2009), Springer Verlag, December 2009
• Songtao Xia, Manuel Fahndrich, and Francesco Logozzo, Infer Dataflow Properties of User Defined Table Processors, in Proceeding of the 16th International Static Analysis Symposium (SAS'09), Springer Verlag, August 2009
• Francesco Logozzo, Corneliu Popeea, and Vincent Laviron, Towards a Quantitative Estimation of Abstract Interpretations, in Workshop on Quantitative Analysis of Software, Microsoft, 28 June 2009
• Michael Barnett, Manuel Fahndrich, Francesco Logozzo, Peli de Halleux, and Nikolai Tillmann, Exploiting the Synergy between Automated-Test-Generation and Programming-by-Contract, in Proc. 31st International Conference on Software Engineering (ICSE'2009) , IEEE, May 2009
• Francesco Logozzo and Manuel Fahndrich, Pentagons: A Weakly Relational Abstract Domain for the Efficient Validation of Array Accesses, in Science of Computer Programming, Springer Verlag, 2009
• Francesco Logozzo and Vincent Laviron, SubPolyhedra: A (more) scalable approach to infer linear inequalities, in Proceedings of the 10th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI'09), Springer Verlag, January 2009

2008

• Pietro Ferrara, Francesco Logozzo, and Manuel Fähndrich, Safer unsafe code for .NET, in Proceedings of the 23rd ACM Conference on Object-Oriented Programming (OOPSLA'08), Association for Computing Machinery, Inc., October 2008
• Mike Barnett, Manuel Fahndrich, and Francesco Logozzo, Foxtrot and Clousot: Language Agnostic Dynamic and Static Contract Checking for .NET, no. MSR-TR-2008-105, August 2008
• Francesco Logozzo and Manuel Fähndrich, Pentagons: A weakly relational domain for the efficient validation of array accesses, in Proceedings of the 23th ACM Symposium on Applied Computing , Association for Computing Machinery, Inc., March 2008
• Francesco Logozzo and Manuel Fähndrich, On the Relative Completeness of Bytecode Analysis versus Source Code Analysis, in Proceedings of the International Conference on Compiler Construction, Springer Verlag, 2008
• Francesco Logozzo, Doron Peled, and Lenore Zuck, Proceedings of the 9th International conference on Verification, Model checking and Abstract interpretation, Springer Verlag, 2008
• John Boyland, Dave Clarke, Gary T. Leavens, Francesco Logozzo, and Arnd Poetzsch-Heffter, Formal Techniques for Java-Like Programs: Report on the Workshop at ECOOP 2007., in Object-Oriented Technology, ECOOP 2007 Workshop Reader, Springer Verlag, 2008

2007

• K. Rustan M. Leino and Francesco Logozzo, Using widenings to infer loop invariants inside an SMT solver, or: A theorem prover as abstract domain, in International Workshop on Invariant Generation, May 2007
• Francesco Logozzo, Cibai: An abstract interpretation-based static analyzer for modular analysis and verification of Java classes, in Proceedings of the 8th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI'07), Springer Verlag, January 2007
• Mike Barnett, Manuel Fahndrich, Diego Garbervetsky, and Francesco Logozzo, Annotations for (more) Precise Points-to Analysis, in IWACO 2007, 2007