CORTESI Agostino

Qualifica Professore Ordinario
Telefono 041 234 8450
E-mail cortesi@unive.it
egov@unive.it - CORTESI Agostino
Sito web www.unive.it/persone/cortesi (scheda personale)
 http://www.dsi.unive.it/~cortesi
Struttura Dipartimento di Scienze Ambientali, Informatica e Statistica
Sito web struttura: http://www.unive.it/dais
Sede: Campus scientifico via Torino
Research team Public governance, welfare and social innovation
Research team Economics and management of innovation, and entrepreneurship
Incarichi Componente del Data Monitoring Board

Pubblicazioni per anno

2019
  • Sahoo, Swagatika; Fajge, Akshay M.; Halder, Raju; Cortesi, Agostino A Hierarchical and Abstraction-Based Blockchain Model in APPLIED SCIENCES, vol. 9, pp. 2343 (ISSN 2076-3417) (Articolo su rivista)
    Link DOI Link al documento: 10278/3714437 abstract
  • Mandal, Amit Kr; Panarotto, Federica; Cortesi, Agostino; Ferrara, Pietro; Spoto, Fausto Static analysis of Android Auto infotainment and on‐board diagnostics II apps in SOFTWARE-PRACTICE & EXPERIENCE, vol. 49, pp. 1131-1161 (ISSN 0038-0644) (Articolo su rivista)
    Link DOI Link al documento: 10278/3714436 abstract
  • Cortesi, Agostino La valutazione nei Consigli Regionali , La valutazione del manager pubblico: novità normative e processi operativi, Wolters Kluwer, pp. 59-69 (ISBN 978-8-8133-7033-6) (Articolo su libro)
    Link al documento: 10278/3709935 abstract
  • Dieber, Bernhard; White, Ruffin; Taurer, Sebastian; Breiling, Benjamin; Caiazza, Gianluca; Christensen, Henrik; Cortesi, Agostino Penetration testing ROS , Robot Operating System (ROS) The Complete Reference (Volume 4), Springer, vol. 831, pp. 183-225 (ISBN 978-3-030-20189-0) (ISSN 1860-9503) (Articolo su libro)
    Link DOI Link al documento: 10278/3711479 abstract
  • Ruffin, White; Caiazza, Gianluca; Henrik, Christensen; Cortesi, Agostino SROS1: Using and Developing Secure ROS1 Systems , Robot Operating System (ROS) (Volume 3), Springer, pp. 373-405 (ISBN 978-3-319-91589-0) (Articolo su libro)
    Link DOIURL correlato Link al documento: 10278/3699694 abstract
  • Caiazza, Gianluca; White, Ruffin; Cortesi, Agostino Enhancing security in ROS , Advances in Intelligent Systems and Computing, vol.8, Springer, pp. 5-13, Convegno: 5nd International Doctoral Symposium on Applied Computation and Security Systems (ISBN 978-981-13-3701-7) (Articolo in Atti di convegno)
    Link DOI Link al documento: 10278/3699695 abstract
  • White, Ruffin; Caiazza, Gianluca; Jiang, Chenxu; Ou, Xinyue; Yang, Zhiyue; Cortesi, Agostino; Christensen, Henrik Network Reconnaissance and Vulnerability Excavation of Secure DDS Systems , EuroS&PW 2019, IEEE Computer Society Conference Publishing Services, Convegno: SSIoT 2019 - IEEE EuroS&P Workshop on Software Security for Internet of Things, at 4th IEEE European Symposium on Security and Privacy, 17/06/2019-19/06/2019 (ISBN 978-1-7281-3026-2) (Articolo in Atti di convegno)
    Link al documento: 10278/3715756 abstract
  • White, Ruffin; Caiazza, Gianluca; Cortesi, Agostino; Christensen, Henrik I. Procedurally Provisioned Access Control for Robotic Systems , IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), IEEE/RSJ, Convegno: International Conference on Intelligent Robots and Systems (IROS) (Articolo in Atti di convegno)
    Link al documento: 10278/3711478 abstract
