Home > Ateneo > Organizzazione > Dipartimenti > Dipartimento di Scienze Ambientali, Informatica e Statistica > Dipartimento di Scienze Ambientali, Informatica e Statistica > Persone > Ricerca Persone

Ricerca Persone

Cognome/Nome

Telefono/Fax:

Email

CORTESI Agostino


Feed RSS Feed RSS degli avvisi personali

 

Al momento non ci sono avvisi

 

giovedi 13.00 - 14.00 previo appuntamento via mail

 



Attività e competenze di ricerca

Settore Scientifico Disciplinare (SSD) di afferenza
Aree e linee di ricerca

Competenze di ricerca

Strumenti informatici a supporto e-governement

Parole Chiave
  • Computer science, Software technology
Codice ATECO
  • [62.02] - consulenza nel settore delle tecnologie dell’informatica

Tecniche di Interpretazione Astratta per la verifica automatica di programmi.

Parole Chiave
  • Computer science, Algorithms, Software technology
Codice ATECO
  • [62] - produzione di software, consulenza informatica e attività connesse

Ingegneria del Software: analisi, progettazione e verifica di sistemi software

Parole Chiave
  • Computer science, Software technology
Codice ATECO
  • [62] - produzione di software, consulenza informatica e attività connesse

Ricerche sviluppate e in corso

Progettazione di Sistemi Software per l'e-Government

SSD
  • INF/01

Tecniche Formali per la Sicurezza

SSD
  • INF/01
Altri membri del gruppo di ricerca

Tecniche di Analisi e Verifica dei Programmi

SSD
  • INF/01
Altri membri del gruppo di ricerca

Information Systems

SSD
  • INF/01

Finanziamenti

PRAI Programma Veneto Azioni Innovative FESR 2000-2006

Ente finanziatore
  • Regione Veneto
Tipologia
  • Conto terzi - Ricerca
Ruolo nel progetto
  • NS
Data inizio
  • Anno: 2006 Durata mesi: 7

SOFT - Security Oriented Formal Techniques

Ente finanziatore
  • MIUR
Tipologia
  • PRIN
Ruolo nel progetto
  • LD
Data inizio
  • Anno: 2007 Durata mesi: 24
Altri membri del gruppo di ricerca

La ricerca dell'Eccellenza per lo sviluppo del Capitale Umano come risposta alla sfida della globalizzazione - 2009

Ente finanziatore
  • Regione Veneto, progetto FSE 2120/101/2/722/2009
Ruolo nel progetto
  • LD
Data inizio
  • Anno: 2009 Durata mesi: 36

Centro di competenza per lo sviluppo aperto, partecipato e condiviso dei portali di servizio al cittadino - 2009

Ente finanziatore
  • REGIONE VENETO - DIR.SIST.INFORMATICO
Ruolo nel progetto
  • LD
Data inizio
  • Anno: 2009 Durata mesi: 12

eGovernment Intelligence - 2010

Ente finanziatore
  • Regione Veneto, Direzione Sistemi Informativi
Tipologia
  • conto terzi
Ruolo nel progetto
  • LD
Data inizio
  • Anno: 2010 Durata mesi: 12

Citizens iTV del PRAI - VENETO NET GOAL 2006

Ente finanziatore
  • Regione Veneto
Tipologia
  • Conto terzi - Ricerca
Ruolo nel progetto
  • PT
Data inizio
  • Anno: 2007 Durata mesi: 12

Soluzioni Ict per il distretto dello sportsystem - 2009

Ente finanziatore
  • TREVISO TECNOLOGIA
Tipologia
  • Ricerca
Ruolo nel progetto
  • NS
Data inizio
  • Anno: 2009 Durata mesi: 15

PRG Cultural Journey - Mazzanti - 2010

Ente finanziatore
  • Mazzanti Editore
Tipologia
  • consulenza conto-terzi
Ruolo nel progetto
  • SB
Data inizio
  • Anno: 2010 Durata mesi: 12

PRG Mobile quality - Kairos - 2010

Ente finanziatore
  • Kairos srl
Tipologia
  • consulenza conto terzi
Ruolo nel progetto
  • SB
Data inizio
  • Anno: 2010 Durata mesi: 12

Definizione delle linee guida di un Piano di Disaster Recovery nell'ambito del processo di valutazione dell'attribuzione di un rating Basilea2 - 2007

Ente finanziatore
  • Evolvenda S.r.l.
Tipologia
  • Conto terzi - Ricerca
Ruolo nel progetto
  • NS
Data inizio
  • Anno: 2007 Durata mesi: 3

Studio sulle metodologie di reingegnerizzazione di sistemi ERP e sistemi informativi aziendali e sulla documentazione tecnica e funzionale - 2008

Ente finanziatore
  • ELITEC SRL
Tipologia
  • conto terzi
Ruolo nel progetto
  • NS
Data inizio
  • Anno: 2008 Durata mesi: 12

Laboratorio per l’erogazione e lo sviluppo di portali di servizi ai cittadini ed alle imprese - 2008

Ente finanziatore
  • REGIONE VENETO
Tipologia
  • Contratto di ricerca
Ruolo nel progetto
  • LD
Data inizio
  • Anno: 2008 Durata mesi: 12

TESLA - Tecniche di Enforcement per la Sicurezza dei Linguaggi e delle Applicazioni - 2010

Ente finanziatore
  • Regione Sardegna
Tipologia
  • progetto di ricerca
Ruolo nel progetto
  • PT
Data inizio
  • Anno: 2010 Durata mesi: 18
Altri membri del gruppo di ricerca

Affiancamento per la ricerca e l’analisi dei sistema software per il monitoraggio dell’erogazione delle Utilities in ambito portuale - 2010

Ente finanziatore
  • Autorità portuale di Venezia
Tipologia
  • conto terzi
Ruolo nel progetto
  • LD
Data inizio
  • Anno: 2010 Durata mesi: 9

Soluzioni ICT per il Distretto dello Sportsystem - 2008

Ente finanziatore
  • Treviso Tecnologia
Tipologia
  • Conto terzi - Ricerca
Ruolo nel progetto
  • NS
Data inizio
  • Anno: 2008 Durata mesi: 15

Donne e Tecnologie - 2010

Ente finanziatore
  • Regione Veneto - Commissione Pari Opportunità
Tipologia
  • consulenza
Ruolo nel progetto
  • LD
Data inizio
  • Anno: 2010 Durata mesi: 12

Metodologie e tecnologie informatiche con particolare attenzione ai Sistemi Informativi aziendali in campo sanitario - 2007

Ente finanziatore
  • Kairos
Tipologia
  • Conto terzi - Ricerca
Ruolo nel progetto
  • NS
Data inizio
  • Anno: 2007 Durata mesi: 2

Digital Valley - 2007

Ente finanziatore
  • Regione Veneto
Tipologia
  • L.R. 8/2003
Ruolo nel progetto
  • NS
Data inizio
  • Anno: 2007 Durata mesi: 12

Realizzare un software in grado di operare ricerche ed ordinamenti di oggetti per similarità di forma - 2008

Ente finanziatore
  • Luxottica S.r.l.
Tipologia
  • Conto terzi - Ricerca
Ruolo nel progetto
  • NS
Data inizio
  • Anno: 2008 Durata mesi: 1,5

Certificazione delle Competenze per i Corsi di Laurea Triennali - 2010

Ente finanziatore
  • Regione Veneto, Direzione Lavoro
Tipologia
  • FSE
Ruolo nel progetto
  • LD
Data inizio
  • Anno: 2010 Durata mesi: 15

Sistema di erogazione a distanza di servizi di pianificazione e controllo di prestazioni socio assistenziali - 2009

Ente finanziatore
  • Softwareuno
Tipologia
  • conto terzi
Ruolo nel progetto
  • PT
Data inizio
  • Anno: 2009 Durata mesi: 12

Analisi fabbisogni innovativi del territorio - 2010

Ente finanziatore
  • Nesting scarl
Tipologia
  • conto terzi
Ruolo nel progetto
  • LD
Data inizio
  • Anno: 2010 Durata mesi: 1

Consulenza Tecnica relativa al Progetto RDL: introduzione di tecnologie informatiche per la rendicontazione del servizio manutentivo. - 2012

Ente finanziatore
  • IMA Servizi Spa
Tipologia
  • Contratto Conto Terzi
Ruolo nel progetto
  • LD
Data inizio
  • Anno: 2012 Durata mesi: 12

Consulenza Tecnica nell'ambito del progetto SHICT - 2011

Ente finanziatore
  • Promocasa Service srl
Tipologia
  • Contratto Conto Terzi
