Roberto Giacobazzi

	2012
90		Mila Dalla Preda, Wu Feng, Roberto Giacobazzi, Richard Greechie, Arun Lakhotia: Twisting Additivity in Program Obfuscation. ICISTM 2012: 336-347
89		Roberto Giacobazzi: Software Security by Obscurity - A Programming Language Perspective. ICISTM 2012: 427-432
88		Roberto Giacobazzi, Neil D. Jones, Isabella Mastroeni: Obfuscation by partial evaluation of distorted interpreters. PEPM 2012: 63-72
	2011
87		Christian S. Collberg, Jack Davidson, Roberto Giacobazzi, Yuan Xiang Gu, Amir Herzberg, Fei-Yue Wang: Toward Digital Asset Protection. IEEE Intelligent Systems 26(6): 8-13 (2011)
86		Isabella Mastroeni, Roberto Giacobazzi: An abstract interpretation-based model for safety semantics. Int. J. Comput. Math. 88(4): 665-694 (2011)
85		David Clark, Roberto Giacobazzi, Chunyan Mu: Foreword: programming language interference and dependence. Mathematical Structures in Computer Science 21(6): 1109-1110 (2011)
	2010
84		Giorgio Delzanno, Roberto Giacobazzi, Francesco Ranzato: Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming. 25 Years GULP 2010: 136-158
83		Roberto Giacobazzi, Francesco Ranzato: Example-Guided Abstraction Simplification. ICALP (2) 2010: 211-222
82		Mila Dalla Preda, Roberto Giacobazzi, Saumya K. Debray, Kevin Coogan, Gregg M. Townsend: Modelling Metamorphism by Abstract Interpretation. SAS 2010: 218-235
81		Roberto Giacobazzi: Abstract Interpretation-Based Protection. VMCAI 2010: 23-24
80		Roberto Giacobazzi, Isabella Mastroeni: A Proof System for Abstract Non-interference. J. Log. Comput. 20(2): 449-479 (2010)
79		Roberto Giacobazzi, Isabella Mastroeni: Adjoining classified and unclassified information by abstract interpretation. Journal of Computer Security 18(5): 751-797 (2010)
	2009
78		Roberto Giacobazzi, Francesco Ranzato: Abstraction-Guided Abstraction Simplification CoRR abs/0910.4748: (2009)
77		Mila Dalla Preda, Roberto Giacobazzi: Semantics-based code obfuscation by abstract interpretation. Journal of Computer Security 17(6): 855-908 (2009)
76		Patrick Cousot, Radhia Cousot, Roberto Giacobazzi: Abstract interpretation of resolution-based semantics. Theor. Comput. Sci. 410(46): 4724-4746 (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: 90-107 (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

Coauthor Index

1	Roberto Bagnara	[4]
2	Anindya Banerjee	[70]
3	Francesco Banterle	[71]
4	Roberto Barbuti	[2] [3] [5] [8] [9] [10] [13] [21]
5	E. Bellugi	[13]
6	Koen De Bosschere (Koenraad De Bosschere)	[67]
7	Byeong-Mo Chang	[17]
8	Kwang-Moo Choe	[17]
9	David Clark	[69] [85]
10	Michael Codish	[2] [5] [8] [9] [11] [21]
11	Christian S. Collberg	[87]
12	Kevin Coogan	[82]
13	Agostino Cortesi	[22] [31]
14	Patrick Cousot	[76]
15	Radhia Cousot	[76]
16	Sebastian Danicic	[69]
17	Jack Davidson	[87]
18	Saumya K. Debray	[6] [11] [14] [20] [82]
19	Giorgio Delzanno	[84]
20	Agostino Dovier	[48]
21	Wu Feng	[90]
22	Gilberto Filé	[22] [25] [31]
23	Maurizio Gabbrielli	[12] [16]
24	Mauro Gaspari	[13]
25	Richard Greechie	[90]
26	Yuan Xiang Gu	[87]
27	Amir Herzberg	[87]
28	Neil D. Jones	[88]
29	Arun Lakhotia	[90]
30	Giorgio Levi	[2] [4] [5] [6] [9] [10] [14] [18] [20] [30]
31	Matias Madou	[67]
32	Michael J. Maher	[8] [21]
33	Isabella Mastroeni	[47] [52] [53] [54] [56] [57] [59] [62] [64] [65] [70] [75] [79] [80] [86] [88]
34	Danilo Montesi	[12]
35	Chunyan Mu	[85]
36	Catuscia Palamidessi	[22] [31]
37	Mila Dalla Preda	[61] [63] [67] [74] [77] [82] [90]
38	Elisa Quintarelli	[48] [49]
39	Francesco Ranzato	[22] [23] [25] [27] [28] [29] [31] [33] [36] [37] [39] [42] [43] [44] [45] [46] [50] [51] [55] [60] [66] [78] [83] [84]
40	Laura Ricci	[1] [7]
41	Francesca Scozzari	[32] [34] [40] [42] [43] [44] [46] [50] [60]
42	Gregg M. Townsend	[82]
43	Enrico Visentini	[74]
44	Fei-Yue Wang	[87]
45	Enea Zaffanella	[18] [30]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page