Παρακολούθηση
Agostino Cortesi
Agostino Cortesi
professor of Computer Science, Ca' Foscari University
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα unive.it - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
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
1752010
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
1531994
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
1301991
A Distortion Free Watermark Framework for Relational Databases.
S Bhattacharya, A Cortesi
ICSOFT (2), 229-234, 2009
952009
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
951994
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
912021
Optimal groundness analysis using propositional logic
A Cortesi, W Winsborough
The Journal of Logic Programming 27 (2), 137-167, 1996
811996
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
751997
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
712020
Widening and narrowing operators for abstract interpretation
A Cortesi, M Zanioli
Computer Languages, Systems & Structures 37 (1), 24-42, 2011
702011
Static analysis of string values
G Costantini, P Ferrara, A Cortesi
Formal Methods and Software Engineering: 13th International Conference on …, 2011
692011
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
622015
Evaluation of the domain Prop
P Van Hentenryck, A Cortesi, B Le Charlier
The Journal of Logic Programming 23 (3), 237-278, 1995
601995
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
581991
A survey on product operators in abstract interpretation
A Cortesi, G Costantini, P Ferrara
arXiv preprint arXiv:1309.5146, 2013
542013
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
542000
Widening operators for abstract interpretation
A Cortesi
2008 Sixth IEEE International Conference on Software Engineering and Formal …, 2008
522008
The quotient of an abstract interpretation
A Cortesi, G Filé, W Winsborough
Theoretical Computer Science 202 (1-2), 163-192, 1998
511998
Comparison of abstract interpretations
A Cortesi, G Filé, W Winsborough
Automata, Languages and Programming: 19th International Colloquium Wien …, 1992
481992
A generic distortion free watermarking technique for relational databases
S Bhattacharya, A Cortesi
Information Systems Security: 5th International Conference, ICISS 2009 …, 2009
462009
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20