Ruolo nel progetto
  • LD
Data inizio
  • Anno: 2011 Durata mesi: 12

Security Horizons

Ente finanziatore
  • MIUR
Tipologia
  • PRIN
Ruolo nel progetto
  • PT
Data inizio
  • Anno: 2012 Durata mesi: 36
Altri membri del gruppo di ricerca

Aree geografiche in cui si applica prevalentemente l'esperienza di ricerca

Internazionale: Europa, America Settentrionale

Lingue conosciute

  • Inglese (scritto: avanzato, parlato: avanzato)
  • francese (scritto: intermedio, parlato: avanzato)

Partecipazione a comitati editoriali di riviste/collane scientifiche

Computer Languages, Systems and Structures, Elsevier - Member of the Editorial Board; Journal of Universal Computer Science - Member of the Editorial Board; Informatica Umanistica – Member of the Editorial Board.

Partecipazione come referees di progetti di ricerca nazionali ed internazionali

Revisore progetti MIUR: PRIN, FIRB Futuro in Ricerca; Revisore progetti Graduate Programme – Netherlands Organization for Scientific Research (NWO); Revisore progetti FCT, I.P. - Fundação para a Ciência e Tecnologia, Portogallo. Revisore progetti Belgian Research Council; Revisore di progetti dell'Università degli Studi di Padova. Membro della Commissione tecnico-scientifica per la valutazione d'idoneita' delle proposte progettuali a valere sul POR CRO - parte Fesr 2007-2013 - Bando Azione 1.1.3 - Misura I.

Pubblicazioni per Anno

In corso di stampa

  • COSTANTINI G., FERRARA P., CORTESI A. A suite of abstract domains for static analysis of string values, in SOFTWARE, PRACTICE AND EXPERIENCE, vol. XXX, pp. ZZ-WW (ISSN 1097-024X) Link DOI (Articolo su rivista)
  • HALDER R.; ZANIOLI M.; CORTESI A. Information Leakage Analysis of Database Query Languages, Proceedings of the 29th ACM Symposium on Applied Computing, ACM Press, pp. 813-820, Convegno: ACM SAC 2014 - 29th Symposium On Applied Computing, Gyeongju, Korea, March 24 - 28, 2014 (Articolo in Atti di convegno)

2014

  • Bidyut Sarkar, Nabendu Chaki, Agostino Cortesi Modeling Demand Forecast Variance in a Distributed Supply Chain Network using Generalized Stochastic Petri Nets, in INFORMATYKA EKONOMICZNA, vol. 3 (29), pp. 128-151 (ISSN 1507-3858) (Articolo su rivista)
  • CORTESI A.; FERRARA P.; CHAKI N. Static Analysis Techniques for Robotics Software Verification, 44th International Symposium on Robotics (ISR), IEEE / Institute of Electrical and Electronics Engineers Incorporated:445 Hoes Lane:Piscataway, NJ 08854:(800)701-4333, (732)981-0060, EMAIL: subscription-service@ieee.org, INTERNET: Disponibile On line, Fax: (732)981-9667, Convegno: 44th International Symposium on Robotics, Seoul (South Korea), 26-28 November, 2013 Link DOI (Articolo in Atti di convegno)

2013

  • A.CORTESI, G.COSTANTINI, P.FERRARA A Survey on Product Operators in Abstract Interpretation, in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, vol. 129, pp. 325-336 (ISSN 2075-2180) Link DOI (Articolo su rivista)
  • HALDER R., CORTESI A. Abstract program slicing on dependence condition graphs, in SCIENCE OF COMPUTER PROGRAMMING, vol. 78, pp. 1240-1263 (ISSN 0167-6423) Link DOI (Articolo su rivista)
  • CORTESI A. ; HALDER R. Observation-based Fine Grained Access Control of Data, in INTERNATIONAL JOURNAL OF COMPUTER INFORMATION SYSTEMS AND INDUSTRIAL MANAGEMENT APPLICATIONS, vol. 5, pp. 671-684 (ISSN 2150-7988) (Articolo su rivista)
  • BHATTACHARYA S., CORTESI A. Distortion-Free Authentication Watermarking, Software and Data Technologies, in COMMUNICATIONS IN COMPUTER AND INFORMATION SCIENCE, in Communications in Computer and Information Science, Berlin, Springer Verlag, vol. 170, pp. 205-219 (ISBN 9783642295775) (ISSN 1865-0929) Link DOI (Articolo su libro)
  • HALDER R., CORTESI A. Fine Grained Access Control for Relational Databases by Abstract Interpretation, Software and Data Technologies, in COMMUNICATIONS IN COMPUTER AND INFORMATION SCIENCE, in Communications in Computer and Information Science, Berlin, Springer Verlag, vol. 170, pp. 235-249 (ISBN 9783642295775) (ISSN 1865-0929) Link DOI (Articolo su libro)
  • SPANO' A., BUGLIESI M., CORTESI A. Typing Legacy COBOL Code, Software and Data Technologies, in COMMUNICATIONS IN COMPUTER AND INFORMATION SCIENCE, Berlin, Springer-Verlag, vol. 303, pp. 151-165 (ISBN 9783642361760) (ISSN 1865-0929) Link DOI (Articolo su libro)
  • CORTESI A., HALDER R. Abstract Interpretation of Recursive Queries in Hota, Chittaranjan; Srimani, Pradip K, Distributed Computing and Internet Technology, in LECTURE NOTES IN COMPUTER SCIENCE, Berlin, Springer-Verlag, vol. 7753, pp. 157-170, Convegno: 9th International Conference on Distributed Computing and Internet Technology, ICDCIT 2013, Bhubaneswar, India, February 5-8, 2013 (ISBN 9783642360701) (ISSN 0302-9743) Link DOI (Articolo in Atti di convegno)
  • HALDER R., CORTESI A. Abstract Program Slicing of Database Query Languages in Dongwan Shin, Proceedings of the 28th ACM Symposium on Applied Computing, ACM Press, pp. 841-848, Convegno: 28th ACM Symposium On Applied Computing, Coimbra, Portugal, March 18 - 22, 2013 (ISBN 9781450316569) Link DOI (Articolo in Atti di convegno)
  • Bidyut Sarkar, Agostino Cortesi, Nabendu Chaki Modeling the Bullwhip Effect in a Multi-Stage Multi-Tier Retail Network by Generalized Stochastic Petri Nets , Proceedings of the 2013 Federated Conference on Computer Science and Information Systems, in ANNALS OF COMPUTER SCIENCE AND INFORMATION SYSTEMS, Polskie Towarzystwo Informatyczne , vol. 1, pp. 1157-1164, Convegno: AITM'13—11th Conference on Advanced Information Technologies for Management, Krakow, 8-11 September 2013 (ISBN 9781467344715) (ISSN 2300-5963) (Articolo in Atti di convegno)
  • Costantini G. , Ferrara P. , Maggiore G., Cortesi A. The Domain of Parametric Hypercubes for Static Analysis of Computer Games Software, Formal Methods and Software Engineering , in LECTURE NOTES IN COMPUTER SCIENCE, Heidelberg, Springer Verlag, vol. 8144, pp. 447-463, Convegno: IEEE International Conference on Software Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013 (ISBN 9783642412011) (ISSN 0302-9743) Link DOI (Articolo in Atti di convegno)
  • (a cura di) SAEED K., CHAKI R., CORTESI A., WIERZCHON S. Computer Information Systems and Industrial Management, 12th IFIP International Conference, in LECTURE NOTES IN COMPUTER SCIENCE, Heidelberg, SPRINGER VERLAG, vol. 8104, pp. 1-524 (ISBN 9783642409240) (ISSN 0302-9743) Link DOI (Curatela)