2018
  • Cortesi, Agostino; Ferrara, Pietro; Halder, Raju; Zanioli, Matteo Combining symbolic and numerical domains for information leakage analysis in TRANSACTIONS ON COMPUTATIONAL SCIENCE, vol. 31, pp. 98-135 (ISSN 1866-4733) (Articolo su rivista)
    Link al documento: 10278/3702275 abstract
  • Jana, Angshuman; Halder, Raju; Abhishekh, K. V.; Ganni, S. D.; Cortesi, Agostino Extending Abstract Interpretation to Dependency Analysis of Database Applications in IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, vol. N/D (ISSN 0098-5589) (Articolo su rivista)
    Link DOI Link al documento: 10278/3702278 abstract
  • Ferrara, Pietro; Cortesi, Agostino; Spoto, Fausto CIL to Java-bytecode translation for static analysis leveraging in Pietro Ferrara, Agostino Cortesi, Fausto Spoto, Proceedings - International Conference on Software Engineering in PROCEEDINGS - INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, IEEE Computer Society, pp. 40-49, Convegno: 6th ACM/IEEE Conference on Formal Methods in Software Engineering, FormaliSE 2018, 2018 (ISBN 9781450357180) (ISSN 0270-5257) (Articolo in Atti di convegno)
    Link DOI Link al documento: 10278/3703089 abstract
  • Cortesi, Agostino; Olliaro, Martina M-String Segmentation: A Refined Abstract Domain for String Analysis in C Programs , Proceedings of the IEEE 12th International Symposium on Theoretical Aspects of Software Engineering TASE 2018, IEEE, pp. 1-8, Convegno: International Symposium on Theoretical Aspects of Software Engineering (TASE), 29-31 Aug. 2018 (ISBN 978-1-5386-7305-8) (Articolo in Atti di convegno)
    Link DOIURL correlato Link al documento: 10278/3708312 abstract
  • Samanta, Riya; Kumari, Chandni; Deb, Novarun; Bose, Sagar; Cortesi, Agostino; Chaki, Nabendu Node localization for indoor tracking using artificial neural network in Samanta, Riya, 3rd IEEE International Conference on Fog and Mobile Edge Computing, FMEC 2018, IEEE - Institute of Electrical and Electronics Engineers Inc., pp. 229-233, Convegno: 3rd IEEE International Conference on Fog and Mobile Edge Computing, FMEC 2018, 2018 (ISBN 9781538658963) (Articolo in Atti di convegno)
    Link DOIURL correlato Link al documento: 10278/3702277 abstract
  • Salvia, Rocco; Ferrara, Pietro; Spoto, Fausto; Cortesi, Agostino SDLI: Static Detection of Leaks Across Intents , Proceedings - 17th IEEE International Conference on Trust, Security and Privacy in Computing and Communications and 12th IEEE International Conference on Big Data Science and Engineering, Trustcom/BigDataSE 2018, Institute of Electrical and Electronics Engineers Inc., pp. 1002-1007, Convegno: 17th IEEE International Conference on Trust, Security and Privacy in Computing and Communications and 12th IEEE International Conference on Big Data Science and Engineering, Trustcom/BigDataSE 2018, 2018 (ISBN 9781538643877) (Articolo in Atti di convegno)
    Link DOIURL correlato Link al documento: 10278/3706889 abstract
  • Panarotto, Federica; Cortesi, Agostino; Ferrara, Pietro; Mandal, Amit Kr; Spoto, Fausto Static analysis of android apps interaction with automotive CAN , Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) in LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, Springer Verlag, vol. 11344, pp. 114-123, Convegno: 3rd International Conference on Smart Computing and Communications, SmartCom 2018, 2018 (ISBN 9783030057541) (ISSN 0302-9743) (Articolo in Atti di convegno)
    Link DOIURL correlato Link al documento: 10278/3708770 abstract
  • Mandal, Amit Kr; Cortesi, Agostino; Ferrara, Pietro; Panarotto, Federica; Spoto, Fausto Vulnerability analysis of android auto infotainment apps in Mandal, Amit Kr, 2018 ACM International Conference on Computing Frontiers, CF 2018 - Proceedings, Association for Computing Machinery, Inc, pp. 183-190, Convegno: 15th ACM International Conference on Computing Frontiers, CF 2018, 2018 (ISBN 9781450357616) (Articolo in Atti di convegno)
    Link DOIURL correlato Link al documento: 10278/3703090 abstract
  • (a cura di) Chaki, Rituparna; Cortesi, Agostino; Saeed, Khalid; Chaki, Nabendu Advanced Computing and Systems for Security - Volume Five in Rituparna Chaki, Agostino Cortesi, Khalid Saeed, Nabendu Chaki in ADVANCES IN INTELLIGENT SYSTEMS AND COMPUTING, Springer Nature, vol. 666, pp. 1-179 (ISBN 978-981-10-8179-8; 978-981-10-8180-4) (ISSN 2194-5357) (Curatela)
    Link DOI Link al documento: 10278/3700880 abstract
  • (a cura di) Chaki, Rituparna; Saeed, Khalid; Cortesi, Agostino; Chaki, Nabendu Advanced Computing and Systems for Security - Volume Seven in ADVANCES IN INTELLIGENT SYSTEMS AND COMPUTING, Springer Verlag, vol. 897, pp. v-vi (ISBN 9789811332494) (ISSN 2194-5357) (Curatela)
    URL correlato Link al documento: 10278/3708774
  • (a cura di) Chaki, Rituparna; Cortesi, Agostino; Saeed, Khalid; Chaki, Nabendu Advanced Computing and Systems for Security - Volume Six in Rituparna Chaki, Agostino Cortesi, Khalid Saeed, Nabendu Chaki in ADVANCES IN INTELLIGENT SYSTEMS AND COMPUTING, Springer Nature, vol. 667, pp. 1-169 (ISBN 978-981-10-8182-8; 978-981-10-8183-5) (ISSN 2194-5357) (Curatela)
    Link DOI Link al documento: 10278/3700881 abstract
2017
  • DI GIACOMO, Francesco; Abbadi, Mohamed; Cortesi, Agostino; Spronck, Pieter; Costantini, Giulia; Maggiore, Giuseppe High performance encapsulation and networking in Casanova 2 in ENTERTAINMENT COMPUTING, vol. 20, pp. 25-41 (ISSN 1875-9521) (Articolo su rivista)
    Link DOI Link al documento: 10278/3684789 abstract
  • Pathan, Al-Sakib Khan; Zhang, Yudong; Bakshi, Sambit; Siarry, Patrick; Sa, Pankaj Kumar; Chaki, Nabendu; Cortesi, Agostino Introduction to special issue on intelligent computing and adaptive systems in INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, vol. 13, pp. 241-242 (ISSN 1614-5046) (Articolo su rivista)
    Link DOIURL correlato Link al documento: 10278/3697515 abstract
  • Chaki, Rituparna; Saeed, Khalid; Cortesi, Agostino; Chaki, Nabendu Preface , Advances in Intelligent Systems and Computing, Springer Verlag, vol. 567, pp. v-vi (ISBN 9789811034084) (Prefazione/Postfazione)
    URL correlato Link al documento: 10278/3702273
  • Chaki, Rituparna; Saeed, Khalid; Cortesi, Agostino; Chaki, Nabendu Preface , Advances in Intelligent Systems and Computing, Springer Verlag, vol. 568 (ISBN 9789811033902) (Prefazione/Postfazione)
    Link DOIURL correlato Link al documento: 10278/3702274
  • Awan, Malik Khurram; Cortesi, Agostino Blockchain transaction analysis using dominant sets , Computer Information Systems and Industrial Management in LECTURE NOTES IN COMPUTER SCIENCE, Springer Verlag, vol. 10244, pp. 229-239, Convegno: 16th IFIP TC8 International Conference on Computer Information Systems and Industrial Management, CISIM 2017, 2017 (ISBN 9783319591049) (ISSN 1611-3349) (Articolo in Atti di convegno)
    Link DOIURL correlato Link al documento: 10278/3690453 abstract
  • Di Giacomo, Francesco; Abbadi, Mohamed; Cortesi, Agostino; Spronck, Pieter; Maggiore, Giuseppe Metacasanova: an optimized meta-compiler for Domain-Specific Languages , Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering, ACM, Convegno: Software Language Engineering 2017, 23/10/2017 - 24/10/2017 (ISBN 978-1-4503-5525-4) (Articolo in Atti di convegno)
    Link DOI Link al documento: 10278/3690432 abstract
  • Eugenio, Enrico; Cortesi, Agostino WiFi-related energy consumption analysis of mobile devices in a walkable area by abstract interpretation , Distributed Computing and Internet Technology. Lecture Notes in Computer Science, Springer Verlag, vol. 10109, pp. 27-39, Convegno: 13th International Conference on Distributed Computing and Internet Technology, ICDCIT 2017, 2017 (ISBN 9783319504711; 9783319504711) (Articolo in Atti di convegno)
    Link DOIURL correlato Link al documento: 10278/3684301 abstract
