 | 2009 |
|---|
| 76 |       | Roberto Giacobazzi,
Francesco Ranzato:
Abstraction-Guided Abstraction Simplification
CoRR abs/0910.4748: (2009) |
| 2008 |
|---|
| 75 | | Roberto Giacobazzi,
Isabella Mastroeni:
Transforming Abstract Interpretations by Abstract Interpretation.
SAS 2008: 1-17 |
| 74 | | Mila Dalla Preda,
Roberto Giacobazzi,
Enrico Visentini:
Hiding Software Watermarks in Loop Structures.
SAS 2008: 174-188 |
| 73 | | Roberto Giacobazzi:
Abstract Interpretation in Code Security.
SEFM 2008: 3 |
| 72 | | Roberto Giacobazzi:
Hiding Information in Completeness Holes: New Perspectives in Code Obfuscation and Watermarking.
SEFM 2008: 7-18 |
| 2007 |
|---|
| 71 | | Francesco Banterle,
Roberto Giacobazzi:
A Fast Implementation of the Octagon Abstract Domain on Graphics Hardware.
SAS 2007: 315-332 |
| 70 | | Anindya Banerjee,
Roberto Giacobazzi,
Isabella Mastroeni:
What You Lose is What You Leak: Information Leakage in Declassification Policies.
Electr. Notes Theor. Comput. Sci. 173: 47-66 (2007) |
| 69 | | David Clark,
Sebastian Danicic,
Roberto Giacobazzi:
Special issue on Programming Language Interference and Dependence.
J. Log. Algebr. Program. 72(2): 123 (2007) |
| 68 | | Roberto Giacobazzi:
Foreword.
Sci. Comput. Program. 64(1): 1-2 (2007) |
| 2006 |
|---|
| 67 | | Mila Dalla Preda,
Matias Madou,
Koen De Bosschere,
Roberto Giacobazzi:
Opaque Predicates Detection by Abstract Interpretation.
AMAST 2006: 81-95 |
| 66 | | Roberto Giacobazzi,
Francesco Ranzato:
Incompleteness of states w.r.t. traces in model checking.
Inf. Comput. 204(3): 376-407 (2006) |
| 2005 |
|---|
| 65 | | Roberto Giacobazzi,
Isabella Mastroeni:
Adjoining Declassification and Attack Models by Abstract Interpretation.
ESOP 2005: 295-310 |
| 64 | | Roberto Giacobazzi,
Isabella Mastroeni:
Timed Abstract Non-interference.
FORMATS 2005: 289-303 |
| 63 | | Mila Dalla Preda,
Roberto Giacobazzi:
Semantic-Based Code Obfuscation by Abstract Interpretation.
ICALP 2005: 1325-1336 |
| 62 | | Roberto Giacobazzi,
Isabella Mastroeni:
Generalized Abstract Non-interference: Abstract Secure Information-Flow Analysis for Automata.
MMM-ACNS 2005: 221-234 |
| 61 | | Mila Dalla Preda,
Roberto Giacobazzi:
Control Code Obfuscation by Abstract Interpretation.
SEFM 2005: 301-310 |
| 60 | | Roberto Giacobazzi,
Francesco Ranzato,
Francesca Scozzari:
Making abstract domains condensing.
ACM Trans. Comput. Log. 6(1): 33-60 (2005) |
| 59 | | Roberto Giacobazzi,
Isabella Mastroeni:
Transforming semantics by abstract interpretation.
Theor. Comput. Sci. 337(1-3): 1-50 (2005) |
| 2004 |
|---|
| 58 |  | Roberto Giacobazzi:
Static Analysis, 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings
Springer 2004 |
| 57 | | Roberto Giacobazzi,
Isabella Mastroeni:
Proving Abstract Non-interference.
CSL 2004: 280-294 |
| 56 | | Roberto Giacobazzi,
Isabella Mastroeni:
Abstract non-interference: parameterizing non-interference by abstract interpretation.
POPL 2004: 186-197 |
| 55 | | Roberto Giacobazzi,
Francesco Ranzato:
Incompleteness of States w.r.t. Traces in Model Checking
CoRR cs.LO/0404048: (2004) |
| 2003 |
|---|
| 54 | | Roberto Giacobazzi,
Isabella Mastroeni:
Domain Compression for Complete Abstractions.
VMCAI 2003: 146-160 |
| 53 | | Roberto Giacobazzi,
Isabella Mastroeni:
Non-Standard Semantics for Program Slicing.
Higher-Order and Symbolic Computation 16(4): 297-339 (2003) |
| 2002 |
|---|
| 52 | | Roberto Giacobazzi,
Isabella Mastroeni:
Compositionality in the puzzle of semantics.
PEPM 2002: 87-97 |
| 51 | | Roberto Giacobazzi,
Francesco Ranzato:
States vs. Traces in Model Checking by Abstract Interpretation.
SAS 2002: 461-476 |
| 50 | | Roberto Giacobazzi,
Francesco Ranzato,
Francesca Scozzari:
Making Abstract Domains Condensing
CoRR cs.PL/0204016: (2002) |
| 2001 |
|---|
| 49 | | Roberto Giacobazzi,
Elisa Quintarelli:
Incompleteness, Counterexamples, and Refinements in Abstract Model-Checking.
SAS 2001: 356-373 |
| 48 | | Agostino Dovier,
Roberto Giacobazzi,
Elisa Quintarelli:
Refining and Compressing Abstract Model Checking.
Electr. Notes Theor. Comput. Sci. 48: (2001) |
| 2000 |
|---|
| 47 | | Roberto Giacobazzi,
Isabella Mastroeni:
A characterization of symmetric semantics by domain complementation.
PPDP 2000: 115-126 |
| 46 | | Roberto Giacobazzi,
Francesco Ranzato,
Francesca Scozzari:
Making abstract interpretations complete.
J. ACM 47(2): 361-416 (2000) |
| 1999 |
|---|
| 45 | | Roberto Giacobazzi,
Francesco Ranzato:
The Reduced Relative Power Operation on Abstract Domains.
Theor. Comput. Sci. 216(1-2): 159-211 (1999) |
| 1998 |
|---|
| 44 | | Roberto Giacobazzi,
Francesco Ranzato,
Francesca Scozzari:
Building Complete Abstract Interpretations in a Linear Logic-based Setting.
APPIA-GULP-PRODE 1998: 241-254 |
| 43 | | Roberto Giacobazzi,
Francesco Ranzato,
Francesca Scozzari:
Complete Abstract Interpretations Made Constructive.
MFCS 1998: 366-377 |
| 42 | | Roberto Giacobazzi,
Francesco Ranzato,
Francesca Scozzari:
Building Complete Abstract Interpretations in a Linear Logic-based Setting.
SAS 1998: 215-229 |
| 41 | | Roberto Giacobazzi:
A Tutorial on Domain Theory in Abstract Interpretation.
SAS 1998: 349-350 |
| 40 | | Roberto Giacobazzi,
Francesca Scozzari:
A Logical Model for Relational Abstract Domains.
ACM Trans. Program. Lang. Syst. 20(5): 1067-1109 (1998) |
| 39 | | Roberto Giacobazzi,
Francesco Ranzato:
Uniform Closures: Order-Theoretically Reconstructing Logic Program Semantics and Abstract Domain Refinements.
Inf. Comput. 145(2): 153-190 (1998) |
| 38 | | Roberto Giacobazzi:
Abductive Analysis of Modular Logic Programs.
J. Log. Comput. 8(4): 457-483 (1998) |
| 37 | | Roberto Giacobazzi,
Francesco Ranzato:
Optimal Domains for Disjunctive Abstract Intepretation.
Sci. Comput. Program. 32(1-3): 177-210 (1998) |
| 1997 |
|---|
| 36 | | Roberto Giacobazzi,
Francesco Ranzato:
Completeness in Abstract Interpretation: A Domain Perspective.
AMAST 1997: 231-245 |
| 35 | | Roberto Giacobazzi:
Systematic design of abstract interpretations.
APPIA-GULP-PRODE 1997: 1-4 |
| 34 | | Roberto Giacobazzi,
Francesca Scozzari:
Intuitionistic Implication in Abstract Interpretation.
APPIA-GULP-PRODE 1997: 33-44 |
| 33 | | Roberto Giacobazzi,
Francesco Ranzato:
Refining and Compressing Abstract Domains.
ICALP 1997: 771-781 |
| 32 | | Roberto Giacobazzi,
Francesca Scozzari:
Intuitionistic Implication in Abstract Interpretation.
PLILP 1997: 175-189 |
| 31 | | Agostino Cortesi,
Gilberto Filé,
Roberto Giacobazzi,
Catuscia Palamidessi,
Francesco Ranzato:
Complementation in Abstract Interpretation.
ACM Trans. Program. Lang. Syst. 19(1): 7-47 (1997) |
| 30 | | Enea Zaffanella,
Roberto Giacobazzi,
Giorgio Levi:
Abstracting Synchronization in Concurrent Constraint Programming.
Journal of Functional and Logic Programming 1997(6): (1997) |
| 1996 |
|---|
| 29 | | Roberto Giacobazzi,
Francesco Ranzato:
Complementing Logic Program Semantics.
ALP 1996: 238-253 |
| 28 | | Roberto Giacobazzi,
Francesco Ranzato:
Optimization of Disjunctive Abstract Interpretations.
APPIA-GULP-PRODE 1996: 53-66 |
| 27 | | Roberto Giacobazzi,
Francesco Ranzato:
Compositional Optimization of Disjunctive Abstract Interpretations.
ESOP 1996: 141-155 |
| 26 | | Roberto Giacobazzi:
"Optimal" Collecting Semantics for Analysis in a Hierarchy of Logic Program Semantics.
STACS 1996: 503-514 |
| 25 | | Gilberto Filé,
Roberto Giacobazzi,
Francesco Ranzato:
A Unifying View of Abstract Domain Design.
ACM Comput. Surv. 28(2): 333-336 (1996) |
| 1995 |
|---|
| 24 | | Roberto Giacobazzi:
Optimal Collecting Semantics for Analysis in a Hierarchy of Logic Program Semantics.
GULP-PRODE 1995: 619-630 |
| 23 | | Roberto Giacobazzi,
Francesco Ranzato:
Functional Dependencies and Moore-Set Completions of Abstract Interpretations and Semantics.
ILPS 1995: 321-335 |
| 22 | | Agostino Cortesi,
Gilberto Filé,
Roberto Giacobazzi,
Catuscia Palamidessi,
Francesco Ranzato:
Complementation in Abstract Interpretation
SAS 1995: 100-117 |
| 21 | | Roberto Barbuti,
Michael Codish,
Roberto Giacobazzi,
Michael J. Maher:
Oracle Semantics for Prolog.
Inf. Comput. 122(2): 178-200 (1995) |
| 20 | | Roberto Giacobazzi,
Saumya K. Debray,
Giorgio Levi:
Generalized Semantics and Abstract Interpretation for Constraint Logic Programs.
J. Log. Program. 25(3): 191-247 (1995) |
| 1994 |
|---|
| 19 | | Roberto Giacobazzi:
Characterizing Abstract Program Properties by Abduction.
GULP-PRODE (1) 1994: 77-91 |
| 18 | | Enea Zaffanella,
Roberto Giacobazzi,
Giorgio Levi:
Abstracting Synchronization in Concurrent Constraint Programming.
PLILP 1994: 57-72 |
| 17 | | Byeong-Mo Chang,
Kwang-Moo Choe,
Roberto Giacobazzi:
Abstract filters: improving bottom-up execution of logic programs by two-phase abstract interpretation.
SAC 1994: 388-393 |
| 16 | | Maurizio Gabbrielli,
Roberto Giacobazzi:
Goal independency and call patterns in the analysis of logic programs.
SAC 1994: 394-399 |
| 15 | | Roberto Giacobazzi:
Abductive Analysis of Modular Logic Programs.
SLP 1994: 377-391 |
| 1993 |
|---|
| 14 | | Roberto Giacobazzi,
Giorgio Levi,
Saumya K. Debray:
Joining Abstract and Concrete Computations in Constraint Logic Programming.
AMAST 1993: 109-126 |
| 13 | | Roberto Barbuti,
E. Bellugi,
Mauro Gaspari,
Roberto Giacobazzi:
La Terminazione di Prolog Modellata in un Linguaggio Logico con Vincoli.
GULP 1993: 341-358 |
| 12 | | Maurizio Gabbrielli,
Roberto Giacobazzi,
Danilo Montesi:
Modular Logic Programs on Finite Domains.
GULP 1993: 663-678 |
| 11 | | Michael Codish,
Saumya K. Debray,
Roberto Giacobazzi:
Compositional Analysis of Modular Logic Programs.
POPL 1993: 451-464 |
| 10 | | Roberto Barbuti,
Roberto Giacobazzi,
Giorgio Levi:
A General Framework for Semantics-Based Bottom-Up Abstract Interpretation of Logic Programs.
ACM Trans. Program. Lang. Syst. 15(1): 133-181 (1993) |
| 9 | | Roberto Barbuti,
Michael Codish,
Roberto Giacobazzi,
Giorgio Levi:
Modelling Prolog Control.
J. Log. Comput. 3(6): 579-603 (1993) |
| 1992 |
|---|
| 8 | | Roberto Barbuti,
Michael Codish,
Roberto Giacobazzi,
Michael J. Maher:
Oracle Semantics for Prolog.
ALP 1992: 100-114 |
| 7 | | Roberto Giacobazzi,
Laura Ricci:
Detecting Determinate Computations by Bottom-up Abstract Interpretation.
ESOP 1992: 167-181 |
| 6 | | Roberto Giacobazzi,
Saumya K. Debray,
Giorgio Levi:
A Generalized Semantics for Constraint Logic Programs.
FGCS 1992: 581-591 |
| 5 | | Roberto Barbuti,
Michael Codish,
Roberto Giacobazzi,
Giorgio Levi:
Modeling Prolog Control.
POPL 1992: 95-104 |
| 4 | | Roberto Bagnara,
Roberto Giacobazzi,
Giorgio Levi:
Static Analysis of CLP Programs over Numeric Domains.
WSA 1992: 43-50 |
| 3 | | Roberto Barbuti,
Roberto Giacobazzi:
A Bottom-Up Polymorphic Type Inference in Logic Programming.
Sci. Comput. Program. 19(3): 281-313 (1992) |
| 1991 |
|---|
| 2 | | Roberto Barbuti,
Michael Codish,
Roberto Giacobazzi,
Giorgio Levi:
Modelling Prolog Control.
JTASPEFT/WSA 1991: 117-124 |
| 1990 |
|---|
| 1 | | Roberto Giacobazzi,
Laura Ricci:
Pipeline Optimizations in AND-Parallel Logic Programs.
ICLP 1990: 291-305 |