2012

  • BOSCHETTO E., CANDIELLO A., CORTESI A., FIGNANI F. Donne e Tecnologie Informatiche, in Scienza e Società, Venezia, Edizioni Ca' Foscari, pp. 1-144 (ISBN 9788897735076) (Monografia o trattato scientifico)
  • HALDER R., CORTESI A. Abstract Interpretation of Database Query Languages, in COMPUTER LANGUAGES, SYSTEMS & STRUCTURES, vol. 38(2), pp. 123-157 (ISSN 1477-8424) Link DOI (Articolo su rivista)
  • CANDIELLO A., ALBARELLI A., CORTESI A. Quality and Impact Monitoring for Local eGovernment Services, in TRANSFORMING GOVERNMENT, vol. 6(1), pp. 112-125 (ISSN 1750-6166) Link DOI (Articolo su rivista)
  • CORTESI A., LOGOZZO F. Verification of Non-functional Requirements by Abstract Interpretation in Stephan Reiff-Marganiec, Marcel Tilly, Handbook of Research on Service-Oriented Systems and Non-Functional Properties: Future Directions, Hershey, PA, IGI Global, pp. 22-35 (ISBN 9781613504338) Link DOI (Articolo su libro)
  • SEN S., DUTTA A., CORTESI A., CHAKI N. A New Scale for Attribute Dependency in Large Database Systems, Computer Information Systems and Industrial Management, in LECTURE NOTES IN COMPUTER SCIENCE, Heidelberg, Springer Verlag, vol. 7564, pp. 266-277, Convegno: 11th IFIP TC8 International Conference on Computer Information Systems and Industrial Management, CISIM 2012, Venice, Italy, 26-28/09/2012 (ISBN 9783642332593) (ISSN 0302-9743) Link DOI (Articolo in Atti di convegno)
  • COSTANTINI G., FERRARA P., CORTESI A. Linear approximation of continuous systems with Trapezoid Step Functions in Jhala, Ranjit; Igarashi, Atsushi , Programming Languages and Systems, in LECTURE NOTES IN COMPUTER SCIENCE, Berlin, Springer-Verlag, vol. 7705, pp. 98-114, Convegno: Programming Languages and Systems, 10th Asian Symposium, APLAS 2012 , Kyoto, Japan, December 11-13, 2012, (ISBN 9783642351815) (ISSN 0302-9743) Link DOI (Articolo in Atti di convegno)
  • ZANIOLI M., FERRARA P., CORTESI A. SAILS: Static Analysis of Information Leakage with Sample, Proceedings of the 27th ACM Symposium on Applied Computing, ACM Press, pp. 1308-1313, Convegno: ACM SAC 2012, Riva del Garda (Trento), March 26-30 (ISBN 9781450308571) Link DOI (Articolo in Atti di convegno)
  • HALDER R., CORTESI A. Tukra: An Abstract Program Slicing Tool in Slimane Hammoudi, Marten van Sinderen, José Cordeiro, Proceedings of the 7th International Conference on Software Paradigm Trends, SciTePress – Science and Technology Publications, pp. 178-183, Convegno: ICSOFT 2012 - 7th International Conference on Software Paradigm Trends, Rome, Italy, July 24-27, 2012 (ISBN 9789898565198) (Articolo in Atti di convegno)
  • (a cura di) CORTESI A., CHAKI N., SAEED K., WIERZCHON S. Computer Information Systems and Industrial Management, in LECTURE NOTES IN COMPUTER SCIENCE, in Lecture Notes in Computer Science, Heidelberg, Springer Verlag, vol. 7564, pp. 1-444 (ISBN 9783642332593) (ISSN 0302-9743) Link DOI (Curatela)

2011

  • CORTESI A., ZANIOLI M. Widening and Narrowing Operators for Abstract Interpretation, in COMPUTER LANGUAGES, SYSTEMS & STRUCTURES, vol. 37(1), pp. 24-42 (ISSN 1477-8424) Link DOI (Articolo su rivista)
  • HALDER R., CORTESI A. Cooperative Query Answering by Abstract Interpretation in Ivana Cerná et al., SOFSEM 2011: Theory and Practice of Computer Science, in LECTURE NOTES IN COMPUTER SCIENCE, Heidelberg, Springer Verlag, vol. 6543, pp. 284-296, Convegno: 37th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 22-28, 2011 (ISBN 9783642183805) (ISSN 0302-9743) Link DOI (Articolo in Atti di convegno)
  • Cortesi A., Vianello S. Declinazione, Verifica e Validazione delle Competenze nei Percorsi di Laurea Universitari di Primo Livello. in Claudio Giovanni Demartini, DIDAMATICA 2011 Insegnare Futuro, Milano, AICA, pp. 1-10, Convegno: Didamatica - Informatica per la Didattica, Torino, 4-6 maggio 2011 (ISBN 9788890540622) (Articolo in Atti di convegno)
  • MAGGIORE G., TORSELLO A., SARTORETTO F., CORTESI A. Engaging high school students in computer science via challenging applications in Randy Connolly, Proceedings of the 2011 ACM Conference on Information Technology Education, New York, NY, ACM Press, pp. 43-48, Convegno: ACM SIGITE 2011, West Point, New York, USA, October 19 - 22, 2011 (ISBN 9781450310178) Link DOI (Articolo in Atti di convegno)
  • ZANIOLI M., CORTESI A. Information Leakage Analysis by Abstract Interpretation in Ivana Cerná et al., SOFSEM 2011: Theory and Practice of Computer Science, in LECTURE NOTES IN COMPUTER SCIENCE, Heidelberg, Springer Verlag, vol. 6543, pp. 545-557, Convegno: 7th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 22-28, 2011 (ISBN 9783642183805) (ISSN 0302-9743) Link DOI (Articolo in Atti di convegno)
  • Candiello A., Cortesi A. KPI-Supported PDCA Model for Innovation Policy Management in Local Government in Marijn Janssen, Hans Jochen Scholl, Maria Wimmer, Yao-Hua Tan, Electronic Government, in LECTURE NOTES IN COMPUTER SCIENCE, Heidelberg, Springer Verlag, vol. 6846, pp. 320-331, Convegno: 10th IFIP WG 8.5 International Conference, EGOV 2011, Delft, The Netherlands, August 28 - September 2, 2011 (ISBN 9783642228773) (ISSN 0302-9743) Link DOI (Articolo in Atti di convegno)
  • CANDIELLO A., CORTESI A. KPIs from Web Agents for Policies’ Impact Analysis and Products’ Brand Assessment in Chaki N., Cortesi A., Computer Information Systems: Analysis and Technologies, in COMMUNICATIONS IN COMPUTER AND INFORMATION SCIENCE, in Communications in Computer and Information Science, Berlin, Springer Verlag, vol. 245, pp. 192-201, Convegno: 10th International Conference on Computer Information Systems and Industrial management Applications - CISIM 2011, Kolkata, India, December 14-16, 2011 (ISBN 9783642272448) (ISSN 1865-0929) Link DOI (Articolo in Atti di convegno)
  • HALDER R., CORTESI A. Observation-Based Fine Grained Access Control for XML Documents in Chaki N., Cortesi A., Computer Information Systems: Analysis and Technologies., in COMMUNICATIONS IN COMPUTER AND INFORMATION SCIENCE, in Communications in Computer and Information Science., Berlin, Springer Verlag, vol. 245, pp. 267-276, Convegno: 10th International Conference on Computer Information Systems and Industrial management Applications - CISIM 2011, Kolkata, India, December 14-16, 2011 (ISBN 9783642272448) (ISSN 1865-0929) Link DOI (Articolo in Atti di convegno)
  • BHATTACHARYA S., CORTESI A. Property Driven Program Slicing Refinement in Maria Jose Escalona, Boris Shishkov and José Cordeiro, ICSOFT 2011 - Proceedings of the 6th International Conference on Software and Database Technologies, SciTePress – Science and Technology Publications, vol. 2, pp. 149-155, Convegno: ICSOFT 2011 - 6th International Conference on Software and Database Technologies, Seville, Spain, 18-21 July, 2011 (ISBN 9789898425775) (Articolo in Atti di convegno)
  • COSTANTINI G., FERRARA P., CORTESI A. Static Analysis of String Values in Shengchao Qin and Zongyan Qiu, Formal Methods and Software Engineering, in LECTURE NOTES IN COMPUTER SCIENCE, Heidelberg, Germany: Springer Verlag Germany, vol. 6991, pp. 505-521, Convegno: IEEE International Conference on Software Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011 (ISBN 9783642245589) (ISSN 0302-9743) Link DOI (Articolo in Atti di convegno)
  • SPANO' A., BUGLIESI M., CORTESI A. Type-Flow Analysis for Legacy Cobol Code in Maria Jose Escalona, Boris Shishkov and José Cordeiro, ICSOFT 2011 - Proceedings of the 6th International Conference on Software and Database Technologies, SciTePress – Science and Technology Publications, vol. 2, pp. 64-75, Convegno: ICSOFT 2011 - 6th International Conference on Software and Database Technologies, Seville, Spain, 18-21 July, 2011 (ISBN 9789898425775) (Articolo in Atti di convegno)
  • (a cura di) CHAKI N., CORTESI A. Computer Information Systems - Analysis and Technologies, in COMMUNICATIONS IN COMPUTER AND INFORMATION SCIENCE, Berlin, Springer Verlag, vol. 245 (ISBN 9783642272448) (ISSN 1865-0929) (Curatela)