2016
  • Sen, Soumya; Cortesi, Agostino; Chaki, Nabendu Hyper-Lattice Algebraic Model for Data Warehousing , Springer International Publishing, pp. 1-63 (ISBN 9783319280448; 9783319280448) (Monografia o trattato scientifico)
    Link DOIURL correlato Link al documento: 10278/3684299 abstract
  • Chakraborty, Supriya; Cortesi, Agostino; Chaki, Nabedu A uniform representation of multi-variant data in intensive-query databases in INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, vol. 12, pp. 1-14 (ISSN 1614-5046) (Articolo su rivista)
    Link DOIURL correlato Link al documento: 10278/3677640 abstract
  • Halder, Raju; Jana, Angshuman; Cortesi, Agostino Data leakage analysis of the hibernate query language on a propositional formulae domain in TRANSACTIONS ON LARGE-SCALE DATA- AND KNOWLEDGE-CENTERED SYSTEMS, vol. 9480, pp. 23-44 (ISSN 1869-1994) (Articolo su rivista)
    Link DOIURL correlato Link al documento: 10278/3677644 abstract
  • DI GIACOMO, Francesco; Abbadi, Mohamed; Cortesi, Agostino; Spronck, Pieter; Maggiore, Giuseppe Building Game Scripting DSL’s with the Metacasanova Metacompiler in Francesco Di Giacomo, Mohamed Abbadi, Agostino Cortesi, Pieter Spronck, Giuseppe Maggiore, Intelligent Technologies for Interactive Entertainment, Springer, vol. 178, Convegno: 8th International Conference, INTETAIN 2016, 28-30 Giugno (ISBN 978-3-319-49615-3; 978-3-319-49616-0) (ISSN 1867-8211) (Articolo in Atti di convegno)
    Link DOI Link al documento: 10278/3675230 abstract
  • Barbon, Gianluca; Cortesi, Agostino; Ferrara, Pietro; Steffinlongo, Enrico DAPA: Degradation-aware privacy analysis of Android apps , Security and Trust Management, Lecture Notes in Computer Science, Volume 9871, Springer-Verlag, vol. 9871, pp. 32-46, Convegno: STM 2016, 2016 (ISBN 978-331946597-5) (Articolo in Atti di convegno)
    Link DOIURL correlato Link al documento: 10278/3684287 abstract
  • Sen, Soumya; Ghosh, Partha; Cortesi, Agostino Materialized view construction using linearizable nonlinear regression , Advanced Computing and Systems for Security, Springer Verlag, vol. 395, pp. 261-276, Convegno: 2nd International Doctoral Symposium on Applied Computation and Security Systems, ACSS 2015, 2015 (ISBN 9788132226482; 9788132226482) (ISSN 2194-5357) (Articolo in Atti di convegno)
    Link DOIURL correlato Link al documento: 10278/3666311 abstract
  • Soumya, Sen; Cortesi, Agostino; Nabendu, Chaki ROLAP based data warehouse schema to XML schema conversion , Proceedings 2016 IEEE International Conference on Industrial Technology (ICIT), IEEE, pp. 1736-1741, Convegno: 2016 IEEE International Conference on Industrial Technology (ICIT), 14-17 March, 2016 (ISBN 9781467380751) (Articolo in Atti di convegno)
    Link DOIURL correlato Link al documento: 10278/3674153 abstract
  • (a cura di) Chaki, Rituparna; Cortesi, Agostino; Saeed, Khalid; Chaki, Nabendu Advanced computing and systems for security in Chaki, R., Cortesi, A., Saeed, K., Chaki, N. in ADVANCES IN INTELLIGENT SYSTEMS AND COMPUTING, Springer Verlag, vol. 395 (ISBN 9788132226482; 9788132226482) (ISSN 2194-5357) (Curatela)
    Link DOIURL correlato Link al documento: 10278/3678596
