|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 12 occurrences of 6 keywords
|
|
|
|
|
Results
Found 32 publication records. Showing 32 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Francesco Logozzo |
Our Experience with the CodeContracts Static Checker - (Invited Tutorial).  |
VSTTE  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincent Laviron, Francesco Logozzo |
SubPolyhedra: a family of numerical abstract domains for the (more) scalable inference of linear inequalities. |
STTT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Cousot, Radhia Cousot, Francesco Logozzo |
A parametric segmentation functor for fully automatic and scalable array content analysis. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Logozzo |
Practical Verification for the Working Programmer with CodeContracts and Abstract Interpretation - (Invited Talk). |
VMCAI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Cousot, Radhia Cousot, Francesco Logozzo |
Precondition Inference from Intermittent Assertions and Application to Contracts on Collections. |
VMCAI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Logozzo, Manuel Fähndrich |
Pentagons: A weakly relational abstract domain for the efficient validation of array accesses. |
Sci. Comput. Program. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Fähndrich, Michael Barnett, Francesco Logozzo |
Embedded contract languages. |
SAC |
2010 |
DBLP DOI BibTeX RDF |
CodeContracts, C#, NET |
| 1 | Francesco Logozzo, Herman Venter |
RATA: Rapid Atomic Type Analysis by Abstract Interpretation - Application to JavaScript Optimization. |
CC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Bebenita, Florian Brandner, Manuel Fähndrich, Francesco Logozzo, Wolfram Schulte, Nikolai Tillmann, Herman Venter |
SPUR: a trace-based JIT compiler for CIL. |
OOPSLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Fähndrich, Francesco Logozzo |
Static Contract Checking with Abstract Interpretation. |
FoVeOOS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Logozzo |
Class invariants as abstract interpretation of trace semantics. |
Computer Languages, Systems & Structures |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincent Laviron, Francesco Logozzo |
Refining Abstract Interpretation-Based Static Analyses with Hints. |
APLAS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Songtao Xia, Manuel Fähndrich, Francesco Logozzo |
Inferring Dataflow Properties of User Defined Table Processors. |
SAS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincent Laviron, Francesco Logozzo |
SubPolyhedra: A (More) Scalable Approach to Infer Linear Inequalities. |
VMCAI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Logozzo, Manuel Fähndrich |
Pentagons: a weakly relational abstract domain for the efficient validation of array accesses. |
SAC |
2008 |
DBLP DOI BibTeX RDF |
NET framework, bounds checking, numerical domains, static analysis, abstract interpretation, abstract domains |
| 1 | Francesco Logozzo, Manuel Fähndrich |
On the Relative Completeness of Bytecode Analysis Versus Source Code Analysis. |
CC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Pietro Ferrara, Francesco Logozzo, Manuel Fähndrich |
Safer unsafe code for .NET. |
OOPSLA |
2008 |
DBLP DOI BibTeX RDF |
bounds checking, pointer indexing, static analysis, abstract interpretation, design by contract, NET, abstract domains |
| 1 | Francesco Logozzo, Doron Peled, Lenore D. Zuck (eds.) |
Verification, Model Checking, and Abstract Interpretation, 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings |
VMCAI |
2008 |
DBLP BibTeX RDF |
|
| 1 | John Boyland, Dave Clarke, Gary T. Leavens, Francesco Logozzo, Arnd Poetzsch-Heffter |
Formal Techniques for Java-Like Programs. |
ECOOP Workshops |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Logozzo |
Cibai: An Abstract Interpretation-Based Static Analyzer for Modular Analysis and Verification of Java Classes. |
VMCAI |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Pistoia, Francesco Logozzo |
Program Analysis for Security and Privacy. |
ECOOP Workshops |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Logozzo, Agostino Cortesi |
Semantic Hierarchy Refactoring by Abstract Interpretation. |
VMCAI |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Logozzo, Agostino Cortesi |
Abstract Interpretation and Object-oriented Programming: Quo Vadis? |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Agostino Cortesi, Francesco Logozzo |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Logozzo |
An Approach to Behavioral Subtyping Based on Static Analysis. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Agostino Cortesi, Francesco Logozzo |
Abstract Interpretation-Based Verification of Non-functional Requirements. |
COORDINATION |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | K. Rustan M. Leino, Francesco Logozzo |
Loop Invariants on Demand. |
APLAS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Logozzo |
Separate Compositional Analysis of Class-Based Object-Oriented Languages. |
AMAST |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Logozzo |
Approximating module semantics with constraints. |
SAC |
2004 |
DBLP DOI BibTeX RDF |
modular static analysis, abstract interpretation, abstract domains |
| 1 | Francesco Logozzo |
Automatic Inference of Class Invariants. |
VMCAI |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Logozzo |
Class-Level Modular Analysis for Object Oriented Languages. |
SAS |
2003 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #32 of 32 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")