2010

  • CANDIELLO A., VIANELLO S., CORTESI A., TASSO E., SALOMONI B., MOLA A. Business Process Management, in QUALITÀ, vol. 5, pp. 11-17 (ISSN 2037-4186) (Articolo su rivista)
  • BRUSO' M., CORTESI A. Non-repudiation analysis using LySa with annotations, in COMPUTER LANGUAGES, SYSTEMS & STRUCTURES, vol. 36, pp. 352-377 (ISSN 1477-8424) Link DOI (Articolo su rivista)
  • CORTESI A. Progettare e sviluppare sofware affidabili, sicuri, sostenibili, in ETICA PER LE PROFESSIONI, vol. XII - 1/2010, pp. 44-49 (ISSN 1591-7649) (Articolo su rivista)
  • HALDER R., PAL S., CORTESI A. Watermarking Techniques for Relational Databases: Survey, Classification and Comparison, in JOURNAL OF UNIVERSAL COMPUTER SCIENCE, vol. 16 (21), pp. 3164-3190 (ISSN 0948-695X) Link DOI (Articolo su rivista)
  • HALDER R., CORTESI A. A Persistent Public Watermarking of Relational Databases in Somesh Jha, Anish Mathuria, Information Systems Security, in LECTURE NOTES IN COMPUTER SCIENCE, Heidelberg, Springer Verlag, vol. 6503, pp. 216-230, Convegno: 6th International Conference, ICISS 2010, Gandhinagar, India, December 17-19, 2010 (ISBN 9783642177132) (ISSN 0302-9743) Link DOI (Articolo in Atti di convegno)
  • Halder R.; Cortesi A. Abstract interpretation for sound approximation of database query languages, INFOS2010 - 2010 7th International Conference on Informatics and Systems, Red Hook, NY 12571, IEEE Conference Publications Program (CPP), vol. Advances in Data Engineering and Management Track, pp. 53 -59, Convegno: 7th International Conference on Informatics and Systems, Cairo, Egypt, 28-30 March, 2010 (ISBN 9789774033964) (Articolo in Atti di convegno)
  • BHATTACHARYA S.; CORTESI A. Database Authentication by Distortion-Free Watermarking in José Cordeiro, Maria Virvou and Boris Shishkov, ICSOFT 2010 Proceedings of the Fifth International Conference on Software and Data Technologies, SciTePress – Science and Technology Publications, vol. I, pp. 219-226, Convegno: Fifth International Conference on Software and Data Technologies, Athens, Grece, 22-24 July, 2010 (ISBN 9789898425225) (Articolo in Atti di convegno)
  • CORTESI A., HALDER R. Dependence Condition Graph for Semantics-based Abstract Program Slicing in C.Brabrand, P.Moreau, LDTA '10: Proceedings of the Tenth Workshop on Language Descriptions, Tools and Applications, New York, NY, ACM Press, pp. 4-1-4-17, Convegno: LDTA'10 - Tenth Workshop on Language Descriptions, Tools and Applications, Paphos, Cyprus, March 27-28, 2010 (ISBN 9781450300636) Link DOI (Articolo in Atti di convegno)
  • Halder R.; Cortesi A. Obfuscation-based analysis of SQL injection attacks, Proceedings - IEEE Symposium on Computers and Communications, Los Alamos, IEEE Computer Society, pp. 931-938, Convegno: 15th IEEE Symposium on Computers and Communications, ISCC 2010, Riccione, 22-25 june, 2010 (ISBN 9781424477555) Link DOI (Articolo in Atti di convegno)
  • Halder R., Cortesi A. Observation-based Fine Grained Access Control for Relational Databases in José Cordeiro, Maria Virvou and Boris Shishkov., ICSOFT 2010 Proceedings of the Fifth International Conference on Software and Data Technologies., SciTePress – Science and Technology Publications., vol. I, pp. 254-265, Convegno: Fifth International Conference on Software and Data Technologies., Athens, Grece., 22-24 July, 2010. (ISBN 9789898425225) (Articolo in Atti di convegno)
  • HALDER R.; CORTESI A. Persistent Watermarking of Relational Databases in PM Thankachan and Vinu V. Das, Proc. International Conference on Advances in Communication, Network, and Computing, Los Alamitos, CA, IEEE Computer Society, pp. 46-52, Convegno: 2010 International Conference on Advances in Communication, Network, and Computing, Calicut, India, October 4-5, 2010 (ISBN 9780769542096) (Articolo in Atti di convegno)
  • CANDIELLO A.; ALBARELLI A. ; CORTESI A. Three-layered QoS for eGovernment web services in Soon Ae Chun, Rodrigo Sandoval and Andrew Philpot, dg.o '10: Proceedings of the 11th Annual International Digital Government Research Conference on Public Administration Online: Challenges and Opportunities, Digital Government Society of North America - ACM Digital Library, pp. 217-222, Convegno: 11th Annual International Digital Government Research Conference on Public Administration Online: Challenges and Opportunities, Puebla, Mexico, May 17 - 20, 2010 (ISBN 9781450300704) (Articolo in Atti di convegno)
  • BHATTACHARYA S.; CORTESI A. Zero-knowledge SoftwareWatermarking for C Programs in PM Thankachan and Vinu V. Das, International Conference on Advances in Communication, Network, and Computing, Los Alamos, CA, IEEE Computer Society, pp. 282-286, Convegno: 2010 International Conference on Advances in Communication, Network, and Computing, Calicut, India, October 4-5, 2010 (ISBN 9780769542096) Link DOI (Articolo in Atti di convegno)

2009

  • CANDIELLO A., ALBARELLI A., CORTESI A., MOLA A., TASSO E., SALOMONI B. Qualita' nell'eGovernment Locale, in QUALITÀ, vol. 5, pp. 41-45 (Articolo su rivista)
  • BOSCHETTO E; CORTESI A. Women and Informatics: The Ada Web Portal, in INNOVATIONS IN TEACHING AND LEARNING IN INFORMATION AND COMPUTER SCIENCES, vol. 8(2), pp. 64-72 (ISSN 1473-7507) (Articolo su rivista)
  • CORTESI A.; BHATTACHARYA S A Framework for Property-driven Program Slicing in S.SARKAR; P. DAS EDS., Computer, Communication, Control and Information Technology, NEW DELHI, Macmillan Publishers India Ldt, pp. 118-122, Convegno: Proc. 1st Int. Conference on Computer, Communication, Control and Information Technology, Kolkata, India, 2009 (ISBN 9780230637597) (Articolo in Atti di convegno)
  • BHATTACHARYA S; CORTESI A. A Generic Distortion Free Watermarking Technique for Relational Databases in Atul Prakash, Indranil Gupta, Information Systems Security, in LECTURE NOTES IN COMPUTER SCIENCE, Heidelberg, Springer Verlag, vol. 5905, pp. 252-264, Convegno: Information Systems Security, 5th International Conference, ICISS 2009, Kolkata, India, December 14-18, 2009 (ISBN 9783642107719) (ISSN 0302-9743) Link DOI (Articolo in Atti di convegno)
  • BHATTACHARYA S; CORTESI A. A distortion free watermark framework for relational databases in B. SHISHKOV; J. CORDEIRO; A. K. RANCHORDAS, Proceedings of the 4th International Conference on Software and Data Technologies, INSTICC, vol. 2, pp. 229-234, Convegno: ICSOFT'09 - Proceedings of the 4th International Conference on Software and Data Technologies, Sofia, Bulgaria, July 2009 (ISBN 9789896740108) (Articolo in Atti di convegno)
  • CANDIELLO A; ALBARELLI A; CORTESI A. Advanced Quality Tools for eGovernment Services in MARCO WINCKLER ET AL., Design and Evaluation of e-Government Applications and Services (DEGAS'2009), in CEUR WORKSHOP PROCEEDINGS, Aachen, CEUR Workshop Proceedings, vol. 492, pp. 24-29, Convegno: Design and Evaluation of e-Government Applications and Services (DEGAS'2009), Uppsala, 21.08.2009 (ISSN 1613-0073) (Articolo in Atti di convegno)
  • Maggiore G.; Costantini G.; Cortesi A. Game Programming as a Non-Threatening Introduction to Functional Languages in C.Hermann et al., Proc. Informatics Education Europe IV, Freiburg, UNIFREIBURG, pp. 11-18, Convegno: Informatics Education Europe IV, Freiburg, DE, November 5-6, 2009 (ISBN 9783000293146) (Articolo in Atti di convegno)
  • COSTANTINI G. ; MAGGIORE G. ; CORTESI A. Learning by Fixing and Extending Games in G. Domik and R. Scateni, Education Programme at Eurographics 2009, in EUROGRAPHICS TECHNICAL REPORT SERIES, pp. 15-21, Convegno: Eurographics 2009, Munich, Germany,, March 31st - April 1st 2009 (ISSN 1017-4656) (Articolo in Atti di convegno)
  • BRUSO' M; CORTESI A. Non-repudiation Analysis with LYSA in D.GRITZALIS; AND J.LOPEZ EDS., Emerging Challenges for Security, Privacy and Trust, BERLIN, Springer, vol. 297, pp. 318-329, Convegno: 24th IFIP International Information Security Conference (SEC-2009), Paphos, Cyprus, May, 18-20, 2009 (ISBN 9783642012433) Link DOI (Articolo in Atti di convegno)
  • SEN S; CHAKI N; CORTESI A. Optimal Space and Time Complexity Analysis on the Lattice of Cuboids Using Galois Connections for Data Warehousing in SUNGWON SOHN ET AL. EDS., Proc. Fourth International Conference on Computer Sciences and Convergence Information Technology, LOS ALAMITOS, CA, IEEE Computer Society, pp. 1271-1275, Convegno: ICCIT09, Fourth International Conference on Computer Sciences and Convergence Information Technology, Seoul, Korea, November 24- 26, 2009 (ISBN 9780769538969) Link DOI (Articolo in Atti di convegno)
  • CORTESI A.; D'ORSI R; MARCATO F; PERIS M; SFOGGIA A Validazione di Piani di Disaster Recovery mediante Simulatore, Emergency Sim: Realtà Virtuale, Serious Games e Simulazione per la Gestione delle Emergenze e dei Disastri, UDINE, Convegno: Realtà Virtuale, Serious Games e Simulazione per la Gestione delle Emergenze e dei Disastri, Udine, 13/11/2009 (Articolo in Atti di convegno)
  • CANDIELLO A; ALBARELLI A; CORTESI A. Weak Identities for Deliberative e-Democracy in E.TAMBOURIS AND A.MACINTOSH EDS., Electronic Participation, LINZ, Trauner, vol. 31, pp. 14-23, Convegno: Electronic 1st International Conference on eParticipation - ePart '09, Lienz, Austria, 31 August - 4 September 2009 (ISBN 9783854996262) (Articolo in Atti di convegno)