2015
  • Costantini, Giulia; Ferrara, Pietro.; Cortesi, Agostino A suite of abstract domains for static analysis of string values in SOFTWARE, PRACTICE AND EXPERIENCE, vol. 45, pp. 245-287 (ISSN 1097-024X) (Articolo su rivista)
    Link DOIURL correlato Link al documento: 10278/37774 abstract
  • Cortesi, A.; Costantini, G.; Ferrara, P. The abstract domain of Trapezoid Step Functions in COMPUTER LANGUAGES, SYSTEMS & STRUCTURES, vol. 43, pp. 41-68 (ISSN 1477-8424) (Articolo su rivista)
    Link DOIURL correlato Link al documento: 10278/3661627 abstract
  • Abbadi, Mohamed; DI GIACOMO, Francesco; Cortesi, Agostino; Pieter, Spronck; Giulia, Costantini; Giuseppe, Maggiore Casanova: A simple, high-performance language for game development , Serious Games - First Joint International Conference, JCSG 2015, Springer, vol. 9090, pp. 123-134, Convegno: JCSG 2015, June 3-4, 2015 (ISBN 978-3-319-19125-6) (ISSN 0302-9743) (Articolo in Atti di convegno)
    Link DOIURL correlato Link al documento: 10278/3650153 abstract
  • Cortesi, Agostino; Ferrara, Pietro; Pistoia, Marco; Tripp, Omer Datacentric Semantics for Verification of Privacy Policy Compliance by Mobile Applications , Verification, Model Checking, and Abstract Interpretation, Springer Verlag, vol. 8931, pp. 61-79, Convegno: 16th International Conference on verification, Model Checking and Abstract Interpretation, VMCAI 2015, January 12-14, 2015. (ISBN 978-3-662-46080-1; 978-3-662-46081-8) (ISSN 0302-9743) (Articolo in Atti di convegno)
    Link DOIURL correlato Link al documento: 10278/3661631 abstract
  • Abbadi, Mohamed ; Di Giacomo, Francesco; Cortesi, Agostino; Spronck, Pieter; Costantini, Giulia; Maggiore, Giuseppe High performance encapsulation in Casanova 2 , Computer Science and Electronic Engineering Conference (CEEC), 2015 7th, IEEE, pp. 201-206, Convegno: 7th Computer Science and Electronic Engineering Conference (CEEC), 2015, 24-25/06/2015 (ISBN 9781467394819) (Articolo in Atti di convegno)
    Link DOIURL correlato Link al documento: 10278/3671256 abstract
  • Jana, Angshuman; Halder, Raju; Chaki, Nabendu; Cortesi, Agostino Policy-Based Slicing of Hibernate Query Language , Computer Information Systems and Industrial Management, Springer Verlag, vol. 9339, pp. 267-281, Convegno: 14th IFIP TC 8 International Conference on Computer Information Systems and Industrial Management, CISIM 2015, September 24–26, 2015 (ISBN 978-3-319-24368-9; 978-3-319-24369-6) (ISSN 0302-9743) (Articolo in Atti di convegno)
    Link DOIURL correlato Link al documento: 10278/3661635 abstract
  • Barbon, Gianluca; Cortesi, Agostino; Ferrara, Pietro; Pistoia, Marco; Tripp, Omer Privacy Analysis of Android Apps: Implicit Flows and Quantitative Analysis in Gianluca Barbon, Agostino Cortesi, Pietro Ferrara, Marco Pistoia, Omer Tripp, Computer Information Systems and Industrial Management, Springer, vol. 9339, pp. 3-23, Convegno: 14th IFIP TC 8 International Conference on Computer Information Systems and Industrial Management, CISIM 2015, September 24–26, 2015. (ISBN 978-3-319-24368-9; 978-3-319-24369-6) (ISSN 0302-9743) (Articolo in Atti di convegno)
    Link DOIURL correlato Link al documento: 10278/3661633 abstract
  • Jana, Angshuman; Halder, Raju; Cortesi, Agostino Verification of hibernate query language by abstract interpretation , Intelligence Science and Big Data Engineering. Big Data and Machine Learning Techniques, Springer Verlag, vol. 9243, pp. 116-128, Convegno: 5th International Conference on Intelligence Science and Big Data Engineering, IScIDE 2015, 2015 (ISBN 9783319238616; 9783319238616) (ISSN 0302-9743) (Articolo in Atti di convegno)
    Link DOIURL correlato Link al documento: 10278/3666310 abstract
2014
  • Bidyut, Sarkar; Nabendu, Chaki; Cortesi, Agostino 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)
    URL correlato Link al documento: 10278/38385 abstract
  • Manali, Chakraborty; Nabendu, Chaki; Cortesi, Agostino A New Intrusion Prevention System for Protecting Smart Grids from ICMPv6 Vulnerabilities , Proceedings of the 2014 Federated Conference on Computer Science and Information Systems, IEEE COMPUTER SOCIETY, vol. 2, pp. 1539-1547, Convegno: FEDCSIS 2014, 7-10 September, 2014 (ISBN 9788360810576) (ISSN 2300-5963) (Articolo in Atti di convegno)
    Link DOIURL correlato Link al documento: 10278/43541 abstract
  • 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, March 24 - 28, 2014 (ISBN 9781450324694) (Articolo in Atti di convegno)
    Link DOI Link al documento: 10278/40732 abstract
  • Agostino Cortesi; Raju Halder Information-flow Analysis of Hibernate Query Languages , Future Data and Security Engineering, © Springer-Verlag Berlin Heidelberg, vol. 8860, pp. 262-274, Convegno: FDSE 2014, November 19-21, 2014 (ISBN 9783319127781) (ISSN 0302-9743) (Articolo in Atti di convegno)
    Link DOIURL correlato Link al documento: 10278/43540 abstract
  • 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: link esterno , Fax: (732)981-9667, Convegno: 44th International Symposium on Robotics, 26-28 November, 2013 (Articolo in Atti di convegno)
    Link DOI Link al documento: 10278/39569 abstract
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) (Articolo su rivista)
    Link DOIURL correlato Link al documento: 10278/38043 abstract
  • HALDER R.; CORTESI A. Abstract program slicing on dependence condition graphs in SCIENCE OF COMPUTER PROGRAMMING, vol. 78, pp. 1240-1263 (ISSN 0167-6423) (Articolo su rivista)
    Link DOI Link al documento: 10278/34146 abstract
  • 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)
    URL correlato Link al documento: 10278/37241 abstract
  • Bhattacharya, Sukriti; Cortesi, Agostino Distortion-Free Authentication Watermarking , Software and Data Technologies, Berlin, Springer Verlag, vol. 170, pp. 205-219 (ISBN 9783642295775) (ISSN 1865-0929) (Articolo su libro)
    Link DOI Link al documento: 10278/29460 abstract
  • HALDER R.; CORTESI A. Fine Grained Access Control for Relational Databases by Abstract Interpretation , Software and Data Technologies, Berlin, Springer Verlag, vol. 170, pp. 235-249 (ISBN 9783642295775) (ISSN 1865-0929) (Articolo su libro)
    Link DOI Link al documento: 10278/23489 abstract
  • SPANO' A.; BUGLIESI M.; CORTESI A. Typing Legacy COBOL Code , Software and Data Technologies, Berlin, Springer-Verlag, vol. 303, pp. 151-165 (ISBN 9783642361760; 9783642361777) (ISSN 1865-0929) (Articolo su libro)
    Link DOI Link al documento: 10278/37423 abstract
  • CORTESI A.; HALDER R. Abstract Interpretation of Recursive Queries in Hota, Chittaranjan; Srimani, Pradip K, Distributed Computing and Internet Technology, Berlin, Springer-Verlag, vol. 7753, pp. 157-170, Convegno: 9th International Conference on Distributed Computing and Internet Technology, ICDCIT 2013, February 5-8, 2013 (ISBN 9783642360701) (ISSN 0302-9743) (Articolo in Atti di convegno)
    Link DOI Link al documento: 10278/37417 abstract
  • 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, March 18 - 22, 2013 (ISBN 9781450316569) (Articolo in Atti di convegno)
    Link DOI Link al documento: 10278/37170 abstract
  • 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, Polskie Towarzystwo Informatyczne, vol. 1, pp. 1157-1164, Convegno: AITM'13—11th Conference on Advanced Information Technologies for Management, 8-11 September 2013 (ISBN 9781467344715) (ISSN 2300-5963) (Articolo in Atti di convegno)
    Link DOIURL correlato Link al documento: 10278/38707 abstract
  • 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, Heidelberg, Springer Verlag, vol. 8144, pp. 447-463, Convegno: IEEE International Conference on Software Engineering Methods, ICFEM 2013, October 29 - November 1, 2013 (ISBN 9783642412011) (ISSN 0302-9743) (Articolo in Atti di convegno)
    Link DOIURL correlato Link al documento: 10278/37776 abstract
  • (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) (Curatela)
    Link DOIURL correlato Link al documento: 10278/38291 abstract
