Francesco Logozzo

Available identifiers

Publication	Date of Publication	Type
Automatic repair of overflowing expressions with abstract interpretation	2021-06-21	Paper
Class invariants as abstract interpretation of trace semantics	2018-05-16	Paper
Analyzing program analyses	2016-09-29	Paper
Checking compatibility of bit sizes in floating point comparison operations	2014-07-22	Paper
A parametric segmentation functor for fully automatic and scalable array content analysis	2014-04-10	Paper
Tracing compilation by abstract interpretation	2014-04-10	Paper
Precondition inference from intermittent assertions and application to contracts on collections	2011-02-15	Paper
Static contract checking with abstract interpretation	2011-01-21	Paper
Pentagons: a weakly relational abstract domain for the efficient validation of array accesses	2010-08-18	Paper
Verification, Model Checking, and Abstract Interpretation	2009-05-15	Paper
SubPolyhedra: A (More) Scalable Approach to Infer Linear Inequalities	2009-02-10	Paper
Cibai: An Abstract Interpretation-Based Static Analyzer for Modular Analysis and Verification of Java Classes	2008-04-04	Paper
Verification, Model Checking, and Abstract Interpretation	2007-02-12	Paper
Programming Languages and Systems	2006-10-20	Paper
Algebraic Methodology and Software Technology	2005-08-25	Paper
https://portal.mardi4nfdi.de/entity/Q4813390	2004-08-13	Paper

This page was built for person: Francesco Logozzo