2008 | ||
---|---|---|
75 | EE | Roberto Giacobazzi, Isabella Mastroeni: Transforming Abstract Interpretations by Abstract Interpretation. SAS 2008: 1-17 |
74 | EE | Mila Dalla Preda, Roberto Giacobazzi, Enrico Visentini: Hiding Software Watermarks in Loop Structures. SAS 2008: 174-188 |
73 | EE | Roberto Giacobazzi: Abstract Interpretation in Code Security. SEFM 2008: 3 |
72 | EE | Roberto Giacobazzi: Hiding Information in Completeness Holes: New Perspectives in Code Obfuscation and Watermarking. SEFM 2008: 7-18 |
2007 | ||
71 | EE | Francesco Banterle, Roberto Giacobazzi: A Fast Implementation of the Octagon Abstract Domain on Graphics Hardware. SAS 2007: 315-332 |
70 | EE | 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 | EE | David Clark, Sebastian Danicic, Roberto Giacobazzi: Special issue on Programming Language Interference and Dependence. J. Log. Algebr. Program. 72(2): 123 (2007) |
68 | EE | Roberto Giacobazzi: Foreword. Sci. Comput. Program. 64(1): 1-2 (2007) |
2006 | ||
67 | EE | Mila Dalla Preda, Matias Madou, Koen De Bosschere, Roberto Giacobazzi: Opaque Predicates Detection by Abstract Interpretation. AMAST 2006: 81-95 |
66 | EE | Roberto Giacobazzi, Francesco Ranzato: Incompleteness of states w.r.t. traces in model checking. Inf. Comput. 204(3): 376-407 (2006) |
2005 | ||
65 | EE | Roberto Giacobazzi, Isabella Mastroeni: Adjoining Declassification and Attack Models by Abstract Interpretation. ESOP 2005: 295-310 |
64 | EE | Roberto Giacobazzi, Isabella Mastroeni: Timed Abstract Non-interference. FORMATS 2005: 289-303 |
63 | EE | Mila Dalla Preda, Roberto Giacobazzi: Semantic-Based Code Obfuscation by Abstract Interpretation. ICALP 2005: 1325-1336 |
62 | EE | Roberto Giacobazzi, Isabella Mastroeni: Generalized Abstract Non-interference: Abstract Secure Information-Flow Analysis for Automata. MMM-ACNS 2005: 221-234 |
61 | EE | Mila Dalla Preda, Roberto Giacobazzi: Control Code Obfuscation by Abstract Interpretation. SEFM 2005: 301-310 |
60 | EE | Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari: Making abstract domains condensing. ACM Trans. Comput. Log. 6(1): 33-60 (2005) |
59 | EE | 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 | EE | Roberto Giacobazzi, Isabella Mastroeni: Proving Abstract Non-interference. CSL 2004: 280-294 |
56 | EE | Roberto Giacobazzi, Isabella Mastroeni: Abstract non-interference: parameterizing non-interference by abstract interpretation. POPL 2004: 186-197 |
55 | EE | Roberto Giacobazzi, Francesco Ranzato: Incompleteness of States w.r.t. Traces in Model Checking CoRR cs.LO/0404048: (2004) |
2003 | ||
54 | EE | Roberto Giacobazzi, Isabella Mastroeni: Domain Compression for Complete Abstractions. VMCAI 2003: 146-160 |
53 | EE | Roberto Giacobazzi, Isabella Mastroeni: Non-Standard Semantics for Program Slicing. Higher-Order and Symbolic Computation 16(4): 297-339 (2003) |
2002 | ||
52 | EE | Roberto Giacobazzi, Isabella Mastroeni: Compositionality in the puzzle of semantics. PEPM 2002: 87-97 |
51 | EE | Roberto Giacobazzi, Francesco Ranzato: States vs. Traces in Model Checking by Abstract Interpretation. SAS 2002: 461-476 |
50 | EE | Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari: Making Abstract Domains Condensing CoRR cs.PL/0204016: (2002) |
2001 | ||
49 | EE | Roberto Giacobazzi, Elisa Quintarelli: Incompleteness, Counterexamples, and Refinements in Abstract Model-Checking. SAS 2001: 356-373 |
48 | EE | Agostino Dovier, Roberto Giacobazzi, Elisa Quintarelli: Refining and Compressing Abstract Model Checking. Electr. Notes Theor. Comput. Sci. 48: (2001) |
2000 | ||
47 | EE | Roberto Giacobazzi, Isabella Mastroeni: A characterization of symmetric semantics by domain complementation. PPDP 2000: 115-126 |
46 | EE | Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari: Making abstract interpretations complete. J. ACM 47(2): 361-416 (2000) |
1999 | ||
45 | EE | 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 | EE | Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari: Complete Abstract Interpretations Made Constructive. MFCS 1998: 366-377 |
42 | EE | Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari: Building Complete Abstract Interpretations in a Linear Logic-based Setting. SAS 1998: 215-229 |
41 | EE | Roberto Giacobazzi: A Tutorial on Domain Theory in Abstract Interpretation. SAS 1998: 349-350 |
40 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 |