Watermarking techniques for relational databases: Survey, classification and comparison R Halder, S Pal, A Cortesi Journal of universal computer science 16 (21), 3164-3190, 2010 | 168 | 2010 |
Type analysis of Prolog using type graphs P Van Hentenryck, A Cortesi, B Le Charlier Proceedings of the ACM SIGPLAN 1994 conference on Programming language …, 1994 | 153 | 1994 |
Prop revisited: Propositional formula as abstract domain for groundness analysis A Cortesi, G Filé, W Winsborough Proceedings 1991 Sixth Annual IEEE Symposium on Logic in Computer Science …, 1991 | 129 | 1991 |
Combinations of abstract domains for logic programming A Cortesi, B Le Charlier, P Van Hentenryck Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of …, 1994 | 95 | 1994 |
A Distortion Free Watermark Framework for Relational Databases. S Bhattacharya, A Cortesi ICSOFT (2), 229-234, 2009 | 89 | 2009 |
Static analysis for discovering IoT vulnerabilities P Ferrara, AK Mandal, A Cortesi, F Spoto International Journal on Software Tools for Technology Transfer 23, 71-88, 2021 | 80 | 2021 |
Optimal groundness analysis using propositional logic A Cortesi, W Winsborough The Journal of Logic Programming 27 (2), 137-167, 1996 | 80 | 1996 |
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 | 75 | 1997 |
Static analysis of string values G Costantini, P Ferrara, A Cortesi Formal Methods and Software Engineering: 13th International Conference on …, 2011 | 69 | 2011 |
Widening and narrowing operators for abstract interpretation A Cortesi, M Zanioli Computer Languages, Systems & Structures 37 (1), 24-42, 2011 | 67 | 2011 |
Evaluation of the domain Prop P Van Hentenryck, A Cortesi, B Le Charlier The Journal of Logic Programming 23 (3), 237-278, 1995 | 60 | 1995 |
Abstract interpretation of logic programs: an abstract domain for groundness, sharing, freeness and compoundness analysis A Cortesi, G Filé ACM SIGPLAN Notices 26 (9), 52-61, 1991 | 59 | 1991 |
Penetration testing ROS B Dieber, R White, S Taurer, B Breiling, G Caiazza, H Christensen, ... Robot Operating System (ROS) The Complete Reference (Volume 4), 183-225, 2020 | 56 | 2020 |
A suite of abstract domains for static analysis of string values G Costantini, P Ferrara, A Cortesi Software: Practice and Experience 45 (2), 245-287, 2015 | 56 | 2015 |
Widening operators for abstract interpretation A Cortesi 2008 Sixth IEEE International Conference on Software Engineering and Formal …, 2008 | 52 | 2008 |
Combinations of abstract domains for logic programming: Open product and generic pattern construction A Cortesi, B Le Charlier, P Van Hentenryck Science of Computer Programming 38 (1-3), 27-71, 2000 | 52 | 2000 |
The quotient of an abstract interpretation A Cortesi, G Filé, W Winsborough Theoretical Computer Science 202 (1-2), 163-192, 1998 | 51 | 1998 |
A survey on product operators in abstract interpretation A Cortesi, G Costantini, P Ferrara arXiv preprint arXiv:1309.5146, 2013 | 50 | 2013 |
Comparison of abstract interpretations A Cortesi, G Filé, W Winsborough Automata, Languages and Programming: 19th International Colloquium Wien …, 1992 | 48 | 1992 |
A generic distortion free watermarking technique for relational databases S Bhattacharya, A Cortesi Information Systems Security: 5th International Conference, ICISS 2009 …, 2009 | 46 | 2009 |