2008

  • BRAGHIN C; CORTESI A.; FOCARDI R Information flow security in Boundary Ambients, in INFORMATION AND COMPUTATION, vol. 206, pp. 460-489 (ISSN 0890-5401) Link DOI (Articolo su rivista)
  • CANDIELLO A.; ALBARELLI A.; CORTESI A. An Ontology-based Inquiry Framework. in ALDO GANGEMI; JOHANNES KEIZER;VALENTINA PRESUTTI; HEIKO STOERMER, Semantic Web Applications and Perspectives SWAP'08., in CEUR WORKSHOP PROCEEDINGS, Aachen, CEUR, vol. 426, pp. 11.1-11.12, Convegno: 5th Workshop on Semantic Web Applications and Perspectives (SWAP2008), Roma, December 15-17, 2008 (ISSN 1613-0073) (Articolo in Atti di convegno)
  • BHATTACHARYA S. ; CORTESI A. Property Driven Program Slicing in T.UUSTALU; J.VAIN; J.ERNITS, 20th Nordic Workshop on Programming Theory, TALLINN, TUT, pp. 15-18, Convegno: 20th Nordic Workshop on Programming Theory, Tallinn, Estonia, 19-21 November 2008 (ISBN 9789949430246) (Articolo in Atti di convegno)
  • CORTESI A. Widening Operators for Abstract Interpretation in A.CERONE AND S.GRUNER EDS., IEEE SEFM'08 - Software Engineering and Formal Methods, LOS ALAMITOS, IEEE Computer Society, pp. 31-40, Convegno: Sixth IEEE International Conference on Software Engineering and Formal Methods, Cape Town, South Africa, 10-14 November 2008 (ISBN 9780769534374) Link DOI (Articolo in Atti di convegno)
  • (a cura di) CORTESI A.; LUCCIO F ACM-IFIP IEEIII - Informatics Education Europe, VENEZIA, Dipartimento di Informatica, Università Ca' Foscari Venezia (ISBN 9788890343308) (Curatela)

2007

  • CORTESI A.; NARDELLI E Towards an European Certification of Computer Science Curricula, in INNOVATIONS IN TEACHING AND LEARNING IN INFORMATION AND COMPUTER SCIENCES, vol. 6(3), pp. 79-86 (ISSN 1473-7507) (Articolo su rivista)
  • M.BACKES; CORTESI A.; R.FOCARDI; M.MAFFEI A calculus of challenges and responses in V.GLIGO; H.MANTEL EDS., Proceedings of the 2007 ACM workshop on Formal methods in security engineering, NEW YORK, ACM, The Association for Computing Machinery, pp. 51-60, Convegno: FMSE07 - ACM workshop on Formal methods in security engineering, George Mason University, USA , November 2nd, 2007 (ISBN 9781595938879) Link DOI (Articolo in Atti di convegno)
  • BOSCHETTO E; CORTESI A. Ada web portal: promoting women access to informatics in P.KEFALAS; A.SOTIRIADOU; G.DAVIES; A.MCGETTRICK EDS, Proc. Informatics Education Europe II, TESSALONIKI, SEERC, pp. 108-117, Convegno: Informatics Education Europe II, Thessaloniki, Grece, 29-30 November 2007 (ISBN 9789608962934) (Articolo in Atti di convegno)
  • BACKES M; CORTESI A.; MAFFEI M Causality-Based Abstraction of Multiplicity in Security Protocols, Proc. 20th IEEE Computer Security Foundations Symposium, LOS ALAMITOS, IEEE Computer Society CPS, pp. 355-369, Convegno: 20th IEEE Computer Security Foundations Symposium, Venice, Italy, july 6-8, 2007 (ISBN 9780769528199) Link DOI (Articolo in Atti di convegno)

2006

  • CORTESI A.; ENRICO NARDELLI La certificazione Grin per la formazione informatica universitaria in A CURA DI CONSORZIO INTERUNIVERSITARIO ALMALAUREA, VIII Profilo dei laureati italiani. I primi figli della riforma, BOLOGNA, IL MULINO, pp. 271-280 (ISBN 9788815114563) (Articolo su libro)
  • CORTESI A. Prefazione in ANTONIO CANDIELLO, Qualità e tecnologie informatiche per l'innovazione nelle Pmi., Milano, Franco Angeli (ISBN 9788846479808) (Prefazione/Postfazione)
  • CORTESI A.; LOGOZZO F Semantic Hierarchy Refactoring by Abstract Interpretation in E. Allen Emerson, Kedar S. Namjoshi, Verification, Model Checking, and Abstract Interpretation, in LECTURE NOTES IN COMPUTER SCIENCE, Heidelberg, Springer Verlag, vol. 3855, pp. 313-331, Convegno: Verification, Model Checking, and Abstract Interpretation, 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006 (ISBN 3540311394) (ISSN 0302-9743) Link DOI (Articolo in Atti di convegno)
  • CORTESI A.; ENRICO NARDELLI The Italian Certification of Computer Science University Curricula, Proc. ACM Informatics Education Europe, Convegno: ACM Informatics Education Europe, Montpellier, November, 9-10, 2006 (Articolo in Atti di convegno)

2005

  • CORTESI A.; LOGOZZO F. Abstract Interpretation Based Verification of Non-Functional Requirements in Jean-Marie Jacquet, Gian Pietro Picco, Coordination Models and Languages, in LECTURE NOTES IN COMPUTER SCIENCE, Heidelberg, Springer verlag, vol. 3454, pp. 49-62, Convegno: Coordination Models and Languages, 7th International Conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005 (ISBN 354025630X) (ISSN 0302-9743) Link DOI (Articolo in Atti di convegno)
  • CORTESI A.; LOGOZZO F. Abstract Interpretation for Object Oriented Languages: Quo Vadis?, Abstract Interpretation of Object-Oriented Languages, in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, Amsterdam, Elsevier, vol. 131, pp. 75-84, Convegno: 1st International Workshop on Abstract Interpretation of Object-Oriented Languages, Paris, January 21, 2005 (ISSN 1571-0661) Link DOI (Articolo in Atti di convegno)
  • C.BRAGHIN; CORTESI A. Flow-Sensitive Leakage Analysis in Mobile Ambients, Security Issues in Coordination Models, Languages, and Systems, in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, Amsterdam, Elsevier, vol. 128, pp. 17-25, Convegno: 2nd International Workshop on Security Issues in Coordination Models, Languages, and Systems, London, UK, August 30, 2004 (ISSN 1571-0661) Link DOI (Articolo in Atti di convegno)
  • CORTESI A.; LOGOZZO F. Preface. Special Issue on Abstract Interpretation for Object Oriented Languages., Abstract Interpretation for Object Oriented Languages, in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, Amstrerdam, Elsevier, vol. 131, pp. 1-2, Convegno: 1st International Workshop on Abstract Interpretation of Object-Oriented Languages, Paris, France, January 21, 2005 (ISSN 1571-0661) (Articolo in Atti di convegno)
  • CORTESI A.; NARDELLI E. The Quality Certification Mark for Italian University Degree Programs in Computer Science in Samways, B, Proc. 8th IFIP World Conference on Computers in Education, IFIP, pp. P062-1-P062-7, Convegno: 8th IFIP World Conference on Computers in Education, Cape Town, SA, 4-7 July 2005 (ISBN 9781920017118) (Articolo in Atti di convegno)

