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

Publications by year (by type)

• 2011
  88. A.Cortesi and M.Zanioli, Widening and Narrowing Operators for Abstract Interpretation. Computer Languages, Systems and Structures. Volume 37(1), pp. 24-42, Elsevier, ISSN: 1477-8424 (2011)
  87. R.Halder and A.Cortesi. Cooperative Query Answering by Abstract Interpretation. In Proc. 37th International Conference on Current Trends in Theory and Practice of Computer Science, Novy Smokovec, Slovakia. Lecture Notes in Computer Science, Springer, ISSN: 0302-9743 (2011, to appear)
  86. M.Zanioli and A.Cortesi. Information Leakage Analysis by Abstract Interpretation. In Proc. 37th International Conference on Current Trends in Theory and Practice of Computer Science, Novy Smokovec, Slovakia. Lecture Notes in Computer Science, Springer, ISSN: 0302-9743 (2011, to appear)
• 2010
  85. 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)
  84. 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)
  83. 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, pp. 282--286. IEEE Computer Society, ISBN: 978-0-7695-4209-6 (2010)
  82. 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, pp. 46--52, IEEE Computer Society, ISBN: 978-0-7695-4209-6 (2010)
  81. 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)
  80. 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)
  79. 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 Computer Society. ISBN 978-1-4244-7755-5 (2010)
  78. 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)
  77. 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)
  76. 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)
  75. A.Candiello, A. Cortesi, S.Vianello, E.Tasso, A.Mola, B.Salomoni. Business Process Management. Qualità, vol. ??, pp. ??. ISSN: 2037-4186 (to appear)
  74. A.Cortesi. Progettare e sviluppare sofware affidabili, sicuri, sostenibili. Etica per le Professioni, vol. XII - 1/2010; p. 44-49, ISSN: 1591-7649
• 2009
  73. 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)
  72. 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)
  71. A.Cortesi, M.Bruso' Non-Repudiation Analysis with LySa Proc. 24th IFIP International Information Security Conference (SEC 2009), Pafos, Cyprus (2009)
  70. 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)
  69. 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)
  68. 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)
  67. 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).
  66. 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)
  65. 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)
  64. 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)
• 2008
  63. C.Braghin, A.Cortesi, R.Focardi, Information Flow Security in Boundary Ambients, Information and Computation, Elsevier, Vol. 206(2-4): 460-489 (2008)
  62. A. Cortesi, F.Luccio (Eds.), Proc. ACM-IFIP Informatics Education Europe III, Venice, ISBN 978-88-903433-0-8, 2008.
  61. 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)
  60. S.Bhattacharya, A.Cortesi Property-driven program slicing Proc. 20th Nordic Workshop on Programming Theory Tallinn, Estonia (2008)
  59. 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)
• 2007
  58. 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)
  57. 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)
  56. 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)
  55. 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)
• 2006
  54. F.Logozzo, A.Cortesi, Semantic Hierarchy Refactoring by Abstract Interpretation, Proc. VMCAI 2006, Charleston, SC, USA, LNCS 3855, pp. 313-331 (2006)
  53. A.Cortesi, E.Nardelli, The Italian Certification of Computer Science University Curricula, Proc. ACM Informatics Education Europe. Montpellier, France, November, 9-10 (2006)
• 2005
  52. A.Cortesi F.Logozzo, Abstract Interpretation Based Verification of Non-Functional Requirements, Proc. COORDINATION 2005, Namur, LNCS 3454, pp 49-62 (2005)
  51. C.Braghin, A.Cortesi, Flow-Sensitive Leakage Analysis in Mobile Ambients, Electronic Notes on Theoretical Computer Science, Elsevier, 128: 17-25, (2005)
  50. 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)
• 2004
  49. C.Braghin, A.Cortesi, R. Focardi, F.L.Luccio, C.Piazza, Nesting Analysis of Mobile Ambients, Computer Languages, Systems and Structures, Elsevier, 30(3-4):207-230 (2004)
  48. 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).
  47. 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)
• 2003
  46. 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.
  45. A.Cortesi, and G. File' (Guest Editors), Science of Computer Programming, Elsevier, Special Issue on Static Analysis (2003).
  44. 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)
  43. 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)
  42. C.Braghin, A.Cortesi, R. Focardi, Information Leakage Detection in Boundary Ambients , Electronic Notes on Theoretical Computer Science, Elsevier, 78 (2003)
• 2002
  41. 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).
      
  40. C.Braghin, A.Cortesi, and R. Focardi, Security Boundaries in Mobile Ambients , Computer Languages, Elsevier, 28(1):101-127 (2002)
  39. A.Cortesi (Ed.), Verification, Model Checking, and Abstract Interpretation. Lecture Notes in Computer Science 2294 Springer, ISBN 3-540-43631-6, 2002.
  38. A.Cortesi, and R. Focardi (Guest Editors),Preface Computer Languages, Elsevier, Special Issue on Computer Languages and Security (2002).
  37. 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.
  36. 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.
  35. 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.
• 2001
  34. A.Cortesi, and R.Focardi,Information Flow Security in Mobile Ambients Electronic Notes on Theoretical Computer Science EN TCS vol. 54, Elsevier, (2001).
  33. 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)
  32. 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.
  31. 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.
  30. 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.
  29. 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.
• 2000
  28. 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) .
  27. 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)
• 1999
  26. 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.
  25. A.Cortesi, and G. File', Sharing is Optimal, The Journal of Logic Programming Vol 38(3), pp. 371--386 (1999).
  24. 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).
• 1998
  23. A. Cortesi, G. File', and W. Winsborough, The Quotient of an Abstract Interpretation, Theoretical Computer Science, vol. 202(1-2), pp.163--192 (1998).
  22. 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 .
  20. 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).
• 1997
  19. 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).
  18. 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.
  17. 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)
  16. 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.
  15. 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)
• 1996
  14. 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)
• 1995
  13. 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)
  12. 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)
  11. 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)
• 1994
  10. 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).
  9. 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).
• 1993
  8. A. Cortesi and G. File', Graph properties for normal logic programs. Theoretical Computer Science, vol.107, pp.277-303. (1993).
• 1992
  7. A.Cortesi, Abstract Domains for Static Analysis of Logic Programs. Università di Padova, 1992 (PhD thesis, in italian).
  6. 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)
  5. A. Cortesi , G. File' and S.Rossi, Abstract Interpretation of Prolog programs with cut and built-ins. Workshop on Static Analysis WSA'92, Bordeaux.
• 1991
  4. 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).
  3. 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).
     
• 1989
  2. 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).
• 1986
  1. 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).
     

---

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.