Theo dõi
Roberto Giacobazzi
Roberto Giacobazzi
Professor of Computer Science, University of Arizona
Email được xác minh tại cs.arizona.edu - Trang chủ
Tiêu đề
Trích dẫn bởi
Trích dẫn bởi
Năm
Making abstract interpretations complete
R Giacobazzi, F Ranzato, F Scozzari
Journal of the ACM (JACM) 47 (2), 361-416, 2000
3142000
Abstract non-interference: Parameterizing non-interference by abstract interpretation
R Giacobazzi, I Mastroeni
ACM SIGPLAN Notices 39 (1), 186-197, 2004
2552004
A general framework for semantics-based bottom-up abstract interpretation of logic programs
R Barbuti, R Giacobazzi, G Levi
ACM Transactions on Programming Languages and Systems (TOPLAS) 15 (1), 133-181, 1993
1661993
Incompleteness, counterexamples, and refinements in abstract model-checking
R Giacobazzi, E Quintarelli
International Static Analysis Symposium, 356-373, 2001
1582001
Generalized semantics and abstract interpretation for constraint logic programs
R Giacobazzi, SK Debray, G Levi
The Journal of Logic Programming 25 (3), 191-247, 1995
1531995
Fast location of similar code fragments using semantic'juice'
A Lakhotia, MD Preda, R Giacobazzi
Proceedings of the 2nd ACM SIGPLAN Program Protection and Reverse …, 2013
1192013
Opaque predicates detection by abstract interpretation
M Dalla Preda, M Madou, K De Bosschere, R Giacobazzi
Algebraic Methodology and Software Technology: 11th International Conference …, 2006
1072006
Compositional analysis of modular logic programs
M Codish, SK Debray, R Giacobazzi
Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of …, 1993
1031993
A unifying view of abstract domain design
G Filé, R Giacobazzi, F Ranzato
ACM Computing Surveys (CSUR) 28 (2), 333-336, 1996
1011996
Semantic-based code obfuscation by abstract interpretation
M Dalla Preda, R Giacobazzi
International Colloquium on Automata, Languages, and Programming, 1325-1336, 2005
932005
Complementation in abstract interpretation
A Cortesi, G Filé, F Ranzato, R Giacobazzi, C Palamidessi
ACM Transactions on Programming Languages and Systems (TOPLAS) 19 (1), 7-47, 1997
931997
Refining and compressing abstract domains
R Giacobazzi, F Ranzato
International Colloquium on Automata, Languages, and Programming, 771-781, 1997
911997
Optimal domains for disjunctive abstract interpretation
R Giacobazzi, F Ranzato
Science of Computer Programming 32 (1-3), 177-210, 1998
891998
Semantics-based code obfuscation by abstract interpretation
M Dalla Preda, R Giacobazzi
Journal of Computer Security 17 (6), 855-908, 2009
722009
A logical model for relational abstract domains
R Giacobazzi, F Scozzari
ACM Transactions on Programming Languages and Systems (TOPLAS) 20 (5), 1067-1109, 1998
711998
Toward digital asset protection
C Collberg, J Davidson, R Giacobazzi, YX Gu, A Herzberg, FY Wang
IEEE Intelligent Systems 26 (6), 8-13, 2011
662011
Goal independency and call patterns in the analysis of logic programs
M Gabbrielli, R Giacobazzi, G Levi
Symposium on Applied Computing: Proceedings of the 1994 ACM symposium on …, 1994
641994
Completeness in abstract interpretation: A domain perspective
R Giacobazzi, F Ranzato
International Conference on Algebraic Methodology and Software Technology …, 1997
631997
Control code obfuscation by abstract interpretation
M Dalla Preda, R Giacobazzi
Third IEEE International Conference on Software Engineering and Formal …, 2005
622005
Analyzing program analyses
R Giacobazzi, F Logozzo, F Ranzato
ACM SIGPLAN Notices 50 (1), 261-273, 2015
602015
Hệ thống không thể thực hiện thao tác ngay bây giờ. Hãy thử lại sau.
Bài viết 1–20