Agostino Cortesi
Titre
Citée par
Citée par
Année
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
1291991
Watermarking Techniques for Relational Databases: Survey, Classification and Comparison.
R Halder, S Pal, A Cortesi
J. UCS 16 (21), 3164-3190, 2010
1232010
Type analysis of Prolog using type graphs
P Van Hentenryck, A Cortesi, B Le Charlier
The Journal of logic programming 22 (3), 179-209, 1995
1231995
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
891994
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
711997
Optimal groundness analysis using propositional logic
A Cortesi, W Winsborough
The Journal of Logic Programming 27 (2), 137-167, 1996
711996
A Distortion Free Watermark Framework for Relational Databases.
S Bhattacharya, A Cortesi
ICSOFT (2), 229-234, 2009
622009
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
591991
Evaluation of the domain Prop
P Van Hentenryck, A Cortesi, B Le Charlier
The Journal of logic programming 23 (3), 237-278, 1995
581995
Static analysis of string values
G Costantini, P Ferrara, A Cortesi
International Conference on Formal Engineering Methods, 505-521, 2011
512011
Widening and narrowing operators for abstract interpretation
A Cortesi, M Zanioli
Computer Languages, Systems & Structures 37 (1), 24-42, 2011
502011
The quotient of an abstract interpretation
A Cortesi, G Filé, W Winsborough
Theoretical Computer Science 202 (1-2), 163-192, 1998
471998
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
452000
Security boundaries in mobile ambients
C Braghin, A Cortesi, R Focardi
Computer Languages, Systems & Structures 28 (1), 101-127, 2002
432002
Comparison of abstract interpretations
A Cortesi, G Filé, W Winsborough
International Colloquium on Automata, Languages, and Programming, 521-532, 1992
431992
Widening operators for abstract interpretation
A Cortesi
2008 Sixth IEEE International Conference on Software Engineering and Formal …, 2008
422008
Causality-based abstraction of multiplicity in security protocols
M Backes, A Cortesi, M Maffei
20th IEEE Computer Security Foundations Symposium (CSF'07), 355-369, 2007
412007
A calculus of challenges and responses
M Backes, A Cortesi, R Focardi, M Maffei
Proceedings of the 2007 ACM workshop on Formal methods in security …, 2007
382007
Distinctness and sharing domains for static analysis of Java programs
I Pollet, B Le Charlier, A Cortesi
European Conference on Object-Oriented Programming, 77-98, 2001
352001
Sails: static analysis of information leakage with sample
M Zanioli, P Ferrara, A Cortesi
Proceedings of the 27th Annual ACM Symposium on Applied Computing, 1308-1313, 2012
342012
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20