dblp.uni-trier.dewww.uni-trier.de

Roberto Giacobazzi Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

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

Coauthor Index

1Roberto Bagnara [4]
2Anindya Banerjee [70]
3Francesco Banterle [71]
4Roberto Barbuti [2] [3] [5] [8] [9] [10] [13] [21]
5E. Bellugi [13]
6Koen De Bosschere (Koenraad De Bosschere) [67]
7Byeong-Mo Chang [17]
8Kwang-Moo Choe [17]
9David Clark [69]
10Michael Codish [2] [5] [8] [9] [11] [21]
11Agostino Cortesi [22] [31]
12Sebastian Danicic [69]
13Saumya K. Debray [6] [11] [14] [20]
14Agostino Dovier [48]
15Gilberto Filé [22] [25] [31]
16Maurizio Gabbrielli [12] [16]
17Mauro Gaspari [13]
18Giorgio Levi [2] [4] [5] [6] [9] [10] [14] [18] [20] [30]
19Matias Madou [67]
20Michael J. Maher [8] [21]
21Isabella Mastroeni [47] [52] [53] [54] [56] [57] [59] [62] [64] [65] [70] [75]
22Danilo Montesi [12]
23Catuscia Palamidessi [22] [31]
24Mila Dalla Preda [61] [63] [67] [74]
25Elisa Quintarelli [48] [49]
26Francesco Ranzato [22] [23] [25] [27] [28] [29] [31] [33] [36] [37] [39] [42] [43] [44] [45] [46] [50] [51] [55] [60] [66] [76]
27Laura Ricci [1] [7]
28Francesca Scozzari [32] [34] [40] [42] [43] [44] [46] [50] [60]
29Enrico Visentini [74]
30Enea Zaffanella [18] [30]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)