Francesco Logozzo

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1John Tang Boyland (John Boyland) [13]
2Dave Clarke [13]
3Agostino Cortesi [5] [6] [8] [10]
4Manuel Fähndrich [14] [15] [16]
5Pietro Ferrara [15]
6Vincent Laviron [18]
7Gary T. Leavens [13]
8K. Rustan M. Leino [9]
9Doron Peled [17]
10Marco Pistoia [11]
11Arnd Poetzsch-Heffter [13]
12Lenore D. Zuck [17]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)