Person:511010

Available identifiers

zbMath Open giacobazzi.robertoMaRDI QIDQ511010

List of research outcomes

Publication	Date of Publication	Type
Property-driven code obfuscations reinterpreting Jones-optimality in abstract interpretation	2023-07-28	Paper
Program analysis is harder than verification: a computability perspective	2023-05-05	Paper
Computing Abstract Distances in Logic Programs	2022-08-25	Paper
Formal framework for reasoning about the precision of dynamic analysis	2021-10-18	Paper
Sound up-to techniques and Complete abstract domains	2021-01-20	Paper
Code Obfuscation Against Abstract Model Checking Attacks	2020-07-07	Paper
Code obfuscation against abstraction refinement attacks	2018-11-16	Paper
Completeness in approximate transduction	2018-08-27	Paper
Refining and compressing abstract domains	2018-07-04	Paper
“Optimal” collecting semantics for analysis in a hierarchy of logic program semantics	2017-11-16	Paper
Making abstract domains condensing	2017-07-12	Paper
Maximal incompleteness as obfuscation potency	2017-02-14	Paper
Complementing logic program semantics	2017-01-19	Paper
Weakening additivity in adjoining closures	2016-12-16	Paper
Analyzing Program Analyses	2016-09-29	Paper
Abstract Symbolic Automata	2016-09-29	Paper
Making abstract models complete	2016-07-28	Paper
Abstract non-interference	2015-11-11	Paper
What You Lose is What You Leak: Information Leakage in Declassification Policies	2015-07-10	Paper
Unveiling metamorphism by abstract interpretation of code properties	2015-04-01	Paper
Correctness kernels of abstract interpretations	2014-07-18	Paper
A Formal Framework for Property-Driven Obfuscation Strategies	2013-08-16	Paper
Refining and Compressing Abstract Model Checking1 1The work is partially supported by MURST project: Certificazione automatica di programmi mediante interpretazione astratta.	2013-05-24	Paper
An abstract interpretation-based model for safety semantics	2011-04-21	Paper
Modelling Metamorphism by Abstract Interpretation	2010-10-01	Paper
Example-Guided Abstraction Simplification	2010-09-07	Paper
Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming	2010-07-20	Paper
A Proof System for Abstract Non-interference	2010-04-21	Paper
Abstract interpretation of resolution-based semantics	2009-11-04	Paper
Opaque Predicates Detection by Abstract Interpretation	2009-04-28	Paper
Transforming Abstract Interpretations by Abstract Interpretation	2008-08-28	Paper
Hiding Software Watermarks in Loop Structures	2008-08-28	Paper
Making abstract interpretations complete	2008-05-05	Paper
Formal Modeling and Analysis of Timed Systems	2006-11-14	Paper
Oracle semantics for Prolog	2006-10-10	Paper
Incompleteness of states w.r.t. traces in model checking	2006-06-09	Paper
Automata, Languages and Programming	2006-01-10	Paper
Programming Languages and Systems	2005-09-13	Paper
Computer Science Logic	2005-08-22	Paper
Transforming semantics by abstract interpretation	2005-06-30	Paper
Correction to ``Some properties of complete congruence lattices.	2005-04-19	Paper
Non-standard semantics for program slicing	2004-03-15	Paper
https://portal.mardi4nfdi.de/entity/Q4414386	2003-07-25	Paper
https://portal.mardi4nfdi.de/entity/Q4411978	2003-07-13	Paper
https://portal.mardi4nfdi.de/entity/Q4779119	2002-11-24	Paper
On the least complete extension of complete subsemilattices	2000-02-27	Paper
Some properties of complete congruence lattices	2000-02-27	Paper
Optimal domains for disjunctive abstract interpretation	2000-01-04	Paper
https://portal.mardi4nfdi.de/entity/Q4259957	1999-09-08	Paper
The reduced relative power operation on abstract domains	1999-04-28	Paper
Uniform closures: Order-theoretically reconstructing logic program semantics and abstract domain refinements	1999-01-13	Paper
Abductive analysis of modular logic programs	1999-01-11	Paper
Weak relative pseudo-complements of closure operators	1998-11-24	Paper
https://portal.mardi4nfdi.de/entity/Q4217930	1998-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q5688900	1997-05-25	Paper
Generalized semantics and abstract interpretation for constraint logic programs	1997-04-17	Paper
Modelling Prolog Control	1994-03-27	Paper
A bottom-up polymorphic type inference in logic programming	1993-05-16	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Roberto Giacobazzi