2012
  • Boschetto, E.; Candiello, A.; Cortesi, Agostino; Fignani, F. Donne e Tecnologie Informatiche , Venezia, Edizioni Ca’ Foscari - Digital Publishing, pp. 1-144 (ISBN 978-88-97735-07-6) (Monografia o trattato scientifico)
    Link DOIURL correlato Link al documento: 10278/31113 abstract
  • HALDER R.; CORTESI A. Abstract Interpretation of Database Query Languages in COMPUTER LANGUAGES, SYSTEMS & STRUCTURES, vol. 38(2), pp. 123-157 (ISSN 1477-8424) (Articolo su rivista)
    Link DOI Link al documento: 10278/29388 abstract
  • 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) (Articolo su rivista)
    Link DOI Link al documento: 10278/25921 abstract
  • 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) (Articolo su libro)
    Link DOI Link al documento: 10278/30275 abstract
  • Sen, S.; Dutta, A.; Cortesi, Agostino; Chaki, N. A New Scale for Attribute Dependency in Large Database Systems , Computer Information Systems and Industrial Management, Heidelberg, Springer Verlag, vol. 7564, pp. 266-277, Convegno: 11th IFIP TC8 International Conference on Computer Information Systems and Industrial Management, CISIM 2012, 26-28/09/2012 (ISBN 9783642332593) (ISSN 0302-9743) (Articolo in Atti di convegno)
    Link DOI Link al documento: 10278/35746 abstract
  • COSTANTINI G.; FERRARA P.; CORTESI A. Linear approximation of continuous systems with Trapezoid Step Functions in Jhala, Ranjit; Igarashi, Atsushi, Programming Languages and Systems, Berlin, Springer-Verlag, vol. 7705, pp. 98-114, Convegno: Programming Languages and Systems, 10th Asian Symposium, APLAS 2012, December 11-13, 2012, (ISBN 9783642351815) (ISSN 0302-9743) (Articolo in Atti di convegno)
    Link DOI Link al documento: 10278/37157 abstract
  • 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, March 26-30 (ISBN 9781450308571) (Articolo in Atti di convegno)
    Link DOI Link al documento: 10278/27119 abstract
  • 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, July 24-27, 2012 (ISBN 9789898565198) (Articolo in Atti di convegno)
    Link DOI Link al documento: 10278/29630 abstract
  • (a cura di) CORTESI A.; CHAKI N.; SAEED K.; WIERZCHON S. Computer Information Systems and Industrial Management in LECTURE NOTES IN COMPUTER SCIENCE, Heidelberg, Springer Verlag, vol. 7564, pp. 1-444 (ISBN 9783642332593) (ISSN 0302-9743) (Curatela)
    Link DOI Link al documento: 10278/35819 abstract
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) (Articolo su rivista)
    Link DOI Link al documento: 10278/29334 abstract
  • HALDER R.; CORTESI A. Cooperative Query Answering by Abstract Interpretation in Ivana Cerná et al., SOFSEM 2011: Theory and Practice of Computer Science, Heidelberg, Springer Verlag, vol. 6543, pp. 284-296, Convegno: 37th Conference on Current Trends in Theory and Practice of Computer Science, January 22-28, 2011 (ISBN 9783642183805) (ISSN 0302-9743) (Articolo in Atti di convegno)
    Link DOI Link al documento: 10278/4442 abstract
  • 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, 4-6 maggio 2011 (ISBN 9788890540622) (Articolo in Atti di convegno)
    Link al documento: 10278/24399 abstract
  • 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, October 19 - 22, 2011 (ISBN 9781450310178) (Articolo in Atti di convegno)
    Link DOI Link al documento: 10278/23557 abstract
  • ZANIOLI M.; CORTESI A. Information Leakage Analysis by Abstract Interpretation in Ivana Cerná et al., SOFSEM 2011: Theory and Practice of Computer Science, Heidelberg, Springer Verlag, vol. 6543, pp. 545-557, Convegno: 7th Conference on Current Trends in Theory and Practice of Computer Science, January 22-28, 2011 (ISBN 9783642183805) (ISSN 0302-9743) (Articolo in Atti di convegno)
    Link DOI Link al documento: 10278/29367 abstract
  • Candiello, A.; Cortesi, Agostino KPI-Supported PDCA Model for Innovation Policy Management in Local Government in Marijn Janssen, Hans Jochen Scholl, Maria Wimmer, Yao-Hua Tan, Electronic Government, Heidelberg, Springer Verlag, vol. 6846, pp. 320-331, Convegno: 10th IFIP WG 8.5 International Conference, EGOV 2011, August 28 - September 2, 2011 (ISBN 9783642228773) (ISSN 0302-9743) (Articolo in Atti di convegno)
    Link DOI Link al documento: 10278/28239 abstract
  • 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, Berlin, Springer Verlag, vol. 245, pp. 192-201, Convegno: 10th International Conference on Computer Information Systems and Industrial management Applications - CISIM 2011, December 14-16, 2011 (ISBN 9783642272448) (ISSN 1865-0929) (Articolo in Atti di convegno)
    Link DOI Link al documento: 10278/29426 abstract
  • HALDER R.; CORTESI A. Observation-Based Fine Grained Access Control for XML Documents in Chaki N., Cortesi A., Computer Information Systems: Analysis and Technologies., Berlin, Springer Verlag, vol. 245, pp. 267-276, Convegno: 10th International Conference on Computer Information Systems and Industrial management Applications - CISIM 2011, December 14-16, 2011 (ISBN 9783642272448) (ISSN 1865-0929) (Articolo in Atti di convegno)
    Link DOI Link al documento: 10278/30329 abstract
  • 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, 18-21 July, 2011 (ISBN 9789898425775) (Articolo in Atti di convegno)
    Link al documento: 10278/29448 abstract
  • COSTANTINI G.; FERRARA P.; CORTESI A. Static Analysis of String Values in Shengchao Qin and Zongyan Qiu, Formal Methods and Software Engineering, Heidelberg, Germany: Springer Verlag Germany, vol. 6991, pp. 505-521, Convegno: IEEE International Conference on Software Engineering Methods, ICFEM 2011, October 26-28, 2011 (ISBN 9783642245589) (ISSN 0302-9743) (Articolo in Atti di convegno)
    Link DOI Link al documento: 10278/28241 abstract
  • 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, 18-21 July, 2011 (ISBN 9789898425775) (Articolo in Atti di convegno)
    Link al documento: 10278/29488 abstract
  • (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)
    Link al documento: 10278/25810 abstract
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)
    Link al documento: 10278/25826 abstract
  • BRUSO' M.; CORTESI A. Non-repudiation analysis using LySa with annotations in COMPUTER LANGUAGES, SYSTEMS & STRUCTURES, vol. 36, pp. 352-377 (ISSN 1477-8424) (Articolo su rivista)
    Link DOI Link al documento: 10278/22229 abstract
  • 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)
    Link al documento: 10278/29534 abstract
  • 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) (Articolo su rivista)
    Link DOI Link al documento: 10278/30064 abstract
  • HALDER R.; CORTESI A. A Persistent Public Watermarking of Relational Databases in Somesh Jha, Anish Mathuria, Information Systems Security, Heidelberg, Springer Verlag, vol. 6503, pp. 216-230, Convegno: 6th International Conference, ICISS 2010, December 17-19, 2010 (ISBN 9783642177132) (ISSN 0302-9743) (Articolo in Atti di convegno)
    Link DOI Link al documento: 10278/25154 abstract
  • 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, 28-30 March, 2010 (ISBN 9789774033964) (Articolo in Atti di convegno)
    Link al documento: 10278/23054 abstract
  • 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, 22-24 July, 2010 (ISBN 9789898425225) (Articolo in Atti di convegno)
    Link al documento: 10278/4103 abstract
  • 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, March 27-28, 2010 (ISBN 9781450300636) (Articolo in Atti di convegno)
    Link DOI Link al documento: 10278/26263 abstract
  • 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, 22-25 june, 2010 (ISBN 9781424477555) (Articolo in Atti di convegno)
    Link DOI Link al documento: 10278/28809 abstract
  • 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., 22-24 July, 2010. (ISBN 9789898425225) (Articolo in Atti di convegno)
    Link al documento: 10278/23984 abstract
  • 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, October 4-5, 2010 (ISBN 9780769542096) (Articolo in Atti di convegno)
    Link al documento: 10278/30999 abstract
  • 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, May 17 - 20, 2010 (ISBN 9781450300704) (Articolo in Atti di convegno)
    Link al documento: 10278/4041 abstract
  • 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, October 4-5, 2010 (ISBN 9780769542096) (Articolo in Atti di convegno)
    Link DOI Link al documento: 10278/23844 abstract
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)
    Link al documento: 10278/23962
  • 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)
    Link al documento: 10278/29713 abstract
  • 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, 2009 (ISBN 9780230637597) (Articolo in Atti di convegno)
    Link al documento: 10278/4385 abstract
  • BHATTACHARYA S; CORTESI A. A Generic Distortion Free Watermarking Technique for Relational Databases in Atul Prakash, Indranil Gupta, Information Systems Security, Heidelberg, Springer Verlag, vol. 5905, pp. 252-264, Convegno: Information Systems Security, 5th International Conference, ICISS 2009, December 14-18, 2009 (ISBN 9783642107719) (ISSN 0302-9743) (Articolo in Atti di convegno)
    Link DOI Link al documento: 10278/21857 abstract
  • 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, July 2009 (ISBN 9789896740108) (Articolo in Atti di convegno)
    Link al documento: 10278/27293 abstract
  • 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), Aachen, CEUR Workshop Proceedings, vol. 492, pp. 24-29, Convegno: Design and Evaluation of e-Government Applications and Services (DEGAS'2009), 21.08.2009 (ISSN 1613-0073) (Articolo in Atti di convegno)
    Link al documento: 10278/23432 abstract
  • 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, November 5-6, 2009 (ISBN 9783000293146) (Articolo in Atti di convegno)
    Link al documento: 10278/28533 abstract
  • COSTANTINI G. ; MAGGIORE G. ; CORTESI A. Learning by Fixing and Extending Games in G. Domik and R. Scateni, Education Programme at Eurographics 2009, pp. 15-21, Convegno: Eurographics 2009, March 31st - April 1st 2009 (ISSN 1017-4656) (Articolo in Atti di convegno)
    Link al documento: 10278/30357 abstract
  • 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), May, 18-20, 2009 (ISBN 9783642012433) (Articolo in Atti di convegno)
    Link DOI Link al documento: 10278/26479 abstract
  • 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, November 24- 26, 2009 (ISBN 9780769538969) (Articolo in Atti di convegno)
    Link DOI Link al documento: 10278/26838 abstract
  • 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, 13/11/2009 (Articolo in Atti di convegno)
    Link al documento: 10278/21858 abstract
  • 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, 31 August - 4 September 2009 (ISBN 9783854996262) (Articolo in Atti di convegno)
    Link al documento: 10278/22264
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) (Articolo su rivista)
    Link DOI Link al documento: 10278/22285 abstract
  • 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., Aachen, CEUR, vol. 426, pp. 11.1-11.12, Convegno: 5th Workshop on Semantic Web Applications and Perspectives (SWAP2008), December 15-17, 2008 (ISSN 1613-0073) (Articolo in Atti di convegno)
    Link al documento: 10278/23830 abstract
  • 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, 19-21 November 2008 (ISBN 9789949430246) (Articolo in Atti di convegno)
    Link al documento: 10278/20734
  • 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, 10-14 November 2008 (ISBN 9780769534374) (Articolo in Atti di convegno)
    Link DOI Link al documento: 10278/26888 abstract
  • (a cura di) CORTESI A.; LUCCIO F ACM-IFIP IEEIII - Informatics Education Europe , VENEZIA, Dipartimento di Informatica, Università Ca' Foscari Venezia (ISBN 9788890343308) (Curatela)
    Link al documento: 10278/20513
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)
    Link al documento: 10278/24936 abstract
  • 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, November 2nd, 2007 (ISBN 9781595938879) (Articolo in Atti di convegno)
    Link DOI Link al documento: 10278/22301 abstract
  • 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, 29-30 November 2007 (ISBN 9789608962934) (Articolo in Atti di convegno)
    Link al documento: 10278/18163
  • 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, july 6-8, 2007 (ISBN 9780769528199) (Articolo in Atti di convegno)
    Link DOI Link al documento: 10278/22585 abstract
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)
    Link al documento: 10278/16068
  • CORTESI A. Prefazione in ANTONIO CANDIELLO, Qualità e tecnologie informatiche per l'innovazione nelle Pmi., Milano, Franco Angeli (ISBN 9788846479808) (Prefazione/Postfazione)
    Link al documento: 10278/16281
  • CORTESI A.; LOGOZZO F Semantic Hierarchy Refactoring by Abstract Interpretation in E. Allen Emerson, Kedar S. Namjoshi, Verification, Model Checking, and Abstract Interpretation, Heidelberg, Springer Verlag, vol. 3855, pp. 313-331, Convegno: Verification, Model Checking, and Abstract Interpretation, 7th International Conference, VMCAI 2006, January 8-10, 2006 (ISBN 3540311394) (ISSN 0302-9743) (Articolo in Atti di convegno)
    Link DOI Link al documento: 10278/24984 abstract
  • CORTESI A.; ENRICO NARDELLI The Italian Certification of Computer Science University Curricula , Proc. ACM Informatics Education Europe, Convegno: ACM Informatics Education Europe, November, 9-10, 2006 (Articolo in Atti di convegno)
    Link al documento: 10278/16069
2005
  • CORTESI A.; LOGOZZO F. Abstract Interpretation Based Verification of Non-Functional Requirements in Jean-Marie Jacquet, Gian Pietro Picco, Coordination Models and Languages, Heidelberg, Springer verlag, vol. 3454, pp. 49-62, Convegno: Coordination Models and Languages, 7th International Conference, COORDINATION 2005, April 20-23, 2005 (ISBN 354025630X) (ISSN 0302-9743) (Articolo in Atti di convegno)
    Link DOI Link al documento: 10278/25032 abstract
  • CORTESI A.; LOGOZZO F. Abstract Interpretation for Object Oriented Languages: Quo Vadis? , Abstract Interpretation of Object-Oriented Languages, Amsterdam, Elsevier, vol. 131, pp. 75-84, Convegno: 1st International Workshop on Abstract Interpretation of Object-Oriented Languages, January 21, 2005 (ISSN 1571-0661) (Articolo in Atti di convegno)
    Link DOI Link al documento: 10278/11481 abstract
  • C.BRAGHIN; CORTESI A. Flow-Sensitive Leakage Analysis in Mobile Ambients , Security Issues in Coordination Models, Languages, and Systems, Amsterdam, Elsevier, vol. 128, pp. 17-25, Convegno: 2nd International Workshop on Security Issues in Coordination Models, Languages, and Systems, August 30, 2004 (ISSN 1571-0661) (Articolo in Atti di convegno)
    Link DOI Link al documento: 10278/29048 abstract
  • CORTESI A.; LOGOZZO F. Preface. Special Issue on Abstract Interpretation for Object Oriented Languages. , Abstract Interpretation for Object Oriented Languages, Amstrerdam, Elsevier, vol. 131, pp. 1-2, Convegno: 1st International Workshop on Abstract Interpretation of Object-Oriented Languages, January 21, 2005 (ISSN 1571-0661) (Articolo in Atti di convegno)
    Link al documento: 10278/11480
  • 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, 4-7 July 2005 (ISBN 9781920017118) (Articolo in Atti di convegno)
    Link al documento: 10278/9629
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)
    Link al documento: 10278/16158
  • Chiara, Braghin; Cortesi, Agostino; Focardi, Riccardo; Luccio, Flaminia; Carla, Piazza Nesting analysis of mobile ambients in COMPUTER LANGUAGES, SYSTEMS & STRUCTURES, vol. 30 (3-4), pp. 207-230 (ISSN 1477-8424) (Articolo su rivista)
    Link DOI Link al documento: 10278/29447 abstract
  • 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)
    Link al documento: 10278/11479
  • 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, Amsterdam, Elsevier, vol. 99, pp. 319-337, Convegno: Mefisto, November 3-5, 2003 (ISSN 1571-0661) (Articolo in Atti di convegno)
    Link DOI Link al documento: 10278/24983 abstract
2003
  • CORTESI A.; G. FILE' Static Analysis in SCIENCE OF COMPUTER PROGRAMMING, vol. 47(2-3), pp. 89-90 (ISSN 0167-6423) (Articolo su rivista)
    Link DOI Link al documento: 10278/11251
  • C., Braghin; Cortesi, Agostino; S., Filippone; Focardi, Riccardo; Luccio, Flaminia; 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, Heidelberg, Springer Verlag, vol. 2619, pp. 437-441, Convegno: Tools and Algorithms for the Construction and Analysis of Systems, 9th International Conference, TACAS 2003, April 7-11, 2003 (ISBN 3540008985) (ISSN 0302-9743) (Articolo in Atti di convegno)
    Link DOI Link al documento: 10278/30387 abstract
  • 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, Heidelberg, Springer Verlag, vol. 2575, pp. 86-101, Convegno: Verification, Model Checking, and Abstract Interpretation, 4th International Conference, VMCAI 2003, January 9-11, 2002 (ISBN 3540003487) (ISSN 0302-9743) (Articolo in Atti di convegno)
    Link DOI Link al documento: 10278/15803 abstract
  • CHIARA BRAGHIN; CORTESI A.; RICCARDO FOCARDI Information Leakage Detection in Boundary Ambients , Proc. Computing: The Australasian Theory Symposium, Elsevier, vol. 78, pp. 127-147, Convegno: Computing: The Australasian Theory Symposium (CATS'03), 4th to 7th February, 2003 (ISSN 1571-0661) (Articolo in Atti di convegno)
    Link DOI Link al documento: 10278/25033 abstract
  • (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)
    Link al documento: 10278/7172
2002
  • CORTESI A.; FOCARDI R. Computer Languages and Security in COMPUTER LANGUAGES, vol. 28(1), pp. 1-2 (ISSN 0096-0551) (Articolo su rivista)
    Link DOI Link al documento: 10278/12126
  • 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) (Articolo su rivista)
    Link DOI Link al documento: 10278/26403
  • BRAGHIN C.; CORTESI A.; FOCARDI R. Security Boundaries in Mobile Ambient in COMPUTER LANGUAGES, vol. 28(1), pp. 101-127 (ISSN 0096-0551) (Articolo su rivista)
    Link DOI Link al documento: 10278/26404
  • 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), August 25-30, 2002 (ISBN 9781402071812) (Articolo in Atti di convegno)
    Link al documento: 10278/9627
  • 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), March 20-22, 2002 (ISBN 9780792376835) (Articolo in Atti di convegno)
    Link al documento: 10278/9626
  • C. BRAGHIN; A. CORTESI; FOCARDI R. Freshness Analysis in Security Protocols , 14th Nordic Workshop on Programming Theory (NWPT 02), Convegno: 14th Nordic Workshop on Programming Theory (NWPT 02), 20-22 NOVEMBER 2002 (Articolo in Atti di convegno)
    Link al documento: 10278/6027
  • 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, July 29 - Aug 3 2001 (ISBN 9781402071331) (Articolo in Atti di convegno)
    Link al documento: 10278/9628
  • (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)
    Link al documento: 10278/4695
  • (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)
    Link al documento: 10278/7812
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) (Articolo su rivista)
    Link DOIURL correlato Link al documento: 10278/22307 abstract
  • CHIARA BRAGHIN; AGOSTINO CORTESI; FOCARDI R. Control Flow Analysis for information flow security , NORDSEC 2001, Convegno: NORDSEC 2001 (Articolo in Atti di convegno)
    Link al documento: 10278/6023
  • 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, Heidelberg, Springer Verlag, vol. 2072, pp. 77-98, Convegno: ECOOP 2001 - Object-Oriented Programming, 15th European Conference, June 18-22, 2001 (ISBN 3540422064) (ISSN 0302-9743) (Articolo in Atti di convegno)
    Link DOI Link al documento: 10278/36717 abstract
  • CORTESI A.; RICCARDO FOCARDI Information Flow Security in Mobile Ambients , Proc. of the International Workshop on Cuncurrency and Coordination CONCOORD'01, Amsterdam, Elsevier, vol. 54, pp. 58-68, Convegno: International Workshop on Cuncurrency and Coordination CONCOORD'01, July 2001 (ISSN 1571-0661) (Articolo in Atti di convegno)
    Link DOI Link al documento: 10278/22308 abstract
  • 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, Heidelberg, Springer Verlag, vol. 2244, pp. 395-405, Convegno: Perspectives of System Informatics, 4th International Andrei Ershov Memorial Conference, PSI 2001, July 2-6, 2001 (ISBN 354043075X) (ISSN 0302-9743) (Articolo in Atti di convegno)
    Link DOI Link al documento: 10278/11478 abstract
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) (Articolo su rivista)
    Link DOI Link al documento: 10278/26021
  • 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) (Articolo su rivista)
    Link DOI Link al documento: 10278/12124
1999
1998
  • ORSINI R.; A. CORTESI Programmare in Modula-3: Introduzione alla programmazione imperativa e a oggetti , PADOVA, CEDAM, pp. 304-304 (ISBN 9788813212827) (Monografia o trattato scientifico)
    Link al documento: 10278/6380
  • 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) (Articolo su rivista)
    Link DOI Link al documento: 10278/27187
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) (Articolo su rivista)
    Link DOI Link al documento: 10278/12123
  • 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), 16-19 June (Articolo in Atti di convegno)
    Link al documento: 10278/8252
  • LE CHARLIER B; LECLERE C; ROSSI S.; CORTESI A Automated Verification of Behavioural Properties of Prolog Programs , Advances in Computing Science, Berlin Heidelberg: Springer, vol. 1345, pp. 225-238, Convegno: Third Asian Computing Science Conference, ASIAN'97, 9-11 December 1997 (ISBN 354063875X) (ISSN 0302-9743) (Articolo in Atti di convegno)
    Link DOI Link al documento: 10278/13598 abstract
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) (Articolo su rivista)
    Link DOI Link al documento: 10278/26022
  • LE CHARLIER B; ROSSI S.; CORTESI A Specification-based Automatic Verification of Prolog Programs , Logic Programming Synthesis and Transformation, Berlin Heidelberg: Springer, vol. 1207, pp. 38-57, Convegno: 6th International Workshop, LOPSTR'96 (ISBN 3540627189) (ISSN 0302-9743) (Articolo in Atti di convegno)
    Link al documento: 10278/13791
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) (Articolo su rivista)
    Link DOI Link al documento: 10278/25100
  • 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) (Articolo su rivista)
    Link DOI Link al documento: 10278/25079
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, January 17-21, 1994 (ISBN 0897916360; 9780897916363) (Articolo in Atti di convegno)
    Link al documento: 10278/26841 abstract
  • 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), June 20-24, 1994 (ISBN 089791662X) (Articolo in Atti di convegno)
    Link al documento: 10278/25006 abstract
1993
  • CORTESI A.; FILE G. Graph Properties for Normal Logic Programs in THEORETICAL COMPUTER SCIENCE, vol. 107(2), pp. 277-303 (ISSN 0304-3975) (Articolo su rivista)
    Link DOI Link al documento: 10278/26402
1992
  • CORTESI A.; GILBERTO FILE'; WILLIAM H. WINSBOROUGH Comparison of Abstract Interpretations in Werner Kuich, Automata, Languages and Programming, Heidelberg, Springer Verlag, vol. 532, pp. 521-532, Convegno: Automata, Languages and Programming, 19th International Colloquium, ICALP92, July 13-17, 1992 (ISBN 3540557199) (ISSN 0302-9743) (Articolo in Atti di convegno)
    Link DOI Link al documento: 10278/32626 abstract
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, June 17-19, 1991 (ISBN 0897914333) (Articolo in Atti di convegno)
    Link al documento: 10278/11482
  • 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, 15-18 July 1991 (ISBN 081862230X; 9780818622304) (Articolo in Atti di convegno)
    Link al documento: 10278/26840 abstract
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)
    Link al documento: 10278/25196
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)
    Link al documento: 10278/23122