 | 2009 |
|---|
| 20 |       | Michael Barnett,
Manuel Fähndrich,
Peli de Halleux,
Francesco Logozzo,
Nikolai Tillmann:
Exploiting the synergy between automated-test-generation and programming-by-contract.
ICSE Companion 2009: 401-402 |
| 19 | | Songtao Xia,
Manuel Fähndrich,
Francesco Logozzo:
Inferring Dataflow Properties of User Defined Table Processors.
SAS 2009: 19-35 |
| 18 | | 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 | | Francesco Logozzo,
Manuel Fähndrich:
On the Relative Completeness of Bytecode Analysis Versus Source Code Analysis.
CC 2008: 197-212 |
| 15 | | Pietro Ferrara,
Francesco Logozzo,
Manuel Fähndrich:
Safer unsafe code for .NET.
OOPSLA 2008: 329-346 |
| 14 | | Francesco Logozzo,
Manuel Fähndrich:
Pentagons: a weakly relational abstract domain for the efficient validation of array accesses.
SAC 2008: 184-188 |
| 2007 |
|---|
| 13 | | John Boyland,
Dave Clarke,
Gary T. Leavens,
Francesco Logozzo,
Arnd Poetzsch-Heffter:
Formal Techniques for Java-Like Programs.
ECOOP Workshops 2007: 99-107 |
| 12 | | Francesco Logozzo:
Cibai: An Abstract Interpretation-Based Static Analyzer for Modular Analysis and Verification of Java Classes.
VMCAI 2007: 283-298 |
| 2006 |
|---|
| 11 | | Marco Pistoia,
Francesco Logozzo:
Program Analysis for Security and Privacy.
ECOOP Workshops 2006: 59-68 |
| 10 | | Francesco Logozzo,
Agostino Cortesi:
Semantic Hierarchy Refactoring by Abstract Interpretation.
VMCAI 2006: 313-331 |
| 2005 |
|---|
| 9 | | K. Rustan M. Leino,
Francesco Logozzo:
Loop Invariants on Demand.
APLAS 2005: 119-134 |
| 8 | | Agostino Cortesi,
Francesco Logozzo:
Abstract Interpretation-Based Verification of Non-functional Requirements.
COORDINATION 2005: 49-62 |
| 7 | | Francesco Logozzo:
An Approach to Behavioral Subtyping Based on Static Analysis.
Electr. Notes Theor. Comput. Sci. 116: 157-170 (2005) |
| 6 | | Agostino Cortesi,
Francesco Logozzo:
Preface.
Electr. Notes Theor. Comput. Sci. 131: 1-2 (2005) |
| 5 | | Francesco Logozzo,
Agostino Cortesi:
Abstract Interpretation and Object-oriented Programming: Quo Vadis?
Electr. Notes Theor. Comput. Sci. 131: 75-84 (2005) |
| 2004 |
|---|
| 4 | | Francesco Logozzo:
Separate Compositional Analysis of Class-Based Object-Oriented Languages.
AMAST 2004: 334-348 |
| 3 | | Francesco Logozzo:
Approximating module semantics with constraints.
SAC 2004: 1490-1495 |
| 2 | | Francesco Logozzo:
Automatic Inference of Class Invariants.
VMCAI 2004: 211-222 |
| 2003 |
|---|
| 1 | | Francesco Logozzo:
Class-Level Modular Analysis for Object Oriented Languages.
SAS 2003: 37-54 |
