Computer Science Department Universita` Ca' Foscari, Venezia, Italy Tino Cortesi Full professor Head of the Computer Science Department

Publications

• PhD Thesis

A.Cortesi, Abstract Domains for Static Analysis of Logic Programs. Università di Padova, 1992 (in italian).

Books

1. A. Cortesi, F.Luccio (Eds.), Proc. ACM-IFIP Informatics Education Europe III, Venice, ISBN 978-88-903433-0-8 , 2008.
2. L. Zuck, P.C.Attie, A. Cortesi, S. Mukhopadhyay (Eds.), Verification, Model Checking, and Abstract Interpretation. Lecture Notes in Computer Science 2575 Springer, ISBN 3-540-00348-7, 2003.
3. A.Cortesi (Ed.), Verification, Model Checking, and Abstract Interpretation. Lecture Notes in Computer Science 2294 Springer, ISBN 3-540-43631-6, 2002.
4. A.Cortesi and G. File' (Eds.), Static Analysis. Proc. 6th Int. Symposium SAS'99, LNCS 1694, Springer-Verlag, Berlin, ISBN 3-540-66450-9, 1999.
5. R.Orsini and A.Cortesi, Programmare in Modula-3. Introduzione alla programmazione imperativa e a oggetti. CEDAM ed., ISBN 88-13-21282-8, 1998 (in italian).

Special Issues of International Journals

1. L. Zuck, Paul C. Attie, A.Cortesi, (Guest Editors), International Journal on Software Tools for Technology Transfer, Springer, Special Section on Verification, Model Checking, and Abstract Interpretation (2004).
2. A.Cortesi, and G. File' (Guest Editors), Science of Computer Programming, Elsevier, Special Issue on Static Analysis (2003).
3. A.Cortesi, and R. Focardi (Guest Editors), Computer Languages, Elsevier, Special Issue on Computer Languages and Security (2002).

Journals

1. C.Braghin, A.Cortesi, R.Focardi, Information Flow Security in Boundary Ambients, Information and Computation, Elsevier, Vol. 206(2-4): 460-489 (2008)
2. A.Cortesi, E.Nardelli, Towards an European Certification of Computer Science Curricula, Innovation in Teaching And Learning in Information and Computer Sciences vol. 6(3), pag.79-86, ISSN: 1473-7507, (2007)
3. C.Braghin, A.Cortesi, Flow-Sensitive Leakage Analysis in Mobile Ambients, Electronic Notes on Theoretical Computer Science, Elsevier, 128: 17-25, (2005)
4. C.Braghin, A.Cortesi, R. Focardi, F.L.Luccio, C.Piazza, Nesting Analysis of Mobile Ambients , Computer Languages, Elsevier, 30(3-4):207-230 (2004)
5. C.Braghin, A.Cortesi, R. Focardi, F.L.Luccio, C.Piazza, Behind BANANA: Design and Implementation of a Tool for Nesting Analysis of Mobile Ambients , Electronic Notes on Theoretical Computer Science, Elsevier, 99: 319-337, (2004)
6. C.Braghin, A.Cortesi, R. Focardi, Information Leakage Detection in Boundary Ambients , Electronic Notes on Theoretical Computer Science, Elsevier, 78 (2003)
7. A.Cortesi, A.Dovier, E.Quintarelli, and L.Tanca, Operational and Abstract Semantics of the Query Language G-Log ,Theoretical Computer Science Vol. 275(1-2): 521-560 (2002).
   
8. C.Braghin, A..Cortesi, and R. Focardi, Security Boundaries in Mobile Ambients , Computer Languages, Elsevier, 28(1):101-127 (2002)
9. A.Cortesi, and R.Focardi,Information Flow Security in Mobile Ambients Electronic Notes on Theoretical Computer Science EN TCS vol. 54, Elsevier, (2001).
10. A. Cortesi, S. Rossi, and B. Le Charl ier, Operational Semantics for Reexecution-based Analysis of Logic Programs with Delay Declarations. Electronic Notes on Theoretical Computer Science EN TCS vol. 48, Elsevier (2001)
11. A.Cortesi, and B.Le Charlier, and P.Van Hentenryck, Combinations of Abstract Domains for Logic Programming: Open Product and Generic Pattern Construction, Science of Computer Programming, Vol 38(1--3), pp. 27-71 (2000) .
12. V.Ramachandran, P.Van Hentenryck, and A.Cortesi, Abstract Domains for Reordering CLP(RLin) Programs, The Journal of Logic Programming, Vol 41(3), pp. 217-256 (2000)
13. A.Cortesi, and G. File', Sharing is Optimal, The Journal of Logic Programming Vol 38(3), pp. 371--386 (1999).
14. B. Le Charlier, C. Leclere, S. Rossi, A. Cortesi, Automated Verification of Prolog Programs, The Journal of Logic Programming, Special Issue on Synthesis, Transformation and Analysis of Logic Programs. Vol.39(1-3), pp. 3--42 (1999).
15. A. Cortesi, G. File', and W. Winsborough, The Quotient of an Abstract Interpretation, Theoretical Computer Science, vol. 202(1-2), pp.163--192 (1998).
16. A. Cortesi, G. File', R. Giacobazzi, C. Palamidessi, and F . Ranzato, Complementation in Abstract Interpretation, ACM Transactions on Programming Languages and Systems, vol.19(1), pp. 7-47. (1997).
17. A.Cortesi, G.File' and W.Winsborough, Optimal Groundness Analysis Using Propositional Logic , The Journal of Logic Programming, vol. 27(2), pp.137-167. (1996)
18. P. van Hentenryck, A. Cortesi and B. Le Charlier, Evaluation of the Domain Prop, The Journal of Logic Programming, vol.23(3), pp.237-278. (1995)
19. P. van Hentenryck, A. Cortesi and B. Le Charlier, Type Analysis of Prolog Using Type Graphs, The Journal of Logic Programming, vol.22(3), pp. 179-208. (1995)
20. A. Cortesi and G. File', Graph properties for normal logic programs. Theoretical Computer Science, vol.107, pp.277-303. (1993).
21. A. Bressan and A. Cortesi, Directionally continuous selections in Banach Spaces, Nonlinear Analysis, Theory, Methods and Applications, vol. 13, n.8, pp. 987-992. (1989).
22. A. Bressan and A. Cortesi. Lipschitz extensions of convex-valued maps. Atti Accademia dei Lincei Rend.fis. - S.VIII vol LXXX, pp.530-532. (1986).
    
    

International Conference Proceedings

1. A.Cortesi Widening Operators for Abstract Interpretation Proc. 6th IEEE Int. Conf. on Software Engineering and Formal Methods, pp. 31-40, Cape Town, SA (2008)
2. S.Bhattacharya, A.Cortesi Property-driven program slicing Proc. 20th Nordic Workshop on Programming Theory Tallinn, Estonia (2008)
3. A. Candiello, A. Albarelli and A. Cortesi An Ontology-based Inquiry Framework Proceedings of the 5th Workshop on Semantic Web Applications and Perspectives (SWAP2008), Rome, Italy, December 15-17, CEUR Workshop Proceedings (2008)
4. M.Backes, A.Cortesi, R.Focardi, M.Maffei, A Calculus for Challenges and Response, Proc. 5th ACM Workshop on Formal Methods in Security Engineering, George Mason Univ., USA, nov. 1-2 (2007)
5. M.Backes, A.Cortesi, M.Maffei, Causality-Based Abstraction of Multiplicity in Security Protocols. , Proc. 20th IEEE Computer Security Foundations Symposium, pp. 355-369, Venice, Italy, july 6-8 (2007)
6. E.Boschetto, A.Cortesi, The Ada Web Portal: Promoting Women Access to Informatics, Proc. ACM Informatics Education Europe II. Tessaloniki, Grece, November, 29-30 (2007)
7. F.Logozzo, A.Cortesi Semantic Hierarchy Refactoring by Abstract Interpretation, Proc. VMCAI 2006, Charleston, SC, USA, LNCS 3855, pp. 313-331 (2006)
8. A.Cortesi, E.Nardelli, The Italian Certification of Computer Science University Curricula, Proc. ACM Informatics Education Europe. Montpellier, France, November, 9-10 (2006)
9. A.Cortesi F.Logozzo, Abstract Interpretation Based Verification of Non-Functional Requirements, Proc. COORDINATION 2005, Namur, LNCS 3454, pp 49-62 (2005)
10. C.Braghin, A.Cortesi, S.Filippone, R.Focardi, F.L.Luccio, C.Piazza, BANANA - A tool for Boundary Ambient Nesting ANAlysis, Proc. TACAS 2003, Warsaw, LNCS 2619, pp 437-441 (2003)
11. C.Braghin, A.Cortesi, R.Focardi, F.L.Luccio, C.Piazza, Complexity of Nexting Analysis in Mobile Ambients, Proc. VMCAI 2003, New York, LNCS 2575, pp 86-101 (2003)
12. C.Braghin, A.Cortesi, R.Focardi, Freshness Analysis of Security Protocols, Pro. of 14th Nordic Workshop on Programming Theory, NWPT'02, 2002, pp. 30-33.
13. C.Braghin, A.Cortesi, R.Focardi, and S. van Bakel, Boundary Inference for Enforcing Security Policies in Mobile Ambients, Proc. 2nd IFIP International Conference on Theoretical Computer Science, August 25-30, 2002, Montreal, pp. 383-395, Kluwer, 2002.
14. C.Braghin, A.Cortesi, and R.Focardi,Control Flow Analysis for information flow security in mobile ambients, Proc. IFIP Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems, March 20-22, 2002, Enschede, The Netherlands, pp. 197-212, Kluwer, 2002..
15. G.Callegarin, and A. Cortesi, Towards the Design of an Italian National Curriculum on ICT, IFIP World Conference on Computers in Education WCCE2001, Copenhagen 29 July- 3 August 2001, Kluwer Academic Publishers (2002).
16. C.Braghin, A.Cortesi, and R.Focardi,Control Flow Analysis for information flow security in mobile ambients, Proc. Nordic Workshop on Secure IT-Systems NordSec 2001, Lyngby, Denmark, 2001.
17. I. Pollet, B. Le Charlier, and A. Cortesi, Distinctness and Sharing Domains for Static Analysis of Java Programs, European Conference on Object Oriented Programming ECOOP'01, Budapest, 18-22 June 2001. Springer Verlag LNCS 2072, pp. 77-98, 2001.
18. B. Le Charlier, S.Rossi, and A. Cortesi, A Domain for the Abstract Interpretation of Logic Programs with Dynamic Scheduling, Proc. ACM International Workshop on Verification and Computational Logic VCL'2001, Florence, Italy, September 4, 2001, 2001.
19. A.Cortesi, B. Le Charlier, and S.Rossi, Reexecution-based Analysis of Logic Programs with Delay Declarations, Fourth International Conference on Perspectives of System Informatics, 3 - 6 July 2001, Novosibirsk, Akademgorodok, Russia. Springer Verlag LNCS ??, pp. ??-??, 2001 (to appear).
20. A.Bossi, A.Cortesi, and F.Levi (Eds.), Proceedings of the 2nd International Workshop on Verification, Model Checking, and Abstract Interpretation. Pisa, September 19, 1998, Technical Report Series on Computer Science CS98-12, Ca' Foscari University, 1998.
21. A.Cortesi, A.Dovier, E.Quintarelli, and L.Tanca, Operational and Abstract Semantics of a Query Language for Semi-Structured Information, 6th International Workshop on Deductive Databases and Logic Programming DDLP'98,Manchester, pp. 127--139, UK, June 20, 1998 .
22. B. Le Charlier, C. Leclere, S. Rossi, and A. Cortesi, Automated Verification of Behavioural Properties of Prolog Programs, in R.K. Shyamasundar and K. Ueda (ed.), Proc. Asian Computing Science Conference ASIAN'97, Springer Verlag LNCS 1345, pp. 225 -- 238, Kathmandu, Nepal, December 1997.
23. A. Cortesi, B. Le Charlier, C. Leclere, and S. Rossi On the Design of an Automatic Tool for Prolog Program Verification, in A. German Puebla Sanchez ed., Proc. ILPS Post-Conference Workshop on Tools and Environments for (Constraint) Logic Programming, Port Jefferson, USA, October 1997. (availabe at http://www.clip.dia.fi.upm.es/Tools_Environ/proceedings.html)
24. F.Giubilato, and A.Cortesi, EXOL: a Java System for Adaptive Testing, in G.Cancellieri (ed.), Proc. European Conference on Networking Entities NETIES'97, Ancona, October 1997.
25. A. Cortesi, B. Le Charlier, and S. Rossi Specification-based Automatic Verification of Prolog Programs, in J. Gallagher (ed.), Logic Programming Synthesis and Transformation, Springer Verlag LNCS 1207, pp. 38-57 (1997)
26. A. Cortesi, G. File', R. Giacobazzi, C. Palamidessi, and F. Ranzato, Complementation in Abstract Interpretation, Proc. Static Analysis Symposium SAS'95, Springer Verlag LNCS 983, pp. 100-117 (1995)
27. P. van Hentenryck, A. Cortesi and B. Le Charlier, Type Analysis of Prolog Using Type Graphs, Proc. Annual ACM SIGPLAN Conference on Programming Language Design and Implementation PLDI'94 ACM-SIGPLAN Notices vol.29, n.6, pp.337-384. (1994).
28. A. Cortesi, B. Le Charlier and P. van Hentenryck, Combinations of Abstract Domains for Logic Programming, Proc. 21th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages POPL'94, ACM-Press, New York, pp.227-239. (1994).
29. A. Cortesi , G. File' and S.Rossi, Abstract Interpretation of Prolog programs with cut and built-ins. Workshop on Static Analysis WSA'92, Bordeaux.
30. A. Cortesi, G. File' and W. Winsborough, Comparison of Abstract Interpretations. Proc. 19th Int. Colloquium on Automata, Languages and Programming ICALP'92. Springer Verlag LNCS 623, pp. 523-534 (1992)
31. A. Cortesi and G. File', Abstract interpretation of logic programs: an abstract domain for groundness, sharing, freeness and compoundness analysis. Proc. ACM Symposium on Partial Evaluation and Semantics Based Program Manipulation. ACM SIGPLAN Notices vol.26, n.9, pp. 52-61. (1991).
32. A. Cortesi, G. File' and W. Winsborough, Prop revisited: propositional formulas as abstract domain for groundness analysis. Proc. IEEE Symp. on Logic in Computer Science LICS'91, Amsterdam, pp.322-327. (1991).
    
    

National Conference Proceedings

1. A.Cortesi, A.Dovier, E.Quintarelli, and L.Tanca, Operational and Abstract Semantics of a Query Language for Semi-Structured Information, Proc. Joint Conference on Declarative Programming AGP'98, pp. 175 -- 187 (1998)
2. B. Le Charlier, C. Leclere, S. Rossi, and A. Cortesi, Automated Behavioural Verification of Prolog Programs, Proc. Joint Conference on Declarative Programming AGP'97, ed.Falaschi, pp.189--200 (1997)
3. A. Cortesi and G. File' and W. Winsborough, The Quotient of an Abstract Interpretation for Comparing Static Analyses, Proc. Joint Conference on Declarative Programming GULP-PRODE'94, ed. Alpuente, pp. 372-387 (1994)
4. A. Cortesi and G. File', Comparison and Design of Abstract Domains for Sharing Analysis Atti VIII Conv. Italiano di Programmazione Logica GULP'93, ed. Sacca, pp. 251-265 (1993).
5. A. Cortesi , G. File' and S.Rossi, Abstract Interpretation of Prolog: the treatment of the built-ins. Atti VII Conv. Italiano di Programmazione Logica GULP'92, ed. Costantini, pp.87-103 (1992).
6. A. Cortesi and G. File', The Abstract Domain EXP for groundness, sharing, freeness and compoundness analysis. Atti VI Conv. Italiano di Programmazione Logica GULP'91, ed. Asirelli, pp. 439-454. (1991)
7. A. Cortesi and G. File', Global, local and weak graph properties for normal logic programs. Atti V Conv. Italiano di Programmazione Logica GULP'90, ed. Bossi, pp. 321-330. (1990).