2004

  • CELENTANO A.; CORTESI A.; MASTANDREA P. Informatica Umanistica: Una Disciplina di Confine, in MONDO DIGITALE, vol. 4/4, pp. 44-55 (ISSN 1720-898X) (Articolo su rivista)
  • CHIARA BRAGHIN; CORTESI A.; RICCARDO FOCARDI; FLAMINIA L. LUCCIO; CARLA PIAZZA Nesting analysis of mobile ambients, in COMPUTER LANGUAGES, SYSTEMS & STRUCTURES, vol. 30 (3-4), pp. 207-230 (ISSN 1477-8424) Link DOI (Articolo su rivista)
  • LENORE ZUCK; PAUL ATTIE; CORTESI A. Special section on verification, model checking, and abstract interpretation. Preface by the section editors, in INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, vol. 6 (1), pp. 1-3 (ISSN 1433-2779) (Articolo su rivista)
  • C. BRAGHIN; A. CORTESI; FOCARDI R.; F.L. LUCCIO; C. PIAZZA Behind BANANA: Design and Implementation of a Tool for Nesting Analysis of Mobile Ambients, Formal Methods for Security and Time, in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, Amsterdam, Elsevier, vol. 99, pp. 319-337, Convegno: Mefisto, Pisa, November 3-5, 2003 (ISSN 1571-0661) Link DOI (Articolo in Atti di convegno)

2003

  • CORTESI A.; G. FILE' Static Analysis, in SCIENCE OF COMPUTER PROGRAMMING, vol. 47(2-3), pp. 89-90 (ISSN 0167-6423) Link DOI (Articolo su rivista)
  • C. BRAGHIN; A. CORTESI; S. FILIPPONE; R. FOCARDI; F.L. LUCCIO; C. PIAZZA BANANA: A tool for Boundary Ambients Nesting ANAlysis in Hubert Garavel, John Hatcliff, Tools and Algorithms for the Construction and Analysis of Systems, in LECTURE NOTES IN COMPUTER SCIENCE, Heidelberg, Springer Verlag, vol. 2619, pp. 437-441, Convegno: Tools and Algorithms for the Construction and Analysis of Systems, 9th International Conference, TACAS 2003, Warsaw, Poland, April 7-11, 2003 (ISBN 3540008985) (ISSN 0302-9743) Link DOI (Articolo in Atti di convegno)
  • C. BRAGHIN; A. CORTESI; R. FOCARDI; F.L. LUCCIO; C. PIAZZA Complexity of Nesting Analysis in Mobile Ambients in Lenore D. Zuck et al., Verification, Model Checking, and Abstract Interpretation, in LECTURE NOTES IN COMPUTER SCIENCE, Heidelberg, Springer Verlag, vol. 2575, pp. 86-101, Convegno: Verification, Model Checking, and Abstract Interpretation, 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2002 (ISBN 3540003487) (ISSN 0302-9743) Link DOI (Articolo in Atti di convegno)
  • CHIARA BRAGHIN; CORTESI A.; RICCARDO FOCARDI Information Leakage Detection in Boundary Ambients, Proc. Computing: The Australasian Theory Symposium, in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, Elsevier, vol. 78, pp. 127-147, Convegno: Computing: The Australasian Theory Symposium (CATS'03), Adelaide, Australia, 4th to 7th February, 2003 (ISSN 1571-0661) Link DOI (Articolo in Atti di convegno)
  • (a cura di) LENORE D. ZUCK; PAUL C. ATTIE; SUPRATIK; MUKHOPADHYAY; CORTESI A. Verification, Model Checking, and AbstractInterpretation, 4th International Conference, VMCAI 2003, in LECTURE NOTES IN COMPUTER SCIENCE, BERLIN, Springer, vol. 2575 (ISBN 9783540003489) (ISSN 0302-9743) (Curatela)

2002

  • CORTESI A.; FOCARDI R. Computer Languages and Security, in COMPUTER LANGUAGES, vol. 28(1), pp. 1-2 (ISSN 0096-0551) Link DOI (Articolo su rivista)
  • CORTESI A.; DOVIER A.; QUINTARELLI E.; TANCA L. Operational and Abstract Semantics of the Query Language G-Log, in THEORETICAL COMPUTER SCIENCE, vol. 275(1-2), pp. 521-560 (ISSN 0304-3975) Link DOI (Articolo su rivista)
  • BRAGHIN C.; CORTESI A.; FOCARDI R. Security Boundaries in Mobile Ambient, in COMPUTER LANGUAGES, vol. 28(1), pp. 101-127 (ISSN 0096-0551) Link DOI (Articolo su rivista)
  • BRAGHIN C.; CORTESI A.; FOCARDI R.; VAN BAKEL S. Boundary Inference for Enforcing Security Policies in Mobile Ambients in RICARDO A. BAEZAYATES; UGO MONTANARI; NICOLA SANTORO EDS., Foundations of Information Technology in the Era of Networking and Mobile Computing, DORDRECHT, Kluwer, vol. 223, pp. 383-395, Convegno: IFIP 17th World Computer Congress - TC1 Stream / 2nd IFIP International Conference on Theoretical Computer Science (TCS 2002), Montreal, Canada, August 25-30, 2002 (ISBN 9781402071812) (Articolo in Atti di convegno)
  • BRAGHIN C.; CORTESI A.; FOCARDI R. Control Flow Analysis of Mobile Ambients with Security Boundaries in BART JACOBS; AREND RENSINK EDS., Formal Methods for Open Object-Based Distributed Systems, DORDRECHT, Kluwer, vol. 209, pp. 197-212, Convegno: IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002), Enschede, The Netherlands, March 20-22, 2002 (ISBN 9780792376835) (Articolo in Atti di convegno)
  • G.CALLEGARIN; CORTESI A. Italian National Curriculum on ICT for Schools in DERYN WATSON; JANE ANDERSEN EDS., Networking the Learner: Computers in Education, DORDRECHT, Kluwer, vol. 217, pp. 767-776, Convegno: WCCE2001: 7th IFIP World Conference on Computers in Education, Copenhagen, Denmark, July 29 - Aug 3 2001 (ISBN 9781402071331) (Articolo in Atti di convegno)
  • (a cura di) A. CORTESI; FOCARDI R. Special issue on "Computer Languages and Security", in COMPUTER LANGUAGES, SYSTEMS & STRUCTURES, Elsevier, vol. 28(1) (ISSN 1477-8424) (Curatela)
  • (a cura di) CORTESI A. Verification, Model Checking, and Abstract Interpretation, in LECTURE NOTES IN COMPUTER SCIENCE, BERLIN HEIDELBERG, Springer Verlag, vol. 2294 (ISBN 9783540436317) (ISSN 0302-9743) (Curatela)

2001

  • CORTESI A; ROSSI S.; LE CHARLIER B Operational Semantics for Reexecution-based Analysis of Logic Programs with Delay Declarations, in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, vol. 48, pp. 29-44 (ISSN 1571-0661) Link DOI (Articolo su rivista)
  • CHIARA BRAGHIN; AGOSTINO CORTESI; FOCARDI R. Control Flow Analysis for information flow security, NORDSEC 2001, Convegno: NORDSEC 2001 (Articolo in Atti di convegno)
  • POLLET I.; LE CHARLIER B.; CORTESI A. Distinctness and Sharing Domains for Static Analysis of Java Programs in Jørgen Lindskov Knudsen, PerspectiECOOP 2001 - Object-Oriented Programming, in LECTURE NOTES IN COMPUTER SCIENCE, Heidelberg, Springer Verlag, vol. 2072, pp. 77-98, Convegno: ECOOP 2001 - Object-Oriented Programming, 15th European Conference, Budapest, Hungary, June 18-22, 2001 (ISBN 3540422064) (ISSN 0302-9743) Link DOI (Articolo in Atti di convegno)
  • CORTESI A.; RICCARDO FOCARDI Information Flow Security in Mobile Ambients, Proc. of the International Workshop on Cuncurrency and Coordination CONCOORD'01, in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, Amsterdam, Elsevier, vol. 54, pp. 58-68, Convegno: International Workshop on Cuncurrency and Coordination CONCOORD'01, Lipari Island, Italy, July 2001 (ISSN 1571-0661) Link DOI (Articolo in Atti di convegno)
  • CORTESI A.; LE CHARLIER B.; ROSSI S. Reexecution-Based Analysis of Logic Programs with Delay Declarations. in Dines Bjørner, Manfred Broy, Alexandre V. Zamulin, Perspectives of System Informatics, in LECTURE NOTES IN COMPUTER SCIENCE, Heidelberg, Springer Verlag, vol. 2244, pp. 395-405, Convegno: Perspectives of System Informatics, 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001 (ISBN 354043075X) (ISSN 0302-9743) Link DOI (Articolo in Atti di convegno)

2000

  • V. RAMACHANDRAN; CORTESI A.; P. VAN HENTENRYCK Abstract Domains for Reordering CLP(RLin) Programs, in JOURNAL OF LOGIC PROGRAMMING, vol. 41, pp. 217-256 (ISSN 0743-1066) Link DOI (Articolo su rivista)
  • CORTESI A.; B. LE CHARLIER; P. VAN HENTENRYCK Combinations of Abstract Domains for Logic Programming: Open Product and Generic Pattern Construction, in SCIENCE OF COMPUTER PROGRAMMING, vol. 38, pp. 27-71 (ISSN 0167-6423) Link DOI (Articolo su rivista)

1999

  • LE CHARLIER B; LECLERE C; ROSSI S.; CORTESI A Automated Verification of Prolog Programs, in JOURNAL OF LOGIC PROGRAMMING, vol. 39, pp. 3-42 (ISSN 0743-1066) Link DOI (Articolo su rivista)
  • CORTESI A.; G. FILE' Sharing is optimal, in JOURNAL OF LOGIC PROGRAMMING, vol. 38, pp. 371-386 (ISSN 0743-1066) Link DOI (Articolo su rivista)
  • (a cura di) CORTESI A.; FILE' G. Static Analysis, in LECTURE NOTES IN COMPUTER SCIENCE, BERLIN HEIDELBERG, Springer Verlag, vol. 1694 (ISBN 9783540664598) (ISSN 0302-9743) (Curatela)

1998

  • CORTESI A.; FILE' G.; WINSBOROUGH W. The quotient of an abstract interpretation, in THEORETICAL COMPUTER SCIENCE, vol. 202(1-2), pp. 163-192 (ISSN 0304-3975) Link DOI (Articolo su rivista)

1997

  • CORTESI A.; GIACOBAZZI R.; FILE' G.; PALAMIDESSI C.; RANZATO F. Complementation in abstract interpretation, in ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, vol. 19(1), pp. 7-47 (ISSN 0164-0925) Link DOI (Articolo su rivista)
  • LE CHARLIER B; LECLERE C; ROSSI S.; CORTESI A Automated Behavioural Verification of Prolog Programs, Joint Conference on Declarative Programming (APPIA-GULP-PRODE'97), pp. 189-200, Convegno: Joint Conference on Declarative Programming (APPIA-GULP-PRODE'97), Grado, Italy, 16-19 June (Articolo in Atti di convegno)
  • LE CHARLIER B; LECLERE C; ROSSI S.; CORTESI A Automated Verification of Behavioural Properties of Prolog Programs, Advances in Computing Science, in LECTURE NOTES IN COMPUTER SCIENCE, Berlin Heidelberg: Springer, vol. 1345, pp. 225-238, Convegno: Third Asian Computing Science Conference, ASIAN'97 (ISSN 0302-9743) (Articolo in Atti di convegno)

1996

  • CORTESI A.; FILE' G.; WINSBOROUGH Optimal Groundness Analysis Using Propositional Logic, in JOURNAL OF LOGIC PROGRAMMING, vol. 27(2), pp. 137-167 (ISSN 0743-1066) Link DOI (Articolo su rivista)

1995

  • VAN HENTENRYCK P.; CORTESI A.; LE CHARLIER B. Evaluation of the Domain Prop, in JOURNAL OF LOGIC PROGRAMMING, vol. 23(3), pp. 237-278 (ISSN 0743-1066) Link DOI (Articolo su rivista)
  • VAN HENTENRYCK P.; CORTESI A.; LE CHARLIER B. Type Analysis of Prolog Using Type Graphs, in JOURNAL OF LOGIC PROGRAMMING, vol. 22(3), pp. 179-208 (ISSN 0743-1066) Link DOI (Articolo su rivista)

1994

  • CORTESI A.; BAUDOUIN LE CHARLIER; PASCAL VAN HENTENRYCK Combinations of Abstract Domains for Logic Programming in Hans-Juergen Boehm, Bernard Lang, Daniel M. Yellin, Conference Record of POPL'94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, NEW YORK, ACM Press, pp. 227-239, Convegno: ACM POPL'94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Portland, Oregon, USA, January 17-21, 1994 (ISBN 9780897916363) (Articolo in Atti di convegno)
  • PASCAL VAN HENTENRYCK; CORTESI A.; BAUDOUIN LE CHARLIER Type Analysis of Prolog Using Type Graphs in Vivek Sarkar, Barbara G. Ryder, Mary Lou Soffa, Proceedings of the ACM SIGPLAN'94 Conference on Programming Language Design and Implementation (PLDI), New York, ACM Press, vol. 29(6), pp. 179-209, Convegno: ACM SIGPLAN'94 Conference on Programming Language Design and Implementation (PLDI), Orlando, Florida, USA, June 20-24, 1994 (ISBN 089791662X) (Articolo in Atti di convegno)

1993

  • CORTESI A.; FILE G. Graph Properties for Normal Logic Programs, in THEORETICAL COMPUTER SCIENCE, vol. 107(2), pp. 277-303 (ISSN 0304-3975) Link DOI (Articolo su rivista)

1992

  • CORTESI A.; GILBERTO FILE'; WILLIAM H. WINSBOROUGH Comparison of Abstract Interpretations in Werner Kuich, Automata, Languages and Programming, in LECTURE NOTES IN COMPUTER SCIENCE, Heidelberg, Springer Verlag, vol. 532, pp. 521-532, Convegno: Automata, Languages and Programming, 19th International Colloquium, ICALP92, Vienna, Austria, July 13-17, 1992 (ISBN 3540557199) (ISSN 0302-9743) Link DOI (Articolo in Atti di convegno)

1991

  • CORTESI A.; FILE' G. Abstract Interpretation of Logic Programs: An Abstract Domain for Groundness, Sharing, Freeness and Compoundness Analysis in Charles Consel, Olivier Danvy, Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'91, New York, ACM Press, vol. 26(1), pp. 52-61, Convegno: Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut, USA, June 17-19, 1991 (ISBN 0897914333) (Articolo in Atti di convegno)
  • CORTESI A.; FILE' G. Prop revisited: Propositional Formula as Abstract Domain for Groundness Analysis in AA.VV., Proceedings of the Sixth Annual IEEE Symposium on Logic in Computer Science, July 15-18, 1991, Amsterdam, The Netherlands, LOS ALAMITOS, CALIFORNIA, IEEE Computer Society Press, pp. 322-327, Convegno: LICS '91 - Sixth Annual IEEE Symposium on Logics in Computer Science, Amsterdam, The Netherlands, 15-18 July 1991 (ISBN 9780818622304) (Articolo in Atti di convegno)

1989

  • Alberto Bressan, Agostino Cortesi Directionally continuous selections in Banach Spaces, in NONLINEAR ANALYSIS, vol. vol. 13, n.8 , pp. 987-992 (ISSN 0362-546X) (Articolo su rivista)

1986

  • Alberto Bressan, Agostino Cortesi Lipschitz extensions of convex-valued maps, in ATTI DELLA ACCADEMIA NAZIONALE DEI LINCEI. RENDICONTI DELLA CLASSE DI SCIENZE FISICHE, MATEMATICHE E NATURALI, vol. VIII - 80, pp. 530-532 (ISSN 0392-7881) (Articolo su rivista)

Curriculum di Agostino CORTESI

Summary (in english)

