| Making abstract interpretations complete R Giacobazzi, F Ranzato, F Scozzari Journal of the ACM (JACM) 47 (2), 361-416, 2000 | 267 | 2000 |
| Abstract non-interference: Parameterizing non-interference by abstract interpretation R Giacobazzi, I Mastroeni ACM SIGPLAN Notices 39 (1), 186-197, 2004 | 218 | 2004 |
| 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 | 166 | 1993 |
| Incompleteness, counterexamples, and refinements in abstract model-checking R Giacobazzi, E Quintarelli International Static Analysis Symposium, 356-373, 2001 | 142 | 2001 |
| Compositional analysis of modular logic programs M Codish, SK Debray, R Giacobazzi Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of …, 1993 | 103 | 1993 |
| 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 | 100 | 2013 |
| A unifying view of abstract domain design G Filé, R Giacobazzi, F Ranzato ACM Computing Surveys (CSUR) 28 (2), 333-336, 1996 | 91 | 1996 |
| Opaque predicates detection by abstract interpretation MD Preda, M Madou, KD Bosschere, R Giacobazzi International Conference on Algebraic Methodology and Software Technology, 81-95, 2006 | 89 | 2006 |
| Complementation in abstract interpretation A Cortesi, G File, F Ranzato, R Giacobazzi, C Palamidessi ACM Transactions on Programming Languages and Systems (TOPLAS) 19 (1), 7-47, 1997 | 88 | 1997 |
| Semantic-based code obfuscation by abstract interpretation MD Preda, R Giacobazzi International Colloquium on Automata, Languages, and Programming, 1325-1336, 2005 | 87 | 2005 |
| Optimal domains for disjunctive abstract interpretation R Giacobazzi, F Ranzato Science of Computer Programming 32 (1-3), 177-210, 1998 | 87 | 1998 |
| Refining and compressing abstract domains R Giacobazzi, F Ranzato International Colloquium on Automata, Languages, and Programming, 771-781, 1997 | 84 | 1997 |
| 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 | 84 | 1995 |
| A Generalized Semantics for Constraint Logic Programs. R Giacobazzi, SK Debray, G Levi FGCS 92, 581-591, 1992 | 73 | 1992 |
| Semantics-based code obfuscation by abstract interpretation M Dalla Preda, R Giacobazzi Journal of Computer Security 17 (6), 855-908, 2009 | 67 | 2009 |
| A logical model for relational abstract domains R Giacobazzi, F Scozzari ACM Transactions on Programming Languages and Systems (TOPLAS) 20 (5), 1067-1109, 1998 | 67 | 1998 |
| 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 | 57 | 1994 |
| Non-standard semantics for program slicing R Giacobazzi, I Mastroeni Higher-Order and Symbolic Computation 16 (4), 297-339, 2003 | 56 | 2003 |
| Control code obfuscation by abstract interpretation M Dalla Preda, R Giacobazzi Third IEEE International Conference on Software Engineering and Formal …, 2005 | 55 | 2005 |
| Completeness in abstract interpretation: A domain perspective R Giacobazzi, F Ranzato International Conference on Algebraic Methodology and Software Technology …, 1997 | 55 | 1997 |
Francesco RanzatoProfessor of Computer Science, University of Padova, ItalyVerified email at math.unipd.it
