| 2009 |
|---|
| 18 | EE | Vincent Laviron,
Francesco Logozzo:
SubPolyhedra: A (More) Scalable Approach to Infer Linear Inequalities.
VMCAI 2009: 229-244 |
| 2008 |
|---|
| 17 | | Francesco Logozzo,
Doron Peled,
Lenore D. Zuck:
Verification, Model Checking, and Abstract Interpretation, 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings
Springer 2008 |
| 16 | EE | Francesco Logozzo,
Manuel Fähndrich:
On the Relative Completeness of Bytecode Analysis Versus Source Code Analysis.
CC 2008: 197-212 |
| 15 | EE | Pietro Ferrara,
Francesco Logozzo,
Manuel Fähndrich:
Safer unsafe code for .NET.
OOPSLA 2008: 329-346 |
| 14 | EE | Francesco Logozzo,
Manuel Fähndrich:
Pentagons: a weakly relational abstract domain for the efficient validation of array accesses.
SAC 2008: 184-188 |
| 2007 |
|---|
| 13 | EE | John Boyland,
Dave Clarke,
Gary T. Leavens,
Francesco Logozzo,
Arnd Poetzsch-Heffter:
Formal Techniques for Java-Like Programs.
ECOOP Workshops 2007: 99-107 |
| 12 | EE | Francesco Logozzo:
Cibai: An Abstract Interpretation-Based Static Analyzer for Modular Analysis and Verification of Java Classes.
VMCAI 2007: 283-298 |
| 2006 |
|---|
| 11 | EE | Marco Pistoia,
Francesco Logozzo:
Program Analysis for Security and Privacy.
ECOOP Workshops 2006: 59-68 |
| 10 | EE | Francesco Logozzo,
Agostino Cortesi:
Semantic Hierarchy Refactoring by Abstract Interpretation.
VMCAI 2006: 313-331 |
| 2005 |
|---|
| 9 | EE | K. Rustan M. Leino,
Francesco Logozzo:
Loop Invariants on Demand.
APLAS 2005: 119-134 |
| 8 | EE | Agostino Cortesi,
Francesco Logozzo:
Abstract Interpretation-Based Verification of Non-functional Requirements.
COORDINATION 2005: 49-62 |
| 7 | EE | Francesco Logozzo:
An Approach to Behavioral Subtyping Based on Static Analysis.
Electr. Notes Theor. Comput. Sci. 116: 157-170 (2005) |
| 6 | EE | Agostino Cortesi,
Francesco Logozzo:
Preface.
Electr. Notes Theor. Comput. Sci. 131: 1-2 (2005) |
| 5 | EE | Francesco Logozzo,
Agostino Cortesi:
Abstract Interpretation and Object-oriented Programming: Quo Vadis?
Electr. Notes Theor. Comput. Sci. 131: 75-84 (2005) |
| 2004 |
|---|
| 4 | EE | Francesco Logozzo:
Separate Compositional Analysis of Class-Based Object-Oriented Languages.
AMAST 2004: 334-348 |
| 3 | EE | Francesco Logozzo:
Approximating module semantics with constraints.
SAC 2004: 1490-1495 |
| 2 | EE | Francesco Logozzo:
Automatic Inference of Class Invariants.
VMCAI 2004: 211-222 |
| 2003 |
|---|
| 1 | EE | Francesco Logozzo:
Class-Level Modular Analysis for Object Oriented Languages.
SAS 2003: 37-54 |