I was born in Padova on January 11, 1963. After graduating in Mathematics in 1986, I got a PhD in Applied Mathematics and Informatics from the University of Padova. I spent a post-doc at Brown University in 1992/93. In 1994, I got a position as Assistant Professor at Ca' Foscari University in Venice. In 1998 I was promoted to Associate Professor, and in 2002 I was promoted to Full Professor. In the recent past, I served as Dean of the Computer Science programme, and as Department Chair. Since 2006 I also serve as Vice-Rector of Ca' Foscari University.
My main research interests concern programming languages theory and static analysis techniques, with particular emphasis on security applications. 
I published more than 100 papers in high level international journals and proceedings of international conferences.
I was also member of several program committees for international conferences (e.g., SAS, VMCAI, CSF) and of editorial boards of scientific journals (Computer Languages, Systems and Structures, Journal of Universal Computer Science).
Currently, I hold the chairs of "Software Engineering" and "Program Analysis and Verification" in the Computer Science programme at Ca' Foscari, and the chair on "Computer Networks and Information Systems" in the Business Administration programme. 
I also served as expert of the party (CTP - Consulente tecnico di parte) for some civil and penal cases in Court.


Formazione e carriera accademica

  • 2002-... : Professore ordinario di Informatica, Università Ca' Foscari Venezia.
  • 1998-02: Professore associato, Università Ca' Foscari Venezia.
  • 1994-98: Ricercatore, Università Ca' Foscari Venezia
  • 1992-93: Post-doc research associate, Brown University, Providence R.I., USA.
  • 1991-92: Borsa di Studio Senior dell'Istituto Nazionale di Alta Matematica F.Severi.
  • 1988-91: Dottorato di Ricerca in Matematica Applicata e Informatica Matematica, Università di Padova.
  • 1987-88: Servizio civile, Caritas, Casa Studentesca S.Fosca, Venezia
  • 1986: Laurea in Matematica, Università di Padova.
  • 1982: Maturita' Classica, Liceo Ginnasio "A.Pigafetta", Vicenza
  • 1963: Nasce a Padova, l'11 gennaio

Incarichi e Servizi 

  • 2011 - ...: Prorettore ai Rapporti con la Regione e le istituzioni politiche e imprenditoriali,. Univ. Ca' Foscari
  • 2013 - ...: Membro del Consiglio di Amministrazione del CISET - Centro Internazionale di Studi sull'Economia Turistica
  • 2012 - ...: Membro del Comitato di Indirizzo dell'IIS "F. Algarotti", Venezia
  • 2010 - ...: Membro del Comitato di Indirizzo e del Comitato Scientifico della Fondazione Istituto Tecnico Superiore per il Turismo, Jesolo
  • 2007 - ...: Membro del Comitato di Sorveglianza dei progetti FSE Regione Veneto (Rappresentante CRUV)
  • 2009 - 11: Prorettore alla Valutazione, Univ. Ca' Foscari
  • 2008 - 09: Coordinatore del Master universitario in "Informatica per la Comunicazione",  Univ. Ca' Foscari
  • 2007 - 10: Membro del Comitato Nazionale ICT per il VII programma quadro (Rappresentante CRUI)
  • 2006 - 09: Prorettore alle Politiche per la Valutazione e l'Innovazione,  Univ. Ca' Foscari.
  • 2006 - 09: Direttore del Dipartimento di Informatica,  Univ. Ca' Foscari Venezia.
  • 2006 - 09: Membro del Consiglio Direttivo del CINI, Consorzio Interuniversitario Nazionale per l'Informatica
  • 2006 - 08: Membro dell'Advisory Board di Euro-Inf (European Accreditation of Informatics Programmes)
  • 2004 - 06: Presidente del CTA, Centro di Telecomunicazioni di Ateneo,  Univ. Ca' Foscari
  • 2003 - 07: Vicepresidente del GRIN, Associazione italiana dei docenti universitari di Informatica e Presidente della Commissione Didattica Nazionale del GRIN
  • 2003 - 04: Coordinatore di Ateneo del progetto CampusOne,  Univ. Ca' Foscari
  • 2001 - 07: Vicepresidente del collegio didattico del corso di laurea magistrale interfacolta' in Informatica per le Discipline Umanistiche,  Univ. Ca' Foscari
  • 2001 - 04: Presidente dei Corsi di Laurea in Informatica, Univ. Ca' Foscari.

Ricerca

  • Area di ricerca: linguaggi di programmazione, metodologie di analisi statica di programmi, ingegneria del software
  • Membro dello steering committee della conferenza internazionale "Verification, Model Checking and Abstract Interpretation"
  • Membro dell'editorial board delle riviste internazionali "Computer Languages, Systems and Structures",  "Journal of Universal Computer Science", e della "Rivista di Informatica Umanistica".
  • Membro dei comitati di programma delle seguenti conferenze internazionali: SAS: Static Analysis Symposium (1997 Paris, 1998 Pisa, 1999 Venice, 2007 Copenhagen), AGP: Declarative Programming (1997 Grado, 1998 La Coruna, 2003 Rende) , VMCAI: Verification, Model Checking, and Abstract Interpretation (2001 Venice, 2002 New York, 2003 Venice, 2004 Paris, 2008 San Francisco, 2013 Rome, 2014 San Diego), CSFW Computer Security Foundations (Asilomar 2004), Bytecode (Budapest 2008), ACM Informatics Education Europe (Thessaloniki 2007, Venice 2008, Freiburg 2009), NordSec (Copenhagen 2008), TGC Trustworthy Global Computing (Barcelona 2008), CISIM (Crakow 2010, Kolkata 2011, Venice 2012, Krakow 2013).
  • Guest editor di special issues delle seguenti riviste internazionali: "Science of Computer Programming", "Computer Languages", e "Software Tools for Technology Transfer".
  • Responsabile di Unita' di Ricerca: PRIN 1999, PRIN 2000, FIRB 2001, PRIN 2004, RSA2010.
  • Visiting professor all'Ecole Polytechnique (Palaiseau 2004), alla University of Illinois (Chicago 2005) ed all'Ecole Normale Superieure (Paris 2008).
  • Membro di PhD commitees presso: DTU (Copenhagen), Ecole Polytechnique (Paris), Universite' de Namur (Belgio), Universite' de Louvain la Neuve (Belgio), Ecole Normale Superieure (Paris).

Didattica

  • Ingegneria del Software (laurea triennale in Informatica)
  • Analysis and Verification of Software (laurea magistrale in Informatica)
  • Elementi di Informatica (laurea triennale in Lettere)
  • Reti e Sistemi Informativi Aziendali (laurea magistrale in Economia Aziendale)
  • Sistemi Informativi per il Turismo (Master in economia del turismo, Oriago)

Trasferimento Tecnologico

  • dal 2013: Membro del comitato strategico di ISACA Venice Chapter
  • dal 2013: Membro della commissione brevetti dell'Università  Ca' Foscari 
  • dal 2008 al 2013: Membro del Consiglio di Amministrazione di Nesting scarl, società di ingegneria dell'innovazione con sede a Venezia
  • dal 2009 al 2012: Membro del Nucleo di Alta Consulenza Scientifica del Consiglio Regionale del Veneto per il Sistema Informativo del Consiglio Regionale
  • Responsabile di progetti di ricerca e di trasferimento tecnologico con Regione Veneto, Treviso Tecnologia, Elitec srl, Kairos srl, Evolvenda srl.

Valutazione

  • Inserito nel 2011 nella lista dei nominativi selezionati per il Consiglio Direttivo dell'ANVUR 
  • Dal 2012 è membro dell'Organismo Indipendente di Valutazione della Performance (OIV) del Consiglio Regionale del Veneto.
  • Dal 2013 nell'Albo degli Esperti Disciplinari Area CUN 01 (Matematica e Informatica) dell'ANVUR
  • Dal 2012 nell'Albo Esperti Ricerca Industriale - D.Lgs. 297/199 - Direzione Generale per il Coordinamento e lo Sviluppo della Ricerca, Ministero dell'Istruzione, Università e Ricerca
  • Dal 2011 è Expert Pool Member della European Quality Assurance Network for Informatics Education (EQANIE)
  • dal 2010 al 2011: Responsabile del progetto FSE RV Direz. Lavoro sulla Certificazione delle Competenze per le Lauree di primo livello
  • dal 2007 al 2008: Membro di peer-review teams per l'accreditamento di corsi di laurea universitari a livello europeo (progetto Tempus)
  • dal 2006 al 2008: Membro dell'Advisory Board del progetto europeo Euro-Inf (European Accreditation of Informatics Programmes)
  • Dal 2003 al 2004: Coordinatore di Ateneo del progetto CRUI Campus-One per la valutazione dei percorsi universitari

 

© Ca'Foscari 2014