Agostino CORTESI

Position
Full Professor
Roles
Rector's Delegate for Research Quality Assessment
Deputy Coordinator of the Scientific Committee of the "Temporary Centre for the Innovation Ecosystem Project"
Telephone
041 234 8450
E-mail
cortesi@unive.it
egov@unive.it - CORTESI Agostino
Scientific sector (SSD)
Informatica [INFO-01/A]
Website
www.unive.it/people/cortesi (personal record)
 http://www.dsi.unive.it/~cortesi
Office
Department of Environmental Sciences, Informatics and Statistics
Website: https://www.unive.it/dep.dais
Where: Campus scientifico via Torino
Room: office Z.B04 (Zeta B building)
Office
Interconnected Nord-Est Innovation Ecosystem - Temporary Project Centre
Research Institute
Research Institute for Social Innovation
Research Institute
Research Institute for Complexity
Research Institute
Research Institute for Innovation Management

Publications

Year Type Publication
Year Type Publication
2024 Journal Article Ferrara P.; Arceri V.; Cortesi A. Challenges of software verification: the past, the present, the future in INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, vol. article in press (ISSN 1433-2779)
DOI - ARCA card: 10278/5070241
2024 Journal Article Olivieri, Luca; Negrini, Luca; Arceri, Vincenzo; Chachar, Badaruddin; Ferrara, Pietro; Cortesi, Agostino Detection of Phantom Reads in Hyperledger Fabric in IEEE ACCESS, vol. 12 (ISSN 2169-3536)
DOI - ARCA card: 10278/5060921
2024 Journal Article Roy S.; Raj S.; Chakraborty T.; Chakrabarty A.; Cortesi A.; Sen S. Efficient OLAP query processing across cuboids in distributed data warehousing environment in EXPERT SYSTEMS WITH APPLICATIONS, vol. 239 (ISSN 0957-4174)
DOI - ARCA card: 10278/5046325
2024 Journal Article Das S.; Deb N.; Cortesi A.; Chaki N. Extracting goal models from natural language requirement specifications in THE JOURNAL OF SYSTEMS AND SOFTWARE, vol. 211 (ISSN 0164-1212)
DOI - ARCA card: 10278/5048586
2024 Journal Article Olivieri, Luca; Arceri, Vincenzo; Chachar, Badaruddin; Negrini, Luca; Tagliaferro, Fabio; Spoto, Fausto; Ferrara, Pietro; Cortesi, Agostino General-Purpose Languages for Blockchain Smart Contracts Development: A Comprehensive Study in IEEE ACCESS, vol. 12, pp. 166855-166869 (ISSN 2169-3536)
DOI - ARCA card: 10278/5083652
2024 Journal Article Das S.; Deb N.; Chaki N.; Cortesi A. Minimising conflicts among run-time non-functional requirements within DevOps in SYSTEMS ENGINEERING, vol. 27, pp. 177-198 (ISSN 1098-1241)
DOI - ARCA card: 10278/5034363
2024 Journal Article Roy M.; Bag R.; Deb N.; Cortesi A.; Chaki R.; Chaki N. SCARS: Suturing wounds due to conflicts between non-functional requirements in autonomous and robotic systems in SOFTWARE-PRACTICE & EXPERIENCE, vol. Volume 54, Issue 5, pp. 759-795 (ISSN 0038-0644)
DOI - ARCA card: 10278/5046323
2024 Journal Article PEREZ GORT, Maikel Lazaro.; OLLIARO, Martina; CORTESI, Agostino Study of the Watermark Source's Topology Role on Relational Data Watermarking Robustness in IEEE ACCESS, vol. 12, pp. 25857-25875 (ISSN 2169-3536)
DOI - ARCA card: 10278/5051000
2024 Journal Article Negrini L.; Arceri V.; Cortesi A.; Ferrara P. Tarsis: An effective automata-based abstract domain for string analysis in JOURNAL OF SOFTWARE, vol. 36 (ISSN 2047-7481)
DOI - ARCA card: 10278/5050041
2024 Book Article Maikel Perez Gort.; Agostino Cortesi A Fragile Watermarking Approach for Earth Observation Data Integrity Protection , Studies in Big Data, Springer Science and Business Media Deutschland GmbH, vol. 141, pp. 47-67 (ISBN 9789819700400; 9789819700417) (ISSN 2197-6503)
DOI - ARCA card: 10278/5055041
2024 Article in Conference Proceedings Poggiani A.; Cortesi A. Challenges in Health Information Systems: Health Data Management and Access for Life Sciences Research , Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Science and Business Media Deutschland GmbH, vol. 14902, pp. 195-211, Convegno: 23rd International Conference on Computer Information Systems and Industrial Management, CISIM 2024, 2024 (ISBN 9783031711145; 9783031711152) (ISSN 0302-9743)
DOI - ARCA card: 10278/5075981
2024 Article in Conference Proceedings Negrini, Luca; Presotto, Sofia; Ferrara, Pietro; Zaffanella, Enea; Cortesi, Agostino Stability: An Abstract Domain for the Trend of Variation of Numerical Variables , NSAD 2024: Proceedings of the 10th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains, 1601 Broadway, 10th Floor, NEW YORK, NY, UNITED STATES, ASSOC COMPUTING MACHINERY, pp. 10-17, Convegno: The 10th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains
DOI - ARCA card: 10278/5085612
2024 Article in Conference Proceedings Negrini, Luca; Arceri, Vincenzo; Olivieri, Luca; Cortesi, Agostino; Ferrara, Pietro Teaching Through Practice: Advanced Static Analysis with LiSA , Formal Methods Teaching, Springer, pp. 43-57, Convegno: 6th Formal Methods Teaching Workshop (FMTea 2024) (ISBN 9783031713781; 9783031713798) (ISSN 0302-9743)
DOI - ARCA card: 10278/5072663
2023 Journal Article Krishnasrija R.; Mandal A.K.; Cortesi A. A lightweight mutual and transitive authentication mechanism for IoT network in AD HOC NETWORKS, vol. 138, pp. 103003 (ISSN 1570-8705)
DOI - ARCA card: 10278/5017242
2023 Journal Article Roy M.; Das S.; Deb N.; Cortesi A.; Chaki R.; Chaki N. Correlating contexts and NFR conflicts from event logs in SOFTWARE AND SYSTEMS MODELING, vol. 2023 (ISSN 1619-1366)
DOI - ARCA card: 10278/5031421
2023 Journal Article Das S.; Deb N.; Chaki N.; Cortesi A. Driving the Technology Value Stream by Analyzing App Reviews in IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, vol. 49, pp. 1-20 (ISSN 0098-5589)
DOI - ARCA card: 10278/5031420
2023 Journal Article Bag R.; Roy M.; Cortesi A.; Chaki N. Eliciting context-oriented NFR constraints and conflicts in robotic systems in INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, vol. article in press (ISSN 1614-5046)
DOI - ARCA card: 10278/5045521
2023 Journal Article Perez Gort M.L.; Olliaro M.; Cortesi A. Relational data watermarking resilience to brute force attacks in untrusted environments in EXPERT SYSTEMS WITH APPLICATIONS, vol. 212, pp. 118713 (ISSN 0957-4174)
DOI - ARCA card: 10278/5017241
2023 Book Article Halder, Raju; Alam, Md. Imran; Fajge, Akshay M.; Singh, Neeraj Kumar; Cortesi, Agostino Analyzing information flow in solidity smart contracts , Distributed Computing to Blockchain, Elsevier, pp. 105-123 (ISBN 9780323961462)
DOI - ARCA card: 10278/5020160
2023 Book Article Negrini, Luca; Ferrara, Pietro; Arceri, Vincenzo; Cortesi, Agostino LiSA: A Generic Framework for Multilanguage Static Analysis , Challenges of Software Verification, Springer Nature, vol. 238, pp. 19-42 (ISBN 978-981-19-9600-9; 978-981-19-9601-6) (ISSN 1868-4394)
DOI - ARCA card: 10278/5031340
2023 Book Article Olliaro, Martina; Arceri, Vincenzo; Cortesi, Agostino; Ferrara, Pietro Lifting String Analysis Domains , Challenges of Software Verification, Springer Nature, vol. 238, pp. 109-143 (ISBN 978-981-19-9600-9; 978-981-19-9601-6) (ISSN 1868-4394)
DOI - ARCA card: 10278/5031341
2023 Prefazione/Postfazione Arceri V.; Cortesi A.; Ferrara P.; Olliaro M. Preface , Intelligent Systems Reference Library, Springer Science and Business Media Deutschland GmbH, vol. 238, pp. 5-6 (ISSN 1868-4394)
- ARCA card: 10278/5049842
2023 Article in Conference Proceedings Mitra D.; Cortesi A.; Chaki N. A Two-Hop Neighborhood Based Berserk Detection Algorithm for Probabilistic Model of Consensus in Distributed Ledger Systems , Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Science and Business Media Deutschland GmbH, vol. 14162, pp. 379-391, Convegno: 15th International Conference on Computational Collective Intelligence, ICCCI 2023, 2023 (ISBN 978-3-031-41455-8; 978-3-031-41456-5) (ISSN 0302-9743)
DOI - ARCA card: 10278/5039700
2023 Article in Conference Proceedings Luca Olivieri, Luca Negrini, Vincenzo Arceri, Fabio Tagliaferro, Pietro Ferrara, Agostino Cortesi, Fausto Spoto Information Flow Analysis for Detecting Non-Determinism in Blockchain , Proceedings of the 37th European Conference on Object-Oriented Programming (ECOOP 2023), Leibniz International Proceedings in Informatics (LIPIcs), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, vol. 263, Convegno: European Conference on Object-Oriented Programming (ECOOP)
DOI - ARCA card: 10278/5020965
2022 Journal Article Panfili A.; Spano A.; Cortesi A. A Wearable System for Jump Detection in Inline Figure Skating in SENSORS, vol. 22, pp. 1650 (ISSN 1424-8220)
DOI - ARCA card: 10278/3754129
2022 Journal Article Roy S.; Cortesi A.; Sen S. Context-aware OLAP for textual data warehouses in INTERNATIONAL JOURNAL OF INFORMATION MANAGEMENT DATA INSIGHTS, vol. 2, pp. 100129 (ISSN 2667-0968)
DOI - ARCA card: 10278/5017243
2022 Journal Article Olliaro M.; Perez Gort M.L.; Cortesi A. Empirical analysis of the impact of queries on watermarked relational databases in EXPERT SYSTEMS WITH APPLICATIONS, vol. 204, pp. 117491 (ISSN 0957-4174)
DOI - ARCA card: 10278/5017244
2022 Journal Article Cortesi A.; Berionni C.; Veeckman C.; Leonardi C.; Schiavo G.; Zancanaro M.; Cescon M.; Sangiuliano M.; Tampakis D.; Falelakis M. Families_Share: digital and social innovation for work–life balance in DIGITAL POLICY, REGULATION AND GOVERNANCE, vol. ahead-of-print (ISSN 2398-5038)
DOI - ARCA card: 10278/3754131
2022 Journal Article PÉREZ GORT, Maikel Lázaro; OLLIARO, Martina.; CORTESI,Agostino. Reducing Multiple Occurrences of Meta-Mark Selection in Relational Data Watermarking in IEEE ACCESS, vol. 10, pp. 62210-62231 (ISSN 2169-3536)
DOI - ARCA card: 10278/5017246
2022 Article in Conference Proceedings Perez Gort M.L.; Olliaro M.; Cortesi A. A Quantile-Based Watermarking Approach for Distortion Minimization , Foundations and Practice of Security, Springer Nature, vol. 13291, pp. 162-176, Convegno: 14th International Symposium on Foundations and Practice of Security, FPS 2021
DOI - ARCA card: 10278/5017245
2022 Article in Conference Proceedings Mitra D.; Cortesi A.; Chaki N. ALEA: An Anonymous Leader Election Algorithm for Synchronous Distributed Systems , Lecture Notes in Networks and Systems, Springer Science and Business Media Deutschland GmbH, vol. 255, pp. 46-58, Convegno: International Conference on Image Processing and Communications, IPandC 2021, International Conference on Computer Recognition Systems, CORES 2021 and International Conference on Advanced Computer Systems, ACS 2021, 2021 (ISBN 978-3-030-81522-6; 978-3-030-81523-3) (ISSN 2367-3370)
DOI - ARCA card: 10278/3754134
2022 Article in Conference Proceedings Olivieri, Luca; Tagliaferro, Fabio; Arceri, Vincenzo; Ruaro, Marco; Negrini, Luca; Cortesi, Agostino; Ferrara, Pietro; Spoto, Fausto; Talin, Enrico Ensuring determinism in blockchain software with GoLiSA: an industrial experience report , SOAP 2022: Proceedings of the 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, Association for Computing Machinery, pp. 23-29, Convegno: SOAP '22: 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (ISBN 9781450392747)
DOI - ARCA card: 10278/5004420
2022 Article in Conference Proceedings Arceri V.; Olliaro M.; Cortesi A.; Ferrara P. Relational String Abstract Domains , Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Science and Business Media Deutschland GmbH, vol. 13182, pp. 20-42, Convegno: 23rd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2022, 2022 (ISBN 978-3-030-94582-4; 978-3-030-94583-1)
DOI - ARCA card: 10278/3754133
2021 Journal Article Arceri V.; Olliaro M.; Cortesi A.; Mastroeni I. Completeness of string analysis for dynamic languages in INFORMATION AND COMPUTATION, vol. 281, pp. 104791 (ISSN 0890-5401)
DOI - ARCA card: 10278/3754136
2021 Journal Article Roy S.; Shit B.; Sen S.; Cortesi A. Construction and distribution of materialized views in Non-binary data space in INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, vol. 17, pp. 205-217 (ISSN 1614-5046)
DOI - ARCA card: 10278/3754139
2021 Journal Article Chakraborty M.; Spano A.; Cortesi A. Geographic location based secure, dynamic and opportunistic RPL for distributed networks in AD HOC NETWORKS, vol. 123, pp. 102689 (ISSN 1570-8705)
DOI - ARCA card: 10278/3754135
2021 Journal Article Roy M.; Deb N.; Cortesi A.; Chaki R.; Chaki N. NFR-aware prioritization of software requirements in SYSTEMS ENGINEERING, vol. 24, pp. 158-176 (ISSN 1098-1241)
DOI - ARCA card: 10278/3754140
2021 Journal Article Roy M.; Deb N.; Cortesi A.; Chaki R.; Chaki N. Requirement-oriented risk management for incremental software development in INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, vol. 17, pp. 187-204 (ISSN 1614-5046)
DOI - ARCA card: 10278/3754138
2021 Journal Article Perez Gort M.L.; Olliaro M.; Cortesi A.; Feregrino Uribe C. Semantic-driven watermarking of relational textual databases in EXPERT SYSTEMS WITH APPLICATIONS, vol. 167, pp. 114013 (ISSN 0957-4174)
DOI - ARCA card: 10278/3734700
2021 Journal Article Das, Souvick; Deb, Novarun; Cortesi, Agostino; Chaki, Nabendu Sentence Embedding Models for Similarity Detection of Software Requirements in SN COMPUTER SCIENCE, vol. 2 (ISSN 2661-8907)
DOI - ARCA card: 10278/3736435
2021 Journal Article Ghosh, Partha; Sen, Soumya; Cortesi, Agostino Skyline computation over multiple points and dimensions in INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, vol. 17, pp. 141-156 (ISSN 1614-5046)
DOI - ARCA card: 10278/3734894
2021 Journal Article Ferrara P.; Mandal A.K.; Cortesi A.; Spoto F. Static analysis for discovering IoT vulnerabilities in INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, vol. 23, pp. 71-88 (ISSN 1433-2779)
DOI - ARCA card: 10278/3734701
2021 Prefazione/Postfazione Chaki R.; Saeed K.; Cortesi A.; Chaki N. Preface , Advances in Intelligent Systems and Computing, Springer, vol. 1178, pp. v-vi (ISSN 2194-5357)
- ARCA card: 10278/3734852
2021 Article in Conference Proceedings Roy M.; Deb N.; Cortesi A.; Chaki R.; Chaki N. CARO: A Conflict-Aware Requirement Ordering Tool for DevOps , Proceedings of the IEEE International Conference on Requirements Engineering, IEEE Computer Society, pp. 442-443, Convegno: 29th IEEE International Requirements Engineering Conference, RE 2021, 2021 (ISBN 978-1-6654-2856-9)
DOI - ARCA card: 10278/3754141
2021 Article in Conference Proceedings Roy S.; Shit B.; Sen S.; Cortesi A. Construction of Materialized Views in Non-Binary Data Space , Lecture Notes in Networks and Systems, Springer Science and Business Media Deutschland GmbH, vol. 242, pp. 93-110, Convegno: 8th International Doctoral Symposium on Applied Computation and Security Systems, ACSS 2021, 2021 (ISBN 978-981-16-4293-7; 978-981-16-4294-4) (ISSN 2367-3370)
DOI - ARCA card: 10278/3754142
2021 Article in Conference Proceedings Roy M.; Deb N.; Cortesi A.; Chaki R.; Chaki N. Dynamic Prioritization of Software Requirements for Incremental Software Development , Lecture Notes in Networks and Systems, Springer Science and Business Media Deutschland GmbH, vol. 242, pp. 111-131, Convegno: 8th International Doctoral Symposium on Applied Computation and Security Systems, ACSS 2021, 2021 (ISBN 978-981-16-4293-7; 978-981-16-4294-4) (ISSN 2367-3370)
DOI - ARCA card: 10278/3754143
2021 Article in Conference Proceedings Ferrara, Pietro; Negrini, Luca; Arceri, Vincenzo; Cortesi, Agostino Static analysis for dummies: experiencing LiSA , SOAP 2021: Proceedings of the 10th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, Association for Computing Machinery, pp. 1-6, Convegno: 10th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (ISBN 9781450384681)
DOI - ARCA card: 10278/3741476
2021 Article in Conference Proceedings Negrini, Luca; Arceri, Vincenzo; Ferrara, Pietro; Cortesi, Agostino Twinning Automata and Regular Expressions for String Static Analysis , Verification, Model Checking, and Abstract Interpretation - 22nd International Conference, VMCAI 2021, Springer, vol. 12597, pp. 267-290, Convegno: 22nd International Conference on Verification, Model Checking, and Abstract Interpretation (ISBN 978-3-030-67066-5; 978-3-030-67067-2)
DOI - ARCA card: 10278/3736434
2020 Journal Article Perez Gort M.L.; Feregrino-Uribe C.; Cortesi A.; Fernandez-Pena F. A Double Fragmentation Approach for Improving Virtual Primary Key-Based Watermark Synchronization in IEEE ACCESS, vol. 8, pp. 61504-61516 (ISSN 2169-3536)
DOI - ARCA card: 10278/3725552
2020 Journal Article Lauko H.; Olliaro M.; Cortesi A.; Rocckai P. Abstracting strings for model checking of C programs in APPLIED SCIENCES, vol. 10, pp. 1-33 (ISSN 2076-3417)
DOI - ARCA card: 10278/3734698
2020 Journal Article Pietro Ferrara, Agostino Cortesi, Fausto Spoto From CIL to Java-bytecode: Semantics-based Translation for Static Analysis Leveraging in SCIENCE OF COMPUTER PROGRAMMING, vol. 191 (ISSN 0167-6423)
DOI - ARCA card: 10278/3721692
2020 Journal Article Spano A.; Cortesi A. Legodroid: A Type-Driven Library for Android and LEGO Mindstorms Interoperability in SENSORS, vol. 20, pp. 1926 (ISSN 1424-8220)
DOI - ARCA card: 10278/3725231
2020 Book Article Salvia R.; Cortesi A.; Ferrara P.; Spoto F. Intents Analysis of Android Apps for Confidentiality Leakage Detection , Advances in Intelligent Systems and Computing, Springer, vol. 1178, pp. 43-65 (ISBN 978-981-15-5746-0; 978-981-15-5747-7) (ISSN 2194-5357)
DOI - ARCA card: 10278/3734702
2020 Book Article Bernhard Dieber, Ruffin White, Sebastian Taurer, Benjamin Breiling, Gianluca Caiazza, Henrik Christensen, Agostino Cortesi 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)
DOI - ARCA card: 10278/3711479
2020 Article in Conference Proceedings Amit Mandal, Pietro Ferrara, Yuliy Khlyebnikov, Agostino Cortesi, Fausto Spoto Cross-Program Taint Analysis for IoT Systems , ACM Symposium on Applied Computing, Association for Computing Machinery, Inc, Convegno: 35th ACM Symposium on Applied Computing (SAC 2020)
DOI - ARCA card: 10278/3720937
2020 Article in Conference Proceedings Deb N.; Roy M.; Chaki N.; Cortesi A. Generation of Safety and Liveness Complaint Automata from Goal Model Specifications , Proceedings - 16th European Dependable Computing Conference, EDCC 2020, Institute of Electrical and Electronics Engineers Inc., pp. 127-134, Convegno: 16th European Dependable Computing Conference, EDCC 2020, 2020 (ISBN 978-1-7281-8936-9)
DOI - ARCA card: 10278/3734699
2020 Curatorship (a cura di) Chaki N.; Chaki R.; Cortesi A. Advanced Computing and Systems for Security - Volume Nine , Springer Verlag, vol. 995, pp. v-vi (ISSN 2194-5357)
DOI - ARCA card: 10278/3724428
2020 Curatorship (a cura di) Chaki R.; Cortesi A.; Saeed K.; Chaki N. Advanced Computing and Systems for Security - Volume Ten , Springer Verlag, vol. 996, pp. v-vi (ISBN 9780444825216) (ISSN 2194-5357)
DOI - ARCA card: 10278/3724429
2020 Curatorship (a cura di) Chaki R.; Cortesi A.; Saeed K.; Chaki N. Advanced Computing and Systems for Security - Volume Twelve , Springer, vol. 1136, pp. v-vi (ISSN 2194-5357)
DOI - ARCA card: 10278/3724431
2019 Journal Article Sahoo, S; Fajge, AM; Halder, R; Cortesi, A; A Hierarchical and Abstraction-Based Blockchain Model in APPLIED SCIENCES, MDPI AG, vol. 9, pp. 2343 (ISSN 2076-3417)
DOI - URL correlato - ARCA card: 10278/3714437
2019 Journal Article White, Ruffin; Caiazza, Gianluca; Cortesi, Agostino; Cho, Young Im; Christensen, Henrik I. Black Block Recorder: Immutable Black Box Logging for Robots via Blockchain in IEEE ROBOTICS AND AUTOMATION LETTERS, vol. 4, pp. 3812-3819 (ISSN 2377-3766)
DOI - ARCA card: 10278/3721775
2019 Journal Article Pietro Ferrara; Amit Kr Mandal; Agostino Cortesi; Fausto Spoto Cross-Programming Language Taint Analysis for the IoT Ecosystem in ELECTRONIC COMMUNICATIONS OF THE EASST, vol. 77 (ISSN 1863-2122)
DOI - ARCA card: 10278/3720831
2019 Journal Article Angshuman Jana, Raju Halder, K. V. Abhishekh, S. D. Ganni, Agostino Cortesi Extending Abstract Interpretation to Dependency Analysis of Database Applications in IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, vol. 46, pp. 463-494 (ISSN 0098-5589)
DOI - ARCA card: 10278/3702278
2019 Journal Article Perez Gort M.L.; Feregrino-Uribe C.; Cortesi A.; Fernandez-Pena F. HQR-Scheme: A High Quality and resilient virtual primary key generation approach for watermarking relational data in EXPERT SYSTEMS WITH APPLICATIONS, vol. 138, pp. 112770 (ISSN 0957-4174)
DOI - ARCA card: 10278/3716787
2019 Journal Article Cortesi A.; Tripp O. Introduction to the special issue:SAAP-2017 (Static Analysis of Android Apps: Security and Privacy) in JOURNAL OF COMPUTER LANGUAGES, vol. 52, pp. 25 (ISSN 2590-1184)
DOI - URL correlato - ARCA card: 10278/3716788
2019 Journal Article Bhattacharya A.; Choudhury S.; Cortesi A. Replaceability and negotiation in a cloud service ecosystem in JOURNAL OF CLOUD COMPUTING, vol. 8, pp. 1-14 (ISSN 2192-113X)
DOI - URL correlato - ARCA card: 10278/3721101
2019 Journal Article 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)
DOI - ARCA card: 10278/3714436
2019 Book Article 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)
- ARCA card: 10278/3709935
2019 Book Article Ruffin White, Gianluca Caiazza, Henrik Christensen, Agostino Cortesi SROS1: Using and Developing Secure ROS1 Systems , Robot Operating System (ROS) (Volume 3), Springer, pp. 373-405 (ISBN 978-3-319-91589-0)
DOI - URL correlato - ARCA card: 10278/3699694
2019 Article in Conference Proceedings Arceri V.; Olliaro M.; Cortesi A.; Mastroeni I. Completeness of Abstract Domains for String Analysis of JavaScript Programs , Theoretical Aspects of Computing, Springer, vol. 11884, pp. 255-272, Convegno: 16th International Colloquium on Theoretical Aspects of Computing, ICTAC 2019, 2019 (ISBN 978-3-030-32504-6; 978-3-030-32505-3)
DOI - URL correlato - ARCA card: 10278/3721097
2019 Article in Conference Proceedings Gianluca Caiazza, Ruffin White, Agostino Cortesi 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)
DOI - ARCA card: 10278/3699695
2019 Article in Conference Proceedings Chakraborty M.; Spano A.; Cortesi A. Geographic location based dynamic and opportunistic RPL for distributed networks , Computer Information Systems and Industrial Management, Springer Verlag, vol. 11703, pp. 120-131, Convegno: 18th International Conference on Computer Information Systems and Industrial Management Applications, CISIM 2019, 2019 (ISBN 978-3-030-28956-0; 978-3-030-28957-7)
DOI - URL correlato - ARCA card: 10278/3721103
2019 Article in Conference Proceedings Ruffin White, Gianluca Caiazza, Chenxu Jiang, Xinyue Ou, Zhiyue Yang, Agostino Cortesi, Henrik Christensen 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)
DOI - ARCA card: 10278/3715756
2019 Article in Conference Proceedings Gort M.L.P.; Olliaro M.; Feregrino-Uribe C.; Cortesi A. Preventing Additive Attacks to Relational Database Watermarking , Research and Practical Issues of Enterprise Information Systems, Springer, vol. 375, pp. 131-140, Convegno: 13th IFIP WG 8.9 Working Conference on Research and Practical Issues of Enterprise Information Systems, CONFENIS 2019, 2019 (ISBN 978-3-030-37631-4; 978-3-030-37632-1) (ISSN 1865-1348)
DOI - URL correlato - ARCA card: 10278/3721913
2019 Article in Conference Proceedings Ruffin White, Gianluca Caiazza, Agostino Cortesi, Henrik I. Christensen 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)
DOI - ARCA card: 10278/3711478
2019 Article in Conference Proceedings Cortesi A.; Lauko H.; Olliaro M.; Rockai P. String Abstraction for Model Checking of C Programs , Model Checking Software, Springer, vol. 11636, pp. 74-93, Convegno: 26th International Symposium on Model Checking Software, SPIN 2019, 2019 (ISBN 978-3-030-30922-0; 978-3-030-30923-7)
DOI - URL correlato - ARCA card: 10278/3721099
2019 Article in Conference Proceedings Mandal A.K.; Cortesi A.; Sarkar A.; Chaki N. Things as a service: Service model for IoT , IEEE International Conference on Industrial Informatics (INDIN), Institute of Electrical and Electronics Engineers Inc., vol. 2019-, pp. 1364-1369, Convegno: 17th IEEE International Conference on Industrial Informatics, INDIN 2019, 2019 (ISBN 978-1-7281-2927-3) (ISSN 1935-4576)
DOI - URL correlato - ARCA card: 10278/3724089
2019 Article in Conference Proceedings Spano A.; Cortesi A.; Zausa G. Type-driven cross-programming for android and LEGO Mindstorms interoperability , Computer Information Systems and Industrial Management, Springer Verlag, vol. 11703, pp. 191-209, Convegno: 18th International Conference on Computer Information Systems and Industrial Management Applications, CISIM 2019, 2019 (ISBN 978-3-030-28956-0; 978-3-030-28957-7)
DOI - URL correlato - ARCA card: 10278/3721102
2019 Curatorship (a cura di) Agostino Cortesi ; Maria Sangiuliano Institutional Change for Gender Equality in Research , Venezia, Edizioni Ca’ Foscari - Digital Publishing (ISBN 978-88-6969-334-2)
DOI - URL correlato - ARCA card: 10278/3724436
2019 Curatorship (a cura di) Chaki R.; Saeed K.; Cortesi A.; Chaki N. Preface , Springer Verlag, vol. 883, pp. v-vi (ISBN 9789811337017) (ISSN 2194-5357)
DOI - ARCA card: 10278/3724484
2018 Journal Article Agostino Cortesi, Pietro Ferrara , Raju Halder , Matteo Zanioli Combining symbolic and numerical domains for information leakage analysis in TRANSACTIONS ON COMPUTATIONAL SCIENCE, vol. 31, pp. 98-135 (ISSN 1866-4733)
DOI - ARCA card: 10278/3702275
2018 Article in Conference Proceedings 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)
DOI - ARCA card: 10278/3703089
2018 Article in Conference Proceedings Agostino Cortesi ; Martina Olliaro 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)
DOI - URL correlato - ARCA card: 10278/3708312
2018 Article in Conference Proceedings Mondin F.; Cortesi A. MySQL extension automatic porting to PDO for PHP migration and security improvement , Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Verlag, vol. 11127, pp. 461-473, Convegno: 17th International Conference on Computer Information Systems and Industrial Management, CISIM 2018, 2018 (ISBN 978-3-319-99953-1; 978-3-319-99954-8)
DOI - URL correlato - ARCA card: 10278/3716795
2018 Article in Conference Proceedings 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)
DOI - URL correlato - ARCA card: 10278/3702277
2018 Article in Conference Proceedings Rocco Salvia, Pietro Ferrara, Fausto Spoto, Agostino Cortesi 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)
DOI - URL correlato - ARCA card: 10278/3706889
2018 Article in Conference Proceedings 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)
DOI - URL correlato - ARCA card: 10278/3708770
2018 Article in Conference Proceedings 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)
DOI - URL correlato - ARCA card: 10278/3703090
2018 Curatorship (a cura di) Rituparna Chaki, Agostino Cortesi, Khalid Saeed, Nabendu Chaki Advanced Computing and Systems for Security - Volume Five 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)
DOI - ARCA card: 10278/3700880
2018 Curatorship (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)
- URL correlato - ARCA card: 10278/3708774
2018 Curatorship (a cura di) Rituparna Chaki, Agostino Cortesi, Khalid Saeed, Nabendu Chaki Advanced Computing and Systems for Security - Volume Six 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)
DOI - ARCA card: 10278/3700881
2017 Journal Article 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)
DOI - ARCA card: 10278/3684789
2017 Journal Article 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)
DOI - URL correlato - ARCA card: 10278/3697515
2017 Prefazione/Postfazione Chaki, Rituparna; Saeed, Khalid; Cortesi, Agostino; Chaki, Nabendu Preface , Advances in Intelligent Systems and Computing, Springer Verlag, vol. 568 (ISBN 9789811033902)
DOI - URL correlato - ARCA card: 10278/3702274
2017 Prefazione/Postfazione Chaki, Rituparna; Saeed, Khalid; Cortesi, Agostino; Chaki, Nabendu Preface , Advances in Intelligent Systems and Computing, Springer Verlag, vol. 567, pp. v-vi (ISBN 9789811034084)
- URL correlato - ARCA card: 10278/3702273
2017 Article in Conference Proceedings 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)
DOI - URL correlato - ARCA card: 10278/3690453
2017 Article in Conference Proceedings 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, GEWERBESTRASSE 11, CHAM, CH-6330, SWITZERLAND, SPRINGER INT PUBLISHING AG, vol. 178, pp. 231-242, Convegno: 8th International Conference, INTETAIN 2016, 28-30 Giugno (ISBN 978-3-319-49615-3; 978-3-319-49616-0) (ISSN 1867-8211)
DOI - ARCA card: 10278/3675230
2017 Article in Conference Proceedings 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)
DOI - ARCA card: 10278/3690432
2017 Article in Conference Proceedings 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)
DOI - URL correlato - ARCA card: 10278/3684301
2016 Scientific monograph or treatise Sen, Soumya; Cortesi, Agostino; Chaki, Nabendu Hyper-Lattice Algebraic Model for Data Warehousing , Springer International Publishing, pp. 1-63 (ISBN 9783319280424)
DOI - URL correlato - ARCA card: 10278/3684299
2016 Journal Article 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. 163-176 (ISSN 1614-5046)
DOI - URL correlato - ARCA card: 10278/3677640
2016 Journal Article 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)
DOI - URL correlato - ARCA card: 10278/3677644
2016 Article in Conference Proceedings 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, vol. 9871, pp. 32-46, Convegno: STM 2016, 2016 (ISBN 978-331946597-5)
DOI - ARCA card: 10278/3684287
2016 Article in Conference Proceedings Sen, Soumya; Ghosh, Partha; Cortesi, Agostino Materialized View Construction Using Linearizable Nonlinear Regression , Advanced Computing and Systems for Security, HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY, SPRINGER-VERLAG BERLIN, 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)
DOI - URL correlato - ARCA card: 10278/3666311
2016 Article in Conference Proceedings SOUMYA SEN; AGOSTINO CORTESI; NABENDU CHAKI ROLAP based data warehouse schema to XML schema conversion , Proceedings 2016 IEEE International Conference on Industrial Technology (ICIT), 345 E 47TH ST, NEW YORK, NY 10017 USA, IEEE, pp. 1736-1741, Convegno: 2016 IEEE International Conference on Industrial Technology (ICIT), 14-17 March, 2016 (ISBN 9781467380751)
DOI - URL correlato - ARCA card: 10278/3674153
2016 Curatorship (a cura di) Chaki, Rituparna; Cortesi, Agostino; Saeed, Khalid; Chaki, Nabendu Advanced computing and systems for security in ADVANCES IN INTELLIGENT SYSTEMS AND COMPUTING, Springer Verlag, vol. 395 (ISBN 9788132226482) (ISSN 2194-5357)
DOI - URL correlato - ARCA card: 10278/3678596
2015 Journal Article Costantini, Giulia; Ferrara, Pietro.; Cortesi, Agostino A suite of abstract domains for static analysis of string values in SOFTWARE-PRACTICE & EXPERIENCE, John Wiley and Sons Ltd, vol. 45, pp. 245-287 (ISSN 0038-0644)
DOI - URL correlato - ARCA card: 10278/37774
2015 Journal Article 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)
DOI - URL correlato - ARCA card: 10278/3661627
2015 Article in Conference Proceedings 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 Verlag, vol. 9090, pp. 123-134, Convegno: 1st Joint International Conference on Serious Games, JCSG 2015, 2015 (ISBN 9783319191256) (ISSN 0302-9743)
DOI - URL correlato - ARCA card: 10278/3650153
2015 Article in Conference Proceedings 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)
DOI - URL correlato - ARCA card: 10278/3661631
2015 Article in Conference Proceedings 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, 345 E 47TH ST, NEW YORK, NY 10017 USA, IEEE, pp. 201-206, Convegno: 7th Computer Science and Electronic Engineering Conference (CEEC), 2015, 24-25/06/2015 (ISBN 9781467394819)
DOI - URL correlato - ARCA card: 10278/3671256
2015 Article in Conference Proceedings 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)
DOI - URL correlato - ARCA card: 10278/3661635
2015 Article in Conference Proceedings 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)
DOI - URL correlato - ARCA card: 10278/3661633
2015 Article in Conference Proceedings 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)
DOI - URL correlato - ARCA card: 10278/3666310
2014 Journal Article 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)
- URL correlato - ARCA card: 10278/38385
2014 Article in Conference Proceedings Manali Chakraborty; Nabendu Chaki; Agostino Cortesi 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)
DOI - URL correlato - ARCA card: 10278/43541
2014 Article in Conference Proceedings 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)
DOI - ARCA card: 10278/40732
2014 Article in Conference Proceedings 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)
DOI - URL correlato - ARCA card: 10278/43540
2014 Article in Conference Proceedings 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
DOI - ARCA card: 10278/39569
2013 Journal Article 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)
DOI - URL correlato - ARCA card: 10278/38043
2013 Journal Article HALDER R.; CORTESI A. Abstract program slicing on dependence condition graphs in SCIENCE OF COMPUTER PROGRAMMING, vol. 78, pp. 1240-1263 (ISSN 0167-6423)
DOI - ARCA card: 10278/34146
2013 Journal Article 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)
- URL correlato - ARCA card: 10278/37241
2013 Book Article BHATTACHARYA S.; CORTESI A. Distortion-Free Authentication Watermarking , Software and Data Technologies, Berlin, Springer Verlag, vol. 170, pp. 205-219 (ISBN 9783642295775) (ISSN 1865-0929)
DOI - ARCA card: 10278/29460
2013 Book Article 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)
DOI - ARCA card: 10278/23489
2013 Book Article 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)
DOI - ARCA card: 10278/37423
2013 Article in Conference Proceedings 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)
DOI - ARCA card: 10278/37417
2013 Article in Conference Proceedings 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)
DOI - ARCA card: 10278/37170
2013 Article in Conference Proceedings 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)
DOI - URL correlato - ARCA card: 10278/38707
2013 Article in Conference Proceedings 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)
DOI - URL correlato - ARCA card: 10278/37776
2013 Curatorship (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)
DOI - URL correlato - ARCA card: 10278/38291
2012 Scientific monograph or treatise 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)
DOI - URL correlato - ARCA card: 10278/31113
2012 Journal Article HALDER R.; CORTESI A. Abstract Interpretation of Database Query Languages in COMPUTER LANGUAGES, SYSTEMS & STRUCTURES, vol. 38(2), pp. 123-157 (ISSN 1477-8424)
DOI - ARCA card: 10278/29388
2012 Journal Article 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)
DOI - ARCA card: 10278/25921
2012 Book Article 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)
DOI - ARCA card: 10278/30275
2012 Article in Conference Proceedings SEN S.; DUTTA A.; CORTESI A.; 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)
DOI - ARCA card: 10278/35746
2012 Article in Conference Proceedings 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)
DOI - ARCA card: 10278/37157
2012 Article in Conference Proceedings 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)
DOI - ARCA card: 10278/27119
2012 Article in Conference Proceedings 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)
DOI - ARCA card: 10278/29630
2012 Curatorship (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)
DOI - ARCA card: 10278/35819
2011 Journal Article 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)
DOI - ARCA card: 10278/29334
2011 Article in Conference Proceedings 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)
DOI - ARCA card: 10278/4442
2011 Article in Conference Proceedings 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)
- ARCA card: 10278/24399
2011 Article in Conference Proceedings 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)
DOI - ARCA card: 10278/23557
2011 Article in Conference Proceedings 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)
DOI - ARCA card: 10278/29367
2011 Article in Conference Proceedings 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, 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)
DOI - ARCA card: 10278/28239
2011 Article in Conference Proceedings 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)
DOI - ARCA card: 10278/29426
2011 Article in Conference Proceedings 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)
DOI - ARCA card: 10278/30329
2011 Article in Conference Proceedings 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)
- ARCA card: 10278/29448
2011 Article in Conference Proceedings 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)
DOI - ARCA card: 10278/28241
2011 Article in Conference Proceedings 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)
- ARCA card: 10278/29488
2011 Curatorship (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)
- ARCA card: 10278/25810
2010 Journal Article 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)
- ARCA card: 10278/25826
2010 Journal Article BRUSO' M.; CORTESI A. Non-repudiation analysis using LySa with annotations in COMPUTER LANGUAGES, SYSTEMS & STRUCTURES, vol. 36, pp. 352-377 (ISSN 1477-8424)
DOI - ARCA card: 10278/22229
2010 Journal Article CORTESI A. Progettare e sviluppare sofware affidabili, sicuri, sostenibili in ETICA PER LE PROFESSIONI, vol. XII - 1/2010, pp. 44-49 (ISSN 1591-7649)
- ARCA card: 10278/29534
2010 Journal Article 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)
DOI - ARCA card: 10278/30064
2010 Article in Conference Proceedings 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)
DOI - ARCA card: 10278/25154
2010 Article in Conference Proceedings 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)
- ARCA card: 10278/23054
2010 Article in Conference Proceedings 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)
- ARCA card: 10278/4103
2010 Article in Conference Proceedings 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)
DOI - ARCA card: 10278/26263
2010 Article in Conference Proceedings 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)
DOI - ARCA card: 10278/28809
2010 Article in Conference Proceedings 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)
- ARCA card: 10278/23984
2010 Article in Conference Proceedings 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)
- ARCA card: 10278/30999
2010 Article in Conference Proceedings 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)
- ARCA card: 10278/4041
2010 Article in Conference Proceedings 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)
DOI - ARCA card: 10278/23844
2009 Journal Article CANDIELLO A.; ALBARELLI A.; CORTESI A.; MOLA A.; TASSO E.; SALOMONI B. Qualita' nell'eGovernment Locale in QUALITÀ, vol. 5, pp. 41-45
- ARCA card: 10278/23962
2009 Journal Article 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)
- ARCA card: 10278/29713
2009 Article in Conference Proceedings 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)
- ARCA card: 10278/4385
2009 Article in Conference Proceedings 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)
DOI - ARCA card: 10278/21857
2009 Article in Conference Proceedings 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)
- ARCA card: 10278/27293
2009 Article in Conference Proceedings 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)
- ARCA card: 10278/23432
2009 Article in Conference Proceedings 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)
- ARCA card: 10278/28533
2009 Article in Conference Proceedings 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)
- ARCA card: 10278/30357
2009 Article in Conference Proceedings 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)
DOI - ARCA card: 10278/26479
2009 Article in Conference Proceedings 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)
DOI - ARCA card: 10278/26838
2009 Article in Conference Proceedings 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
- ARCA card: 10278/21858
2009 Article in Conference Proceedings 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)
- ARCA card: 10278/22264
2008 Journal Article BRAGHIN C; CORTESI A.; FOCARDI R Information flow security in Boundary Ambients in INFORMATION AND COMPUTATION, vol. 206, pp. 460-489 (ISSN 0890-5401)
DOI - ARCA card: 10278/22285
2008 Article in Conference Proceedings 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)
- ARCA card: 10278/23830
2008 Article in Conference Proceedings 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)
- ARCA card: 10278/20734
2008 Article in Conference Proceedings 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)
DOI - ARCA card: 10278/26888
2008 Curatorship (a cura di) CORTESI A.; LUCCIO F ACM-IFIP IEEIII - Informatics Education Europe , VENEZIA, Dipartimento di Informatica, Università Ca' Foscari Venezia (ISBN 9788890343308)
- ARCA card: 10278/20513
2007 Journal Article 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)
- ARCA card: 10278/24936
2007 Article in Conference Proceedings 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)
DOI - ARCA card: 10278/22301
2007 Article in Conference Proceedings 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)
- ARCA card: 10278/18163
2007 Article in Conference Proceedings 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)
DOI - ARCA card: 10278/22585
2006 Book Article 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)
- ARCA card: 10278/16068
2006 Prefazione/Postfazione CORTESI A. Prefazione in ANTONIO CANDIELLO, Qualità e tecnologie informatiche per l'innovazione nelle Pmi., Milano, Franco Angeli (ISBN 9788846479808)
- ARCA card: 10278/16281
2006 Article in Conference Proceedings 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)
DOI - ARCA card: 10278/24984
2006 Article in Conference Proceedings 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
- ARCA card: 10278/16069
2005 Article in Conference Proceedings 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)
DOI - ARCA card: 10278/25032
2005 Article in Conference Proceedings 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)
DOI - ARCA card: 10278/11481
2005 Article in Conference Proceedings 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)
DOI - ARCA card: 10278/29048
2005 Article in Conference Proceedings 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)
- ARCA card: 10278/11480
2005 Article in Conference Proceedings 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)
- ARCA card: 10278/9629
2004 Journal Article CELENTANO A.; CORTESI A.; MASTANDREA P. Informatica Umanistica: Una Disciplina di Confine in MONDO DIGITALE, vol. 4/4, pp. 44-55 (ISSN 1720-898X)
- ARCA card: 10278/16158
2004 Journal Article 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)
DOI - ARCA card: 10278/29447
2004 Journal Article 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)
- ARCA card: 10278/11479
2004 Article in Conference Proceedings 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)
DOI - ARCA card: 10278/24983
2003 Journal Article CORTESI A.; G. FILE' Static Analysis in SCIENCE OF COMPUTER PROGRAMMING, vol. 47(2-3), pp. 89-90 (ISSN 0167-6423)
DOI - ARCA card: 10278/11251
2003 Article in Conference Proceedings 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, 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)
DOI - ARCA card: 10278/30387
2003 Article in Conference Proceedings 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)
DOI - ARCA card: 10278/15803
2003 Article in Conference Proceedings 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)
DOI - ARCA card: 10278/25033
2003 Curatorship (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)
- ARCA card: 10278/7172
2002 Journal Article CORTESI A.; FOCARDI R. Computer Languages and Security in COMPUTER LANGUAGES, vol. 28(1), pp. 1-2 (ISSN 0096-0551)
DOI - ARCA card: 10278/12126
2002 Journal Article 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)
DOI - ARCA card: 10278/26403
2002 Journal Article BRAGHIN C.; CORTESI A.; FOCARDI R. Security Boundaries in Mobile Ambient in COMPUTER LANGUAGES, vol. 28(1), pp. 101-127 (ISSN 0096-0551)
DOI - ARCA card: 10278/26404
2002 Article in Conference Proceedings 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)
- ARCA card: 10278/9627
2002 Article in Conference Proceedings 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)
- ARCA card: 10278/9626
2002 Article in Conference Proceedings 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
- ARCA card: 10278/6027
2002 Article in Conference Proceedings 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)
- ARCA card: 10278/9628
2002 Curatorship (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)
- ARCA card: 10278/4695
2002 Curatorship (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)
- ARCA card: 10278/7812
2001 Journal Article 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)
DOI - URL correlato - ARCA card: 10278/22307
2001 Article in Conference Proceedings CHIARA BRAGHIN; AGOSTINO CORTESI; FOCARDI R. Control Flow Analysis for information flow security , NORDSEC 2001, Convegno: NORDSEC 2001
- ARCA card: 10278/6023
2001 Article in Conference Proceedings 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)
DOI - ARCA card: 10278/36717
2001 Article in Conference Proceedings 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)
DOI - ARCA card: 10278/22308
2001 Article in Conference Proceedings 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)
DOI - ARCA card: 10278/11478
2000 Journal Article 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)
DOI - ARCA card: 10278/26021
2000 Journal Article 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)
DOI - ARCA card: 10278/12124
1999 Journal Article 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)
DOI - URL correlato - ARCA card: 10278/39309
1999 Journal Article CORTESI A.; G. FILE' Sharing is optimal in JOURNAL OF LOGIC PROGRAMMING, vol. 38, pp. 371-386 (ISSN 0743-1066)
DOI - ARCA card: 10278/12125
1999 Curatorship (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)
- ARCA card: 10278/7130
1998 Scientific monograph or treatise ORSINI R.; A. CORTESI Programmare in Modula-3: Introduzione alla programmazione imperativa e a oggetti , PADOVA, CEDAM, pp. 304-304 (ISBN 9788813212827)
- ARCA card: 10278/6380
1998 Journal Article 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)
DOI - ARCA card: 10278/27187
1997 Journal Article 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)
DOI - ARCA card: 10278/12123
1997 Article in Conference Proceedings 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
- ARCA card: 10278/8252
1997 Article in Conference Proceedings 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)
DOI - ARCA card: 10278/13598
1996 Journal Article 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)
DOI - ARCA card: 10278/26022
1996 Article in Conference Proceedings 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)
- ARCA card: 10278/13791
1995 Journal Article 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)
DOI - ARCA card: 10278/25100
1995 Journal Article 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)
DOI - ARCA card: 10278/25079
1994 Article in Conference Proceedings 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)
- ARCA card: 10278/26841
1994 Article in Conference Proceedings 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)
- ARCA card: 10278/25006
1993 Journal Article CORTESI A.; FILE G. Graph properties for normal logic programs in THEORETICAL COMPUTER SCIENCE, vol. 107, pp. 277-303 (ISSN 0304-3975)
DOI - ARCA card: 10278/26402
1992 Article in Conference Proceedings 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)
DOI - ARCA card: 10278/32626
1991 Article in Conference Proceedings 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, 1515 BROADWAY, NEW YORK, NY 10036, ASSOC COMPUTING MACHINERY, vol. 26, pp. 52-61, Convegno: Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'91, June 17-19, 1991 (ISBN 0897914333)
- ARCA card: 10278/11482
1991 Article in Conference Proceedings CORTESI A.; FILE' G.;Winsborough W. 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, I E E E, COMPUTER SOC PRESS, pp. 322-327, Convegno: LICS '91 - Sixth Annual IEEE Symposium on Logics in Computer Science, 15-18 July 1991 (ISBN 081862230X; 9780818622304)
- ARCA card: 10278/26840
1989 Journal Article Alberto Bressan; Agostino Cortesi DIRECTIONALLY CONTINUOUS-SELECTIONS IN BANACH-SPACES in NONLINEAR ANALYSIS, vol. 13, pp. 987-992 (ISSN 0362-546X)
DOI - ARCA card: 10278/25196
1986 Journal Article 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)
- ARCA card: 10278/23122

List of selected publications