default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAgostino Cortesi
Person information
- affiliation: Ca' Foscari University of Venice, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j67]Maikel Lázaro Pérez Gort
, Martina Olliaro, Agostino Cortesi:
Study of the Watermark Source's Topology Role on Relational Data Watermarking Robustness. IEEE Access 12: 25857-25875 (2024)- [j66]Luca Olivieri, Luca Negrini, Vincenzo Arceri, Badaruddin Chachar, Pietro Ferrara, Agostino Cortesi:
Detection of Phantom Reads in Hyperledger Fabric. IEEE Access 12: 80687-80697 (2024) - [j65]Santanu Roy, Saikat Raj, Tamal Chakraborty, Anirban Chakrabarty, Agostino Cortesi, Soumya Sen:
Efficient OLAP query processing across cuboids in distributed data warehousing environment. Expert Syst. Appl. 239: 122481 (2024) - [j64]Souvick Das, Novarun Deb, Agostino Cortesi, Nabendu Chaki:
Extracting goal models from natural language requirement specifications. J. Syst. Softw. 211: 111981 (2024) - [j63]Souvick Das, Novarun Deb, Nabendu Chaki, Agostino Cortesi:
Minimising conflicts among run-time non-functional requirements within DevOps. Syst. Eng. 27(1): 177-198 (2024) - [j62]Luca Negrini, Vincenzo Arceri, Agostino Cortesi, Pietro Ferrara:
Tarsis: An effective automata-based abstract domain for string analysis. J. Softw. Evol. Process. 36(8) (2024) - [j61]Mandira Roy, Raunak Bag, Novarun Deb, Agostino Cortesi, Rituparna Chaki, Nabendu Chaki:
SCARS: Suturing wounds due to conflicts between non-functional requirements in autonomous and robotic systems. Softw. Pract. Exp. 54(5): 759-795 (2024) - [j60]Pietro Ferrara, Vincenzo Arceri, Agostino Cortesi:
Challenges of software verification: the past, the present, the future. Int. J. Softw. Tools Technol. Transf. 26(4): 421-430 (2024) - [c111]Alessandra Poggiani, Agostino Cortesi:
Challenges in Health Information Systems: Health Data Management and Access for Life Sciences Research. CISIM 2024: 195-211 - [c110]Luca Negrini, Vincenzo Arceri, Luca Olivieri, Agostino Cortesi, Pietro Ferrara:
Teaching Through Practice: Advanced Static Analysis with LiSA. FMTea 2024: 43-57 - 2023
- [j59]Rudra Krishnasrija, Amit Kr Mandal, Agostino Cortesi:
A lightweight mutual and transitive authentication mechanism for IoT network. Ad Hoc Networks 138: 103003 (2023) - [j58]Luca Olivieri, Luca Negrini, Vincenzo Arceri, Fabio Tagliaferro, Pietro Ferrara, Agostino Cortesi, Fausto Spoto:
Information Flow Analysis for Detecting Non-Determinism in Blockchain (Artifact). Dagstuhl Artifacts Ser. 9(2): 23:1-23:3 (2023) - [j57]Maikel Lázaro Pérez Gort, Martina Olliaro, Agostino Cortesi:
Relational data watermarking resilience to brute force attacks in untrusted environments. Expert Syst. Appl. 212: 118713 (2023) - [j56]Mandira Roy, Souvick Das, Novarun Deb, Agostino Cortesi, Rituparna Chaki, Nabendu Chaki:
Correlating contexts and NFR conflicts from event logs. Softw. Syst. Model. 22(6): 1987-2010 (2023) - [j55]Souvick Das, Novarun Deb, Nabendu Chaki, Agostino Cortesi:
Driving the Technology Value Stream by Analyzing App Reviews. IEEE Trans. Software Eng. 49(7): 3753-3770 (2023) - [c109]Luca Olivieri, Luca Negrini, Vincenzo Arceri, Fabio Tagliaferro, Pietro Ferrara, Agostino Cortesi, Fausto Spoto:
Information Flow Analysis for Detecting Non-Determinism in Blockchain. ECOOP 2023: 23:1-23:25 - [c108]Deepanjan Mitra, Agostino Cortesi, Nabendu Chaki:
A Two-Hop Neighborhood Based Berserk Detection Algorithm for Probabilistic Model of Consensus in Distributed Ledger Systems. ICCCI 2023: 379-391 - [c107]Souvick Das, Novarun Deb, Agostino Cortesi, Nabendu Chaki:
Zero-shot Learning for Named Entity Recognition in Software Specification Documents. RE 2023: 100-110 - [i5]Souvick Das, Novarun Deb, Agostino Cortesi, Nabendu Chaki:
An Annexure to the Paper "Driving the Technology Value Stream by Analyzing App Reviews". CoRR abs/2303.04519 (2023) - 2022
- [j54]Maikel Lázaro Pérez Gort, Martina Olliaro, Agostino Cortesi:
Reducing Multiple Occurrences of Meta-Mark Selection in Relational Data Watermarking. IEEE Access 10: 62210-62231 (2022) - [j53]Martina Olliaro, Maikel Lázaro Pérez Gort, Agostino Cortesi:
Empirical analysis of the impact of queries on watermarked relational databases. Expert Syst. Appl. 204: 117491 (2022) - [j52]Santanu Roy, Agostino Cortesi, Soumya Sen:
Context-aware OLAP for textual data warehouses. Int. J. Inf. Manag. Data Insights 2(2): 100129 (2022) - [j51]Antonio Panfili, Alvise Spanò, Agostino Cortesi:
A Wearable System for Jump Detection in Inline Figure Skating. Sensors 22(4): 1650 (2022) - [j50]Paramita Sarkar, Rituparna Chaki, Agostino Cortesi:
A Patient-Centric Nurse Scheduling Algorithm. SN Comput. Sci. 3(1): 7 (2022) - [c106]Luca Olivieri, Fabio Tagliaferro, Vincenzo Arceri, Marco Ruaro, Luca Negrini, Agostino Cortesi, Pietro Ferrara, Fausto Spoto, Enrico Talin:
Ensuring determinism in blockchain software with GoLiSA: an industrial experience report. SOAP@PLDI 2022: 23-29 - [c105]Vincenzo Arceri, Martina Olliaro, Agostino Cortesi, Pietro Ferrara:
Relational String Abstract Domains. VMCAI 2022: 20-42 - 2021
- [j49]Manali Chakraborty, Alvise Spanò, Agostino Cortesi:
Geographic location based secure, dynamic and opportunistic RPL for distributed networks. Ad Hoc Networks 123: 102689 (2021) - [j48]Maikel Lázaro Pérez Gort, Martina Olliaro, Agostino Cortesi, Claudia Feregrino Uribe:
Semantic-driven watermarking of relational textual databases. Expert Syst. Appl. 167: 114013 (2021) - [j47]Vincenzo Arceri, Martina Olliaro, Agostino Cortesi, Isabella Mastroeni:
Completeness of string analysis for dynamic languages. Inf. Comput. 281: 104791 (2021) - [j46]Partha Ghosh, Soumya Sen, Agostino Cortesi:
Skyline computation over multiple points and dimensions. Innov. Syst. Softw. Eng. 17(2): 141-156 (2021) - [j45]Agostino Cortesi, Nabendu Chaki, Rituparna Chaki:
Verifiability in Systems and Data Engineering: Preface by the Special Issue Editors. Innov. Syst. Softw. Eng. 17(3): 185-186 (2021) - [j44]Mandira Roy, Novarun Deb, Agostino Cortesi, Rituparna Chaki, Nabendu Chaki:
Requirement-oriented risk management for incremental software development. Innov. Syst. Softw. Eng. 17(3): 187-204 (2021) - [j43]Santanu Roy, Bibekananda Shit, Soumya Sen, Agostino Cortesi:
Construction and distribution of materialized views in Non-binary data space. Innov. Syst. Softw. Eng. 17(3): 205-217 (2021) - [j42]Mandira Roy, Novarun Deb, Agostino Cortesi, Rituparna Chaki, Nabendu Chaki:
NFR-aware prioritization of software requirements. Syst. Eng. 24(3): 158-176 (2021) - [j41]Souvick Das, Novarun Deb, Agostino Cortesi, Nabendu Chaki:
Sentence Embedding Models for Similarity Detection of Software Requirements. SN Comput. Sci. 2(1): 69 (2021) - [j40]Pietro Ferrara, Amit Kr Mandal, Agostino Cortesi, Fausto Spoto:
Static analysis for discovering IoT vulnerabilities. Int. J. Softw. Tools Technol. Transf. 23(1): 71-88 (2021) - [c104]Deepanjan Mitra, Agostino Cortesi, Nabendu Chaki:
ALEA: An Anonymous Leader Election Algorithm for Synchronous Distributed Systems. CORES/IP&C/ACS 2021: 46-58 - [c103]Maikel Lázaro Pérez Gort, Martina Olliaro, Agostino Cortesi:
A Quantile-Based Watermarking Approach for Distortion Minimization. FPS 2021: 162-176 - [c102]Pietro Ferrara, Luca Negrini, Vincenzo Arceri, Agostino Cortesi:
Static analysis for dummies: experiencing LiSA. SOAP@PLDI 2021: 1-6 - [c101]Mandira Roy, Novarun Deb, Agostino Cortesi, Rituparna Chaki, Nabendu Chaki:
CARO: A Conflict-Aware Requirement Ordering Tool for DevOps. RE 2021: 442-443 - [c100]Luca Negrini, Vincenzo Arceri, Pietro Ferrara, Agostino Cortesi:
Twinning Automata and Regular Expressions for String Static Analysis. VMCAI 2021: 267-290 - [e18]Rituparna Chaki, Agostino Cortesi, Khalid Saeed, Nabendu Chaki:
Advanced Computing and Systems for Security - Volume Eleven, 7th International Doctoral Symposium on Applied Computation and Security Systems, ACSS 2020, Kolkata, India, February 28-29, 2020. Advances in Intelligent Systems and Computing 1178, Springer 2021, ISBN 978-981-15-5746-0 [contents] - 2020
- [j39]Maikel Lázaro Pérez Gort, Claudia Feregrino Uribe, Agostino Cortesi, Félix Oscar Fernández Peña:
A Double Fragmentation Approach for Improving Virtual Primary Key-Based Watermark Synchronization. IEEE Access 8: 61504-61516 (2020) - [j38]Pietro Ferrara, Agostino Cortesi, Fausto Spoto:
From CIL to Java bytecode: Semantics-based translation for static analysis leveraging. Sci. Comput. Program. 191: 102392 (2020) - [j37]Alvise Spanò, Agostino Cortesi:
Legodroid: A Type-Driven Library for Android and LEGO Mindstorms Interoperability. Sensors 20(7): 1926 (2020) - [j36]Angshuman Jana, Raju Halder, Kalahasti Venkata Abhishekh, Sanjeevini Devi Ganni, Agostino Cortesi:
Extending Abstract Interpretation to Dependency Analysis of Database Applications. IEEE Trans. Software Eng. 46(5): 463-494 (2020) - [c99]Rocco Salvia, Agostino Cortesi, Pietro Ferrara, Fausto Spoto:
Intents Analysis of Android Apps for Confidentiality Leakage Detection. ACSS (1) 2020: 43-65 - [c98]Novarun Deb, Mandira Roy, Nabendu Chaki, Agostino Cortesi:
Generation of Safety and Liveness Complaint Automata from Goal Model Specifications. EDCC 2020: 127-134 - [c97]Amit Kr Mandal, Pietro Ferrara, Yuliy Khlyebnikov, Agostino Cortesi, Fausto Spoto:
Cross-program taint analysis for IoT systems. SAC 2020: 1944-1952 - [e17]Rituparna Chaki, Agostino Cortesi, Khalid Saeed, Nabendu Chaki:
Advanced Computing and Systems for Security - Volume Nine, 6th International Doctoral Symposium on Applied Computation and Security, ACSS 2019, Kolkata, India, 12-13 March, 2019. Advances in Intelligent Systems and Computing 995, Springer 2020, ISBN 978-981-13-8961-0 [contents] - [e16]Rituparna Chaki, Agostino Cortesi, Khalid Saeed, Nabendu Chaki:
Advanced Computing and Systems for Security - Volume Ten, 6th International Doctoral Symposium on Applied Computation and Security, ACSS 2019, Kolkata, India, 12-13 March, 2019. Advances in Intelligent Systems and Computing 996, Springer 2020, ISBN 978-981-13-8968-9 [contents] - [e15]Rituparna Chaki, Agostino Cortesi, Khalid Saeed, Nabendu Chaki:
Advanced Computing and Systems for Security - Volume Twelve, 7th International Doctoral Symposium on Applied Computation and Security Systems, ACSS 2020, Kolkata, India, February 28-29, 2020. Advances in Intelligent Systems and Computing 1136, Springer 2020, ISBN 978-981-15-2929-0 [contents] - [i4]Luca Negrini, Vincenzo Arceri, Pietro Ferrara, Agostino Cortesi:
Twinning automata and regular expressions for string static analysis. CoRR abs/2006.02715 (2020)
2010 – 2019
- 2019
- [j35]Pietro Ferrara, Amit Kr Mandal, Agostino Cortesi, Fausto Spoto:
Cross-Programming Language Taint Analysis for the IoT Ecosystem. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 77 (2019) - [j34]Maikel Lázaro Pérez Gort, Claudia Feregrino Uribe, Agostino Cortesi, Félix Oscar Fernández Peña:
HQR-Scheme: A High Quality and resilient virtual primary key generation approach for watermarking relational data. Expert Syst. Appl. 138 (2019) - [j33]Adrija Bhattacharya, Sankhayan Choudhury, Agostino Cortesi:
Replaceability and negotiation in a cloud service ecosystem. J. Cloud Comput. 8: 14 (2019) - [j32]Ruffin White, Gianluca Caiazza, Agostino Cortesi, Young Im Cho, Henrik I. Christensen:
Black Block Recorder: Immutable Black Box Logging for Robots via Blockchain. IEEE Robotics Autom. Lett. 4(4): 3812-3819 (2019) - [j31]Amit Kr Mandal, Federica Panarotto, Agostino Cortesi, Pietro Ferrara, Fausto Spoto:
Static analysis of Android Auto infotainment and on-board diagnostics II apps. Softw. Pract. Exp. 49(7): 1131-1161 (2019) - [j30]Agostino Cortesi, Omer Tripp:
Introduction to the special issue: SAAP-2017 (Static Analysis of Android Apps: Security and Privacy). J. Comput. Lang. 52: 25 (2019) - [c96]Manali Chakraborty, Alvise Spanò, Agostino Cortesi:
Geographic Location Based Dynamic and Opportunistic RPL for Distributed Networks. CISIM 2019: 120-131 - [c95]Alvise Spanò, Agostino Cortesi, Giulio Zausa:
Type-Driven Cross-Programming for Android and LEGO Mindstorms Interoperability. CISIM 2019: 191-209 - [c94]Ruffin White, Gianluca Caiazza, Chenxu Jiang, Xinyue Ou, Zhiyue Yang, Agostino Cortesi, Henrik I. Christensen:
Network Reconnaissance and Vulnerability Excavation of Secure DDS Systems. EuroS&P Workshops 2019: 57-66 - [c93]Vincenzo Arceri, Martina Olliaro, Agostino Cortesi, Isabella Mastroeni:
Completeness of Abstract Domains for String Analysis of JavaScript Programs. ICTAC 2019: 255-272 - [c92]Maikel Lázaro Pérez Gort, Martina Olliaro, Claudia Feregrino Uribe, Agostino Cortesi:
Preventing Additive Attacks to Relational Database Watermarking. CONFENIS 2019: 131-140 - [c91]Amit Kr Mandal, Agostino Cortesi, Anirban Sarkar, Nabendu Chaki:
Things as a Service: Service model for IoT. INDIN 2019: 1364-1369 - [c90]Agostino Cortesi, Henrich Lauko, Martina Olliaro, Petr Rockai:
String Abstraction for Model Checking of C Programs. SPIN 2019: 74-93 - [e14]Rituparna Chaki, Agostino Cortesi, Khalid Saeed, Nabendu Chaki:
Advanced Computing and Systems for Security - Volume Eight, Fifth International Doctoral Symposium on Applied Computation and Security Systems, ACSS 2018, Kolkata, India, February 9-11, 2018. Advances in Intelligent Systems and Computing 883, Springer 2019, ISBN 978-981-13-3701-7 [contents] - [e13]Rituparna Chaki, Agostino Cortesi, Khalid Saeed, Nabendu Chaki:
Advanced Computing and Systems for Security - Volume 7, 5th International Doctoral Symposium on Applied Computation and Security Systems, ACSS 2018, Kolkata, India, February 9-11, 2018. Advances in Intelligent Systems and Computing 897, Springer 2019, ISBN 978-981-13-3249-4 [contents] - [i3]Ruffin White, Gianluca Caiazza, Chenxu Jiang, Xinyue Ou, Zhiyue Yang, Agostino Cortesi, Henrik I. Christensen:
Network Reconnaissance and Vulnerability Excavation of Secure DDS Systems. CoRR abs/1908.05310 (2019) - 2018
- [j29]Agostino Cortesi, Pietro Ferrara, Raju Halder, Matteo Zanioli:
Combining Symbolic and Numerical Domains for Information Leakage Analysis. Trans. Comput. Sci. 31: 98-135 (2018) - [c89]Gianluca Caiazza, Ruffin White, Agostino Cortesi:
Enhancing Security in ROS. ACSS (2) 2018: 3-15 - [c88]Amit Kr Mandal, Agostino Cortesi, Pietro Ferrara, Federica Panarotto, Fausto Spoto:
Vulnerability analysis of Android auto infotainment apps. CF 2018: 183-190 - [c87]Fabio Mondin, Agostino Cortesi:
MySQL Extension Automatic Porting to PDO for PHP Migration and Security Improvement. CISIM 2018: 461-473 - [c86]Riya Samanta, Chandni Kumari, Novarun Deb, Sagar Bose, Agostino Cortesi, Nabendu Chaki:
Node localization for indoor tracking using artificial neural network. FMEC 2018: 229-233 - [c85]Pietro Ferrara, Agostino Cortesi, Fausto Spoto:
CIL to Java-bytecode translation for static analysis leveraging. FormaliSE@ICSE 2018: 40-49 - [c84]Ruffin White, Henrik I. Christensen, Gianluca Caiazza, Agostino Cortesi:
Procedurally Provisioned Access Control for Robotic Systems. IROS 2018: 1-9 - [c83]Federica Panarotto, Agostino Cortesi, Pietro Ferrara, Amit Kr Mandal, Fausto Spoto:
Static Analysis of Android Apps Interaction with Automotive CAN. SmartCom 2018: 114-123 - [c82]Agostino Cortesi, Martina Olliaro:
M-String Segmentation: A Refined Abstract Domain for String Analysis in C Programs. TASE 2018: 1-8 - [c81]Rocco Salvia, Pietro Ferrara, Fausto Spoto, Agostino Cortesi:
SDLI: Static Detection of Leaks Across Intents. TrustCom/BigDataSE 2018: 1002-1007 - [i2]Ruffin White, Gianluca Caiazza, Henrik I. Christensen, Agostino Cortesi:
Procedurally Provisioned Access Control for Robotic Systems. CoRR abs/1810.08125 (2018) - 2017
- [j28]Francesco Di Giacomo, Mohamed Abbadi, Agostino Cortesi, Pieter Spronck, Giulia Costantini, Giuseppe Maggiore:
High performance encapsulation and networking in Casanova 2. Entertain. Comput. 20: 25-41 (2017) - [j27]Al-Sakib Khan Pathan, Yudong Zhang, Sambit Bakshi, Patrick Siarry, Pankaj Kumar Sa, Nabendu Chaki, Agostino Cortesi:
Introduction to special issue on 'intelligent computing and adaptive systems'. Innov. Syst. Softw. Eng. 13(4): 241-242 (2017) - [c80]Malik Khurram Awan, Agostino Cortesi:
Blockchain Transaction Analysis Using Dominant Sets. CISIM 2017: 229-239 - [c79]Enrico Eugenio, Agostino Cortesi:
WiFi-Related Energy Consumption Analysis of Mobile Devices in a Walkable Area by Abstract Interpretation. ICDCIT 2017: 27-39 - [c78]Francesco Di Giacomo, Mohamed Abbadi, Agostino Cortesi, Pieter Spronck, Giuseppe Maggiore:
Metacasanova: an optimized meta-compiler for domain-specific languages. SLE 2017: 232-243 - [e12]Rituparna Chaki, Khalid Saeed, Agostino Cortesi, Nabendu Chaki:
Advanced Computing and Systems for Security - Volume Three, Third International Doctoral Symposium on Applied Computation and Security Systems, ACSS 2016, August 12-14, 2016, Kolkata, India. Advances in Intelligent Systems and Computing 567, 2017, ISBN 978-981-10-3408-4 [contents] - [e11]Rituparna Chaki, Khalid Saeed, Agostino Cortesi, Nabendu Chaki:
Advanced Computing and Systems for Security - Volume Four, Third International Doctoral Symposium on Applied Computation and Security Systems, ACSS 2016, August 12-14, 2016, Kolkata, India. Advances in Intelligent Systems and Computing 568, 2017, ISBN 978-981-10-3390-2 [contents] - 2016
- [j26]Supriya Chakraborty, Agostino Cortesi, Nabedu Chaki:
A uniform representation of multi-variant data in intensive-query databases. Innov. Syst. Softw. Eng. 12(3): 163-176 (2016) - [j25]Raju Halder, Angshuman Jana, Agostino Cortesi:
Data Leakage Analysis of the Hibernate Query Language on a Propositional Formulae Domain. Trans. Large Scale Data Knowl. Centered Syst. 23: 23-44 (2016) - [c77]Soumya Sen, Agostino Cortesi, Nabendu Chaki:
ROLAP based data warehouse schema to XML schema conversion. ICIT 2016: 1736-1741 - [c76]Francesco Di Giacomo, Mohamed Abbadi, Agostino Cortesi, Pieter Spronck, Giuseppe Maggiore:
Building Game Scripting DSL's with the Metacasanova Metacompiler. INTETAIN 2016: 231-242 - [c75]Gianluca Barbon, Agostino Cortesi, Pietro Ferrara, Enrico Steffinlongo:
DAPA: Degradation-Aware Privacy Analysis of Android Apps. STM 2016: 32-46 - [e10]Rituparna Chaki, Agostino Cortesi, Khalid Saeed, Nabendu Chaki:
Advanced Computing and Systems for Security - ACSS 2015 - 2nd International Doctoral Symposium on Applied Computation and Security Systems (ACSS), May, 23-25, 2015, Kolkata, India, Proceedings, Volume 1. Advances in Intelligent Systems and Computing 395, Springer 2016, ISBN 978-81-322-2648-2 [contents] - [e9]Rituparna Chaki, Agostino Cortesi, Khalid Saeed, Nabendu Chaki:
Advanced Computing and Systems for Security - ACSS 2015 - 2nd International Doctoral Symposium on Applied Computation and Security Systems (ACSS), May, 23-25, 2015, Kolkata, India, Proceedings, Volume 2. Advances in Intelligent Systems and Computing 396, Springer 2016, ISBN 978-81-322-2651-2 [contents] - 2015
- [j24]Agostino Cortesi, Giulia Costantini, Pietro Ferrara:
The abstract domain of Trapezoid Step Functions. Comput. Lang. Syst. Struct. 43: 41-68 (2015) - [j23]Giulia Costantini, Pietro Ferrara, Agostino Cortesi:
A suite of abstract domains for static analysis of string values. Softw. Pract. Exp. 45(2): 245-287 (2015) - [c74]Soumya Sen, Partha Ghosh, Agostino Cortesi:
Materialized View Construction Using Linearizable Nonlinear Regression. ACSS (1) 2015: 261-276 - [c73]Gianluca Barbon, Agostino Cortesi, Pietro Ferrara, Marco Pistoia, Omer Tripp:
Privacy Analysis of Android Apps: Implicit Flows and Quantitative Analysis. CISIM 2015: 3-23 - [c72]Angshuman Jana, Raju Halder, Nabendu Chaki, Agostino Cortesi:
Policy-Based Slicing of Hibernate Query Language. CISIM 2015: 267-281 - [c71]Angshuman Jana, Raju Halder, Agostino Cortesi:
Verification of Hibernate Query Language by Abstract Interpretation. IScIDE (2) 2015: 116-128 - [c70]Mohamed Abbadi, Francesco Di Giacomo, Agostino Cortesi, Pieter Spronck, Giulia Costantini, Giuseppe Maggiore:
Casanova: A Simple, High-Performance Language for Game Development. JCSG 2015: 123-134 - [c69]Agostino Cortesi, Pietro Ferrara, Marco Pistoia, Omer Tripp:
Datacentric Semantics for Verification of Privacy Policy Compliance by Mobile Applications. VMCAI 2015: 61-79 - 2014
- [c68]Agostino Cortesi, Raju Halder:
Information-Flow Analysis of Hibernate Query Language. FDSE 2014: 262-274 - [c67]Manali Chakraborty, Nabendu Chaki, Agostino Cortesi:
A New Intrusion Prevention System for Protecting Smart Grids from ICMPv6 Vulnerabilities. FedCSIS 2014: 1539-1547 - [c66]Raju Halder, Matteo Zanioli, Agostino Cortesi:
Information leakage analysis of database query languages. SAC 2014: 813-820 - 2013
- [j22]Raju Halder, Agostino Cortesi:
Abstract program slicing on dependence condition graphs. Sci. Comput. Program. 78(9): 1240-1263 (2013) - [c65]Bidyut Biman Sarkar, Agostino Cortesi, Nabendu Chaki:
Modeling the Bullwhip Effect in a Multi-Stage Multi-Tier Retail Network by Generalized Stochastic Petri Nets. FedCSIS 2013: 1145-1152 - [c64]Agostino Cortesi, Raju Halder:
Abstract Interpretation of Recursive Queries. ICDCIT 2013: 157-170 - [c63]Giulia Costantini, Pietro Ferrara, Giuseppe Maggiore, Agostino Cortesi:
The Domain of Parametric Hypercubes for Static Analysis of Computer Games Software. ICFEM 2013: 447-463 - [c62]Agostino Cortesi, Pietro Ferrara, Nabendu Chaki:
Static analysis techniques for robotics software verification. ISR 2013: 1-6 - [c61]Raju Halder, Agostino Cortesi:
Abstract program slicing of database query languages. SAC 2013: 838-845 - [c60]Agostino Cortesi, Giulia Costantini, Pietro Ferrara:
A Survey on Product Operators in Abstract Interpretation. Festschrift for Dave Schmidt 2013: 325-336 - [e8]Khalid Saeed, Rituparna Chaki, Agostino Cortesi, Slawomir T. Wierzchon:
Computer Information Systems and Industrial Management - 12th IFIP TC8 International Conference, CISIM 2013, Krakow, Poland, September 25-27, 2013. Proceedings. Lecture Notes in Computer Science 8104, Springer 2013, ISBN 978-3-642-40924-0 [contents] - 2012
- [j21]Raju Halder, Agostino Cortesi:
Abstract interpretation of database query languages. Comput. Lang. Syst. Struct. 38(2): 123-157 (2012) - [c59]Giulia Costantini, Pietro Ferrara, Agostino Cortesi:
Linear Approximation of Continuous Systems with Trapezoid Step Functions. APLAS 2012: 98-114 - [c58]Soumya Sen, Anjan Dutta, Agostino Cortesi, Nabendu Chaki:
A New Scale for Attribute Dependency in Large Database Systems. CISIM 2012: 266-277 - [c57]Raju Halder, Agostino Cortesi:
Tukra: An Abstract Program Slicing Tool. ICSOFT 2012: 178-183 - [c56]Matteo Zanioli, Pietro Ferrara, Agostino Cortesi:
SAILS: static analysis of information leakage with sample. SAC 2012: 1308-1313 - [e7]Agostino Cortesi, Nabendu Chaki, Khalid Saeed, Slawomir T. Wierzchon:
Computer Information Systems and Industrial Management - 11th IFIP TC 8 International Conference, CISIM 2012, Venice, Italy, September 26-28, 2012. Proceedings. Lecture Notes in Computer Science 7564, Springer 2012, ISBN 978-3-642-33259-3 [contents] - [i1]Soumya Sen, Anjan Dutta, Agostino Cortesi, Nabendu Chaki:
A New Scale for Attribute Dependency in Large Database Systems. CoRR abs/1206.6322 (2012) - 2011
- [j20]Agostino Cortesi, Matteo Zanioli:
Widening and narrowing operators for abstract interpretation. Comput. Lang. Syst. Struct. 37(1): 24-42 (2011) - [c55]Antonio Candiello, Agostino Cortesi:
KPIs from Web Agents for Policies' Impact Analysis and Products' Brand Assessment. CISIM 2011: 192-201 - [c54]Raju Halder, Agostino Cortesi:
Observation-Based Fine Grained Access Control for XML Documents. CISIM 2011: 267-276 - [c53]Antonio Candiello, Agostino Cortesi:
KPI-Supported PDCA Model for Innovation Policy Management in Local Government. EGOV 2011: 320-331 - [c52]Giulia Costantini, Pietro Ferrara, Agostino Cortesi:
Static Analysis of String Values. ICFEM 2011: 505-521 - [c51]Alvise Spanò, Michele Bugliesi, Agostino Cortesi:
Type-flow Analysis for Legacy COBOL Code. ICSOFT (2) 2011: 64-75 - [c50]Sukriti Bhattacharya, Agostino Cortesi:
Property Driven Program Slicing Refinement. ICSOFT (2) 2011: 149-155 - [c49]Alvise Spanò, Michele Bugliesi, Agostino Cortesi:
Typing Legacy COBOL Code. ICSOFT (Selected Papers) 2011: 151-165 - [c48]Giuseppe Maggiore, Andrea Torsello, Flavio Sartoretto, Agostino Cortesi:
Engaging high school students in computer science via challenging applications. SIGITE Conference 2011: 43-48 - [c47]Raju Halder, Agostino Cortesi:
Cooperative Query Answering by Abstract Interpretation. SOFSEM 2011: 284-296 - [c46]Matteo Zanioli, Agostino Cortesi:
Information Leakage Analysis by Abstract Interpretation. SOFSEM 2011: 545-557 - [e6]Nabendu Chaki, Agostino Cortesi:
Computer Information Systems - Analysis and Technologies - 10th International Conference, CISIM 2011, Kolkata, India, December 14-16, 2011. Proceedings. Communications in Computer and Information Science 245, Springer 2011, ISBN 978-3-642-27244-8 [contents] - 2010
- [j19]Mayla Brusò, Agostino Cortesi:
Non-repudiation analysis using LySa with annotations. Comput. Lang. Syst. Struct. 36(4): 352-377 (2010) - [j18]Raju Halder, Shantanu Pal, Agostino Cortesi:
Watermarking Techniques for Relational Databases: Survey, Classification and Comparison. J. Univers. Comput. Sci. 16(21): 3164-3190 (2010) - [c45]Antonio Candiello, Andrea Albarelli, Agostino Cortesi:
Three-layered QoS for eGovernment web services. DG.O 2010: 217-222 - [c44]Raju Halder, Agostino Cortesi:
A Persistent Public Watermarking of Relational Databases. ICISS 2010: 216-230 - [c43]Sukriti Bhattacharya, Agostino Cortesi:
Distortion-Free Authentication Watermarking. ICSOFT (Selected Papers) 2010: 205-219 - [c42]Sukriti Bhattacharya, Agostino Cortesi:
Database Authentication by Distortion Free Watermarking. ICSOFT (1) 2010: 219-226 - [c41]Raju Halder, Agostino Cortesi:
Fine Grained Access Control for Relational Databases by Abstract Interpretation. ICSOFT (Selected Papers) 2010: 235-249 - [c40]Raju Halder, Agostino Cortesi:
Observation-based Fine Grained Access Control for Relational Databases. ICSOFT (1) 2010: 254-265 - [c39]Raju Halder, Agostino Cortesi:
Obfuscation-based analysis of SQL injection attacks. ISCC 2010: 931-938 - [c38]Agostino Cortesi, Raju Halder:
Dependence condition graph for semantics-based abstract program slicing. LDTA 2010: 4
2000 – 2009
- 2009
- [c37]Giulia Costantini, Giuseppe Maggiore, Agostino Cortesi:
Learning by Fixing and Extending Games. Eurographics (Education Papers) 2009: 15-21 - [c36]Sukriti Bhattacharya, Agostino Cortesi:
A Generic Distortion Free Watermarking Technique for Relational Databases. ICISS 2009: 252-264 - [c35]Sukriti Bhattacharya, Agostino Cortesi:
A Distortion Free Watermark Framework for Relational Databases. ICSOFT (2) 2009: 229-234 - [c34]Mayla Brusò, Agostino Cortesi:
Non-repudiation Analysis with LySa. SEC 2009: 318-329 - 2008
- [j17]Chiara Braghin, Agostino Cortesi, Riccardo Focardi:
Information flow security in Boundary Ambients. Inf. Comput. 206(2-4): 460-489 (2008) - [c33]Agostino Cortesi:
Widening Operators for Abstract Interpretation. SEFM 2008: 31-40 - [c32]Antonio Candiello, Andrea Albarelli, Agostino Cortesi:
An Ontology-based Inquiry Framework. SWAP 2008 - 2007
- [c31]Michael Backes, Agostino Cortesi, Riccardo Focardi, Matteo Maffei:
A calculus of challenges and responses. FMSE 2007: 51-60 - [c30]Michael Backes, Agostino Cortesi, Matteo Maffei:
Causality-based Abstraction of Multiplicity in Security Protocols. CSF 2007: 355-369 - 2006
- [c29]Francesco Logozzo, Agostino Cortesi:
Semantic Hierarchy Refactoring by Abstract Interpretation. VMCAI 2006: 313-331 - 2005
- [c28]Agostino Cortesi, Francesco Logozzo:
Abstract Interpretation-Based Verification of Non-functional Requirements. COORDINATION 2005: 49-62 - [c27]Agostino Cortesi, Francesco Logozzo:
Preface. AIOOL@VMCAI 2005: 1-2 - [c26]Francesco Logozzo, Agostino Cortesi:
Abstract Interpretation and Object-oriented Programming: Quo Vadis? AIOOL@VMCAI 2005: 75-84 - [e5]Agostino Cortesi, Francesco Logozzo:
Proceedings of the First International Workshop on Abstract Interpretation of Object-oriented Languages, AIOOL@VMCAI 2005, Paris, France, January 21, 2005. Electronic Notes in Theoretical Computer Science 131, Elsevier 2005 [contents] - 2004
- [j16]Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza:
Nesting analysis of mobile ambients. Comput. Lang. Syst. Struct. 30(3-4): 207-230 (2004) - [j15]Lenore D. Zuck, Paul C. Attie, Agostino Cortesi:
Preface by the section editors. Int. J. Softw. Tools Technol. Transf. 6(1): 1-3 (2004) - [c25]Chiara Braghin, Agostino Cortesi:
Flow-sensitive Leakage Analysis in Mobile Ambients. SecCo 2004: 17-25 - 2003
- [j14]Agostino Cortesi, Gilberto Filé:
Static Analysis. Sci. Comput. Program. 47(2-3): 89-90 (2003) - [c24]Chiara Braghin, Agostino Cortesi, Stefano Filippone, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza:
BANANA - A Tool for Boundary Ambients Nesting ANAlysis. TACAS 2003: 437-441 - [c23]Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza:
Complexity of Nesting Analysis in Mobile Ambients. VMCAI 2003: 86-101 - [c22]Chiara Braghin, Agostino Cortesi, Riccardo Focardi:
Information Leakage Detection in Boundary Ambients. CATS 2003: 123-143 - [c21]Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza:
Behind BANANA: Design and Implementation of a Tool for Nesting Analysis of Mobile Ambients. MEFISTO 2003: 319-337 - [e4]Lenore D. Zuck, Paul C. Attie, Agostino Cortesi, Supratik Mukhopadhyay:
Verification, Model Checking, and Abstract Interpretation, 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2002, Proceedings. Lecture Notes in Computer Science 2575, Springer 2003, ISBN 3-540-00348-7 [contents] - 2002
- [j13]Agostino Cortesi, Riccardo Focardi:
Computer languages and security. Comput. Lang. Syst. Struct. 28(1): 1-2 (2002) - [j12]Chiara Braghin, Agostino Cortesi, Riccardo Focardi:
Security boundaries in mobile ambients. Comput. Lang. Syst. Struct. 28(1): 101-127 (2002) - [j11]Agostino Cortesi, Agostino Dovier, Elisa Quintarelli, Letizia Tanca:
Operational and abstract semantics of the query language G-Log. Theor. Comput. Sci. 275(1-2): 521-560 (2002) - [c20]Chiara Braghin, Agostino Cortesi, Riccardo Focardi:
Control Flow Analysis of Mobile Ambients with Security Boundaries. FMOODS 2002: 197-212 - [c19]Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Steffen van Bakel:
Boundary Inference for Enforcing Security Policies in Mobile Ambients. IFIP TCS 2002: 383-395 - [e3]Agostino Cortesi:
Verification, Model Checking, and Abstract Interpretation, Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers. Lecture Notes in Computer Science 2294, Springer 2002, ISBN 3-540-43631-6 [contents] - 2001
- [c18]Isabelle Pollet, Baudouin Le Charlier, Agostino Cortesi:
Distinctness and Sharing Domains for Static Analysis of Java Programs. ECOOP 2001: 77-98 - [c17]Agostino Cortesi, Baudouin Le Charlier, Sabina Rossi:
Reexecution-Based Analysis of Logic Programs with Delay Declarations. Ershov Memorial Conference 2001: 395-405 - [c16]Giuseppe Callegarin, Agostino Cortesi:
An Italian National Curriculum on ICT for Schools. WCCE 2001: 767-776 - [c15]Agostino Cortesi, Sabina Rossi, Baudouin Le Charlier:
Operational Semantics for Reexecution-based Analysis of Logic Programs with Delay Declarations. APPIA-GULP-PRODE 2001: 29-44 - [c14]Agostino Cortesi, Riccardo Focardi:
Information Flow Security in Mobile Ambients. ConCoord 2001: 58-68 - 2000
- [j10]Viswanath Ramachandran, Pascal Van Hentenryck, Agostino Cortesi:
Abstract Domains for Reordering CLP(RLin) Programs. J. Log. Program. 42(3): 217-256 (2000) - [j9]Agostino Cortesi, Baudouin Le Charlier, Pascal Van Hentenryck:
Combinations of abstract domains for logic programming: open product and generic pattern construction. Sci. Comput. Program. 38(1-3): 27-71 (2000)
1990 – 1999
- 1999
- [j8]Agostino Cortesi, Gilberto Filé:
Sharing is Optimal. J. Log. Program. 38(3): 371-386 (1999) - [j7]Baudouin Le Charlier, Christophe Leclère, Sabina Rossi, Agostino Cortesi:
Automated Verification of Prolog Programs. J. Log. Program. 39(1-3): 3-42 (1999) - [e2]Agostino Cortesi, Gilberto Filé:
Static Analysis, 6th International Symposium, SAS '99, Venice, Italy, September 22-24, 1999, Proceedings. Lecture Notes in Computer Science 1694, Springer 1999, ISBN 3-540-66459-9 [contents] - 1998
- [j6]Agostino Cortesi, Gilberto Filé, William H. Winsborough:
The Quotient of an Abstract Interpretation. Theor. Comput. Sci. 202(1-2): 163-192 (1998) - [c13]Agostino Cortesi, Agostino Dovier, Elisa Quintarelli, Letizia Tanca:
Operational and Abstract Semantics of a Query Language for Semi-Structured Information. APPIA-GULP-PRODE 1998: 175-188 - [c12]Agostino Cortesi, Agostino Dovier, Elisa Quintarelli, Letizia Tanca:
Operational and Abstract Semantics of a Query Language for Semi-Structured Information. DDLP 1998: 127-140 - 1997
- [j5]Agostino Cortesi, Gilberto Filé, Roberto Giacobazzi, Catuscia Palamidessi, Francesco Ranzato:
Complementation in Abstract Interpretation. ACM Trans. Program. Lang. Syst. 19(1): 7-47 (1997) - [c11]Baudouin Le Charlier, Christophe Leclère, Sabina Rossi, Agostino Cortesi:
Automated Behavioural Verification of Prolog Programs. APPIA-GULP-PRODE 1997: 189-200 - [c10]Baudouin Le Charlier, Christophe Leclère, Sabina Rossi, Agostino Cortesi:
Automated Verification of Behavioural Properties of Prolog Programs. ASIAN 1997: 225-238 - 1996
- [j4]Agostino Cortesi, Gilberto Filé, William H. Winsborough:
Optimal Groundness Analysis Using Propositional Logic. J. Log. Program. 27(2): 137-167 (1996) - [c9]Agostino Cortesi, Baudouin Le Charlier, Sabina Rossi:
Specification-Based Automatic Verification of Prolog Programs. LOPSTR 1996: 38-57 - 1995
- [j3]Pascal Van Hentenryck, Agostino Cortesi, Baudouin Le Charlier:
Type Analysis of Prolog Using Type Graphs. J. Log. Program. 22(3): 179-209 (1995) - [j2]Pascal Van Hentenryck, Agostino Cortesi, Baudouin Le Charlier:
Evaluation of the Domain Prop. J. Log. Program. 23(3): 237-278 (1995) - [c8]Agostino Cortesi, Gilberto Filé, Roberto Giacobazzi, Catuscia Palamidessi, Francesco Ranzato:
Complementation in Abstract Interpretation. SAS 1995: 100-117 - [e1]Agostino Cortesi, Philippe Codognet:
First International Workshop on Concurrent Constraint Programming, CCP 1995, Cà Dolfin, Venice, Italy, May 29-31, 1995. INRIA Rocquencourt 1995 [contents] - 1994
- [c7]Agostino Cortesi, Gilberto Filé, William H. Winsborough:
The Quotient of an Abstract Interpretation for Comparing Static Analyses. GULP-PRODE (1) 1994: 372-387 - [c6]Pascal Van Hentenryck, Agostino Cortesi, Baudouin Le Charlier:
Type Analysis of Prolog Using Type Graphs. PLDI 1994: 337-348 - [c5]Agostino Cortesi, Baudouin Le Charlier, Pascal Van Hentenryck:
Combinations of Abstract Domains for Logic Programming. POPL 1994: 227-239 - 1993
- [j1]Agostino Cortesi, Gilberto Filé:
Graph Properties for Normal Logic Programs. Theor. Comput. Sci. 107(2): 277-303 (1993) - [c4]Agostino Cortesi, Gilberto Filé:
Comparison and design of abstract domains for sharing analysis. GULP 1993: 251-266 - 1992
- [c3]Agostino Cortesi, Gilberto Filé, William H. Winsborough:
Comparison of Abstract Interpretations. ICALP 1992: 521-532 - 1991
- [c2]Agostino Cortesi, Gilberto Filé, William H. Winsborough:
Prop revisited: Propositional Formula as Abstract Domain for Groundness Analysis. LICS 1991: 322-327 - [c1]Agostino Cortesi, Gilberto Filé:
Abstract Interpretation of Logic Programs: An Abstract Domain for Groundness, Sharing, Freeness and Compoundness Analysis. PEPM 1991: 52-61
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
