Selected Publications (full list)
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 accessing this information are expected to adhere to
the terms and constraints invoked by each author's copyright.
The papers cannot be reposted
without the explicit permission of the copyright holder.
- 2013
- R.Halder and A.Cortesi,
Abstract Program Slicing of Database Query Languages.
Proceedings of the 28th ACM Symposium on Applied Computing, Coimbra, Portugal, March 18 - 22, 2013, ACM Press, pp. 841-848 (ISBN 9781450316569)
- A.Cortesi and R.Halder,
Observation-based Fine Grained Access Control of Data.
INTERNATIONAL JOURNAL OF COMPUTER INFORMATION SYSTEMS AND INDUSTRIAL MANAGEMENT APPLICATIONS, vol. 5, pp. 671-684, (ISSN 2150-7988)
- R.Halder and A.Cortesi,
Abstract Interpretation of Recursive Queries
Proc. 9th International Conference on Distributed Computing and Internet Technology, ICDCIT 2013, Bhubaneswar, India, February 5-8, 2013, LECTURE NOTES IN COMPUTER SCIENCE, Berlin, Springer-Verlag, vol. 7753, pp. 157-170, (ISBN 9783642360701) (ISSN 0302-9743)
- S.Bhattacharya and A.Cortesi,
Distortion-Free Authentication Watermarking
In COMMUNICATIONS IN COMPUTER AND INFORMATION SCIENCE, Berlin, Springer Verlag, vol. 170, pp. 205-219 (ISBN 9783642295775) (ISSN 1865-0929)
- R.Halder and A.Cortesi,
Fine Grained Access Control for Relational Databases by Abstract Interpretation
In COMMUNICATIONS IN COMPUTER AND INFORMATION SCIENCE, Berlin, Springer Verlag, vol. 170, pp. 235-249 (ISBN 9783642295775) (ISSN 1865-0929)
- 2012
- R.Halder and A.Cortesi,
Abstract Interpretation of Database Query Languages.
COMPUTER LANGUAGES, SYSTEMS & STRUCTURES, vol. 38(2), pp. 123--157, Elsevier Ed. (to appear) (ISSN 1477-8424)
- A.Cortesi F.Logozzo,
Verification of Non-functional Requirements by Abstract Interpretation.
Handbook of Research on Service-Oriented Systems and Non-Functional Properties: Future Directions, Hershey, PA, IGI Global, pp. 22-35 (ISBN 9781613504338)
- M.Zanioli, P.Ferrara, A.Cortesi,
SAILS: Static Analysis of Information Leakage with Sample.
Proceedings of the 27th ACM Symposium on Applied Computing. Riva del Garda (Trento), March 26-30, p. 1308-1313, ACM Press (ISBN: 9781450308571)
- A.Candiello, A.Albarelli, A.Cortesi,
Quality and Impact Monitoring for Local eGovernment Services.
TRANSFORMING GOVERNMENT, vol. 6(1), p. 112-125, Emerald Ed. (ISSN: 1750-6166), doi: 10.1108/17506161211214859
- G.Costantini, P.Ferrara, A.Cortesi,
Linear approximation of continuous systems with Trapezoid Step Functions.. LECTURE NOTES IN COMPUTER SCIENCE, vol. 7705, pp. 98-114.
Proc. 10th Asian Symposium, APLAS 2012 , Kyoto, Japan, December 11-13, 2012
- R.Halder and A.Cortesi,
Tukra: An Abstract Program Slicing Tool
Proceedings of the 7th International Conference on Software Paradigm Trends, Rome, Italy, July 24-27, SciTePress – Science and Technology Publications, pp. 178-183, (ISBN 9789898565198)
- 2011
- 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)
- Costantini G., Ferrara P., Cortesi A.,
Static Analysis of String Values.
LECTURE NOTES IN COMPUTER SCIENCE, vol. 6991, pp. 505-521, 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011 (A.R. 39%). (ISSN 0302-9743)
-
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, vol. 6543, pp. 284-296, Springer Verlag (ISSN: 0302-9743)
-
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, vol. 6543, pp. 545-557, Springer Verlag (ISSN: 0302-9743)
- Candiello A. and Cortesi A.,
KPI-Supported PDCA Model for Innovation Policy Management in Local Government.
LECTURE NOTES IN COMPUTER SCIENCE, vol. 6846, pp. 320-331, Proc. Electronic Government - 10th IFIP WG 8.5 International Conference, EGOV 2011, Delft, The Netherlands, August 28 – September 2, 2011. (ISSN 0302-9743).
- Candiello A. and Cortesi A.,
KPIs from Web Agents for Policies’ Impact Analysis and Products’ Brand Assessment.
Proceedings CISIM 2011: Computer Information Systems: Analysis and Technologies, in CCIS vol. 245, pp. 192-201, Springer Verlag (ISBN 9783642272448).
- Halder R. and Cortesi A.,
Observation-Based Fine Grained Access Control for XML Documents.
Proceedings CISIM 2011: Computer Information Systems: Analysis and Technologies, in CCIS vol. 245, pp. 267-276, Springer Verlag (ISBN 9783642272448).
- Cortesi A., Vianello S.,
Declinazione, Verifica e Validazione delle Competenze nei Percorsi di Laurea Universitari di Primo Livello.
Proc. DIDAMATICA 2011: Insegnare Futuro, Milano, AICA, pp. 1-10, Torino, 4-6 maggio 2011 (ISBN 9788890540622)
- Maggiore G., Sartoretto F., Torsello A., Cortesi A.,
Engaging high school students in computer science via challenging applications.
Proc. of ACM SIGITE, the 2011 ACM Conference on Information Technology Education, West Point, New York, USA, October 19 - 22, 2011, pp. 43-48, New York, NY, ACM Press (ISBN 9781450310178).
- Bhattacharya S. and Cortesi A.,
Property Driven Program Slicing Refinement.
Proc. of ICSOFT 2011 - the 6th International Conference on Software and Database Technologies, Seville, Spain, 18-21 July, 2011, vol. 2, pp. 149-155, SciTePress (ISBN 9789898425775).
- Spano A., Bugliesi M., Cortesi A.,
Type-Flow Analysis for Legacy Cobol Code.
Proc. of ICSOFT 2011 - the 6th International Conference on Software and Database Technologies, Seville, Spain, 18-21 July, 2011, vol. 2, pp. 64-75, SciTePress (ISBN 9789898425775).
- Chaki N.and Cortesi A.,
Preface
Computer Information Systems - Analysis and Technologies, in Communications in Computer and Information Science, Berlin, Springer Verlag, vol. 245 (ISBN 9783642272448)
- 2010
- 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)
-
R.Halder, S.Pal and A.Cortesi.
Watermarking Techniques for Relational Databases: Survey, Classification and Comparison.
JOURNAL OF UNIVERSAL COMPUTER SCIENCE, vol. 16 (21), pp. 3164-3190 (ISSN 0948-695X)
-
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)
-
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)
-
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)
-
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)
-
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)
-
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)
-
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)
-
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)
-
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)
-
A.Candiello, A. Cortesi, S.Vianello, E.Tasso, A.Mola, B.Salomoni.
Business Process Management.
Qualità, vol. ??, pp. ??. ISSN: 2037-4186 (to appear)
-
A.Cortesi.
Progettare e sviluppare sofware affidabili, sicuri, sostenibili.
Etica per le Professioni, vol. XII - 1/2010; p. 44-49, ISSN: 1591-7649
- 2009
- 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)
-
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)
-
A.Cortesi, M.Bruso'
Non-Repudiation Analysis with LySa
Proc. 24th IFIP International Information Security Conference (SEC 2009), Pafos, Cyprus (2009)
-
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)
-
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)
-
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)
-
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).
-
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)
-
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)
-
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
- C.Braghin,
A.Cortesi, R.Focardi, Information Flow Security in Boundary
Ambients, Information and Computation, Elsevier, Vol. 206(2-4): 460-489 (2008)
- A. Cortesi, F.Luccio (Eds.), Proc. ACM-IFIP Informatics Education Europe III,
Venice, ISBN 978-88-903433-0-8, 2008.
-
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)
-
S.Bhattacharya, A.Cortesi
Property-driven program slicing
Proc. 20th Nordic Workshop on Programming Theory Tallinn, Estonia (2008)
-
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
- 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)
- 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)
- 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)
- 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
- F.Logozzo,
A.Cortesi, Semantic Hierarchy Refactoring by Abstract Interpretation,
Proc. VMCAI 2006, Charleston, SC, USA, LNCS 3855, pp. 313-331
(2006)
- A.Cortesi,
E.Nardelli, The Italian Certification of Computer Science
University Curricula, Proc. ACM Informatics Education
Europe. Montpellier, France, November, 9-10 (2006)
- 2005
- A.Cortesi
F.Logozzo, Abstract Interpretation Based Verification
of Non-Functional Requirements, Proc. COORDINATION 2005,
Namur, LNCS 3454, pp 49-62 (2005)
- C.Braghin,
A.Cortesi, Flow-Sensitive Leakage Analysis in Mobile
Ambients, Electronic Notes on Theoretical Computer Science,
Elsevier, 128: 17-25, (2005)
-
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
- 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)
- 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).
- 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
- 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.
- A.Cortesi,
and G. File' (Guest Editors), Science of Computer Programming,
Elsevier, Special Issue on Static Analysis (2003).
- 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)
- 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)
- C.Braghin,
A.Cortesi, R. Focardi, Information Leakage Detection
in Boundary Ambients , Electronic Notes on Theoretical
Computer Science, Elsevier, 78 (2003)
- 2002
- 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).
- C.Braghin,
A.Cortesi, and R. Focardi, Security
Boundaries in Mobile Ambients , Computer Languages,
Elsevier, 28(1):101-127 (2002)
- A.Cortesi
(Ed.), Verification, Model Checking, and Abstract Interpretation.
Lecture Notes in Computer Science 2294 Springer, ISBN 3-540-43631-6,
2002.
- A.Cortesi,
and R. Focardi (Guest Editors),Preface Computer Languages, Elsevier,
Special Issue on Computer Languages and Security (2002).
- 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.
- 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.
- 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
- A.Cortesi,
and R.Focardi,Information
Flow Security in Mobile Ambients Electronic Notes
on Theoretical Computer Science EN TCS vol. 54, Elsevier,
(2001).
- 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)
- 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.
- 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.
- 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.
- 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
- 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) .
- 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
- 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.
- A.Cortesi,
and G. File',
Sharing is Optimal,
The Journal of Logic Programming Vol 38(3), pp. 371--386
(1999).
- 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
- A.
Cortesi, G. File', and W. Winsborough,
The Quotient of an Abstract Interpretation, Theoretical
Computer Science, vol. 202(1-2), pp.163--192 (1998).
- 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.
- 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 .
- 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
- 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).
- 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.
- 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)
- 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.
- 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
- 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
- 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)
- 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)
- 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
- 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).
- 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
- A.
Cortesi and G. File', Graph properties for normal
logic programs. Theoretical Computer Science, vol.107,
pp.277-303. (1993).
- 1992
- A.Cortesi,
Abstract Domains for Static Analysis of Logic Programs.
Università di Padova, 1992 (PhD thesis, in italian).
- 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)
- 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
- 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).
- 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
- 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
- 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).
|