Computer Science Department Universita` Ca' Foscari, Venezia, Italy Tino Cortesi Full professor Software Engineering - Program Analysis

Publications by type (by year)

• 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. A.Cortesi and M.Zanioli, Widening and Narrowing Operators for Abstract Interpretation. Computer Languages, Systems and Structures Elsevier, ISSN: 1477-8424 (2011, to appear)
2. M.Bruso' and A.Cortesi, Non-repudiation analysis using LySa with annotations. Computer Languages, Systems and Structures vol.36(4), pp. 352-377, Elsevier, ISSN: 1477-8424 (2010)
3. A.Cortesi. Progettare e sviluppare sofware affidabili, sicuri, sostenibili. Etica per le Professioni, vol. XII - 1/2010; p. 44-49, ISSN: 1591-7649
4. E.Boschetto and A.Cortesi, Women and Informatics: The Ada Web Portal. Innovation in Teaching And Learning in Information and Computer Sciences vol. 8(2); p. 64-72, ISSN: 1473-7507 (2009)
5. C.Braghin, A.Cortesi, R.Focardi, Information Flow Security in Boundary Ambients, Information and Computation, Elsevier, Vol. 206(2-4): 460-489 (2008)
6. 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)
7. C.Braghin, A.Cortesi, Flow-Sensitive Leakage Analysis in Mobile Ambients, Electronic Notes on Theoretical Computer Science, Elsevier, 128: 17-25, (2005)
8. 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)
9. 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)
10. C.Braghin, A.Cortesi, R. Focardi, Information Leakage Detection in Boundary Ambients , Electronic Notes on Theoretical Computer Science, Elsevier, 78 (2003)
11. 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).
    
12. C.Braghin, A.Cortesi, and R. Focardi, Security Boundaries in Mobile Ambients , Computer Languages, Elsevier, 28(1):101-127 (2002)
13. A.Cortesi, and R.Focardi,Information Flow Security in Mobile Ambients Electronic Notes on Theoretical Computer Science EN TCS vol. 54, Elsevier, (2001).
14. 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)
15. 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) .
16. 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)
17. A.Cortesi, and G. File', Sharing is Optimal, The Journal of Logic Programming Vol 38(3), pp. 371--386 (1999).
18. 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).
19. A. Cortesi, G. File', and W. Winsborough, The Quotient of an Abstract Interpretation, Theoretical Computer Science, vol. 202(1-2), pp.163--192 (1998).
20. 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).
21. 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)
22. 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)
23. 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)
24. A. Cortesi and G. File', Graph properties for normal logic programs. Theoretical Computer Science, vol.107, pp.277-303. (1993).
25. 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).
26. 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. R.Halder and A.Cortesi. A Persistent Public Watermarking of Relational Databases. In Proc. Sixt International Conference on Information Systems Security (ICISS 2010), Gandhinagar Gujarat, India. Lecture Notes in Computer Science, Springer, ISSN: 0302-9743 (2010, to appear)
2. S.Bhattacharya and A.Cortesi. Zero-knowledge Software Watermarking for C Programs. In Proc. International Conference on Advances in Communication, Network, and Computing – CNC 2010, Calicut, India, IEEE digital library, to appear (2010)
3. R.Halder and A.Cortesi. Persistent Watermarking of Relational Databases. In Proc. International Conference on Advances in Communication, Network, and Computing – CNC 2010, Calicut, India, IEEE digital library, to appear (2010)
4. R.Halder and A.Cortesi. Observation-based Fine Grained Access Control for Relational Databases In Proc. 5th International Conference on Software and Data Technologies (ICSOFT2010), Athens, Greece, pp.254--265. INSTICC. ISBN 978-989-8425-22-5 (2010)
5. S.Bhattacharya and A.Cortesi. Database Authentication by Distortion-Free Watermarking. In Proc. 5th International Conference on Software and Data Technologies (ICSOFT2010), Athens, Greece, pp. 219 -- 226. INSTICC. ISBN 978-989-8425-22-5 (2010)
6. R.Halder and A.Cortesi. Obfuscation-based Analysis of SQL Injection Attacks. In Proc. IEEE Symposium on Computers and Communications (ISCC 2010), Riccione, Italy, pp. 931 -- 938. IEEE Press. ISBN 978-1-4244-7755-5 (2010)
7. A.Cortesi and R.Halder. Dependence Condition Graph for Semantics-Based Abstract Program Slicing. In C.Brabant and PE.Moreau (Eds.). Proc. Tenth Workshop on Language Descriptions, Tools and Applications (LDTA 2010), Pafos, ACM Digital Library, to appear (2010)
8. R.Halder and A.Cortesi. Abstract Interpretation for Sound Approximation of Database Query Languages. In (Eds.). Proc. 7th IEEE International Conference on Informatics and Systems (INFOS 2010), Advances in Data Engineering and Management Track. Pages 53-59. Cairo, Egypt, IEEE Catalog Number: IEEE CFP1006J-CDR, ISBN: 978-977-403-396-4 (2010)
9. A.Candiello, A.Albarelli and A.Cortesi. Three-Layered QoS for eGovernment Web Services. In Soon Ae Chun, Rodrigo Sandoval, Andrew Philpot (Eds.), Proc. 11th International Digital Government Research Conference (dg.o 2010), Puebla, Mexico, ACM International Conference Proceeding Series, pp. 217--222, ISBN 978-1-4503-0070-4 (2010)
10. S.Bhattacharya, A.Cortesi. A Generic Distortion Free Watermarking Technique for Relational Databases. In Atul Prakash Indranil Sen Gupta (Eds.). Proc. Fifth International Conference on Information Systems Security (ICISS 2009), Kolkota, India. Lecture Notes in Computer Science, Springer, volume 5905, pp. 252--264, ISSN: 0302-9743 (2009)
11. A.Cortesi, M.Bruso' Non-Repudiation Analysis with LySa Proc. 24th IFIP International Information Security Conference (SEC 2009), Pafos, Cyprus (2009)
12. S.Bhattacharya, A.Cortesi. A distortion-free watermark framework for relational databases. Proc. 4th Int. Conference on Software and Data Technology (ICSOFT'09) Sofia, Bulgaria (2009)
13. A.Cortesi, S.Bhattacharya A Framework for Property-driven Program Slicing. In: S.Sarkar, P.Das (Eds). Proc. 1st Int. Conference on Computer, Communication, Control and Information Technology. pag. 118-122, Macmillan Publishers India Ldt, ISBN/ISSN: 0230-063759-0, Calcutta, India (2009)
14. G.Maggiore, G.Costantini and A.Cortesi Game Programming as a Non-Threatening Introduction to Functional Languages., In C.Hermann et al. (Eds.) Proc. Informatics Education Europe IV, Freiburg, pp. 11-17. ISBN: 978-3-00-029314-6. (2009)
15. G. Costantini, G.Maggiore, A.Cortesi. Learning by Fixing and Extending Games. Proc. of Eurographics 2009 - Education Papers. p. 15-21. Eurographics Association, ISBN/ISSN: 1017-4656. Munich, Germany (2009).
16. A. Candiello, A. Albarelli and A. Cortesi Weak Identities for Deliberative e-Democracy. In: E.Tambouris and A.Macintosh (Eds.). Electronic Participation (e-PART'09). vol. 31, p. 14-23, Linz: Trauner Ed., ISBN/ISSN: 978-3-85499-626-2 (2009)
17. A. Candiello, A. Albarelli and A. Cortesi Advanced Quality Tools for eGovernment Services. In: M.Winkler et al. (Eds.). Design and Evaluation of e-Government Applications and Services (DEGAS'2009). vol. 492, p. 24-29, AACHEN: CEUR, ISBN/ISSN: 1613-0073 (2009)
18. S.Sen, N.Chaki and A.Cortesi Optimal Space and Time Complexity Analysis on the Lattice of Cuboids Using Galois Connections for Data Warehousing. In S.Sohn (ed.), Proc. 4th International Conference on Computer Sciences and Convergence Information Technology (ICCIT '09) Ed. IEEE Computer Society, pp. 1271-1275. ISBN: 978-0-7695-3896-9. (2009)
19. 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)
20. S.Bhattacharya, A.Cortesi Property-driven program slicing Proc. 20th Nordic Workshop on Programming Theory Tallinn, Estonia (2008)
21. 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)
22. 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)
23. 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)
24. 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)
25. F.Logozzo, A.Cortesi, Semantic Hierarchy Refactoring by Abstract Interpretation, Proc. VMCAI 2006, Charleston, SC, USA, LNCS 3855, pp. 313-331 (2006)
26. A.Cortesi, E.Nardelli, The Italian Certification of Computer Science University Curricula, Proc. ACM Informatics Education Europe. Montpellier, France, November, 9-10 (2006)
27. A.Cortesi F.Logozzo, Abstract Interpretation Based Verification of Non-Functional Requirements, Proc. COORDINATION 2005, Namur, LNCS 3454, pp 49-62 (2005)
28. A. Cortesi and E.Nardelli The quality certification mark for italian university degree programs in computer science, IFIP World Conference on Computers in Education WCCE2005, Stellenbosh, SA (2005)
29. 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)
30. 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)
31. C.Braghin, A.Cortesi, R.Focardi, Freshness Analysis of Security Protocols, Proc. of 14th Nordic Workshop on Programming Theory, NWPT'02, 2002, pp. 30-33.
32. 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.
33. 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..
34. 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).
35. 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.
36. 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.
37. 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.
38. 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 2244, pp. 395-405, 2001.
39. 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.
40. 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 .
41. 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.
42. 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)
43. 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.
44. 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)
45. 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)
46. 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).
47. 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).
48. A. Cortesi , G. File' and S.Rossi, Abstract Interpretation of Prolog programs with cut and built-ins. Workshop on Static Analysis WSA'92, Bordeaux.
49. 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)
50. 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).
51. 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).

---

Disclaimer:

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All person copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.