Agostino Cortesi

229 papers A* 4A 7B 15C 11Misc 13Journal 86Unranked 75
YearRankTypeTitle / Venue / Authors
2026 J jnl
A Dynamic Context-Aware and Role-Capability Based Access Control Mechanism for Internet of Things.
J. Netw. Syst. Manag.
Rudra Krishnasrija, Amit Kr Mandal, Raju Halder, Agostino Cortesi
2026 J jnl
A qualitative and quantitative comparative study of VPK schemes for relational data watermarking.
Inf. Sci.
Maikel Lázaro Pérez Gort, Agostino Cortesi
2026 J jnl
Earth observation data provenance protection through self-recalibrated watermarking.
GeoInformatica
Maikel Lázaro Pérez Gort, Agostino Cortesi
2026 J jnl
Helping LLMs improve code generation using feedback from testing and static analysis.
Discov. Artif. Intell.
Greta Dolcetti, Vincenzo Arceri, Eleonora Iotti, Sergio Maffeis, Agostino Cortesi, Enea Zaffanella
2026 J jnl
PYRA : A high-level linter for data science software.
Knowl. Based Syst.
Greta Dolcetti, Vincenzo Arceri, Antonella Mensi, Enea Zaffanella, Caterina Urban, Agostino Cortesi
2026 — conf
The Double Spending Dilemma: From Traditional Cash Systems to Interoperable Blockchain Systems.
ITASEC/SERICS
Aradhita Mukherjee, Luca Olivieri, Nabendu Chaki, Agostino Cortesi
2025 — conf
A Hybrid RAG Framework for Bug-to-Feature Mapping.
CISIM
Tirthankar Ghosh, Mandira Roy, Souvick Das, Nabendu Chaki, Agostino Cortesi
2025 J jnl
A robust scheme for securing relational data incremental watermarking.
Int. J. Inf. Manag. Data Insights
Maikel Lázaro Pérez Gort, Agostino Cortesi
2025 — conf
Cross-chain Smart Contracts and dApps Verification by Static Analysis: Limits and Challenges.
ITASEC/SERICS
Luca Olivieri, Aradhita Mukherjee, Nabendu Chaki, Agostino Cortesi
2025 Misc conf
Detection of Read-Write Issues in Hyperledger Fabric Smart Contracts.
SAC
Luca Olivieri, Luca Negrini, Vincenzo Arceri, Pietro Ferrara, Agostino Cortesi
2025 J jnl
Eliciting context-oriented NFR constraints and conflicts in robotic systems.
Innov. Syst. Softw. Eng.
Raunak Bag, Mandira Roy, Agostino Cortesi, Nabendu Chaki
2025 J jnl
Enhancing Deep Learning Model Privacy Against Membership Inference Attacks Using Privacy-Preserving Oversampling.
SN Comput. Sci.
Subhasish Ghosh, Amit Kr Mandal, Agostino Cortesi
2025 — conf
Finding Vulnerabilities in Solidity Smart Contracts with In-Context Learning.
ITASEC/SERICS
Badaruddin Chachar, Marc Cavazza, Andrea Bracciali, Pietro Ferrara, Agostino Cortesi
2025 — conf
Introducing Pyra: A High-Level Linter for Data Science Software.
ECML/PKDD (10)
Greta Dolcetti, Vincenzo Arceri, Antonella Mensi, Enea Zaffanella, Caterina Urban, Agostino Cortesi
2025 J jnl
Mapping system requirements to emotional impact: a semi-automated approach.
Innov. Syst. Softw. Eng.
Mandira Roy, Novarun Deb, Agostino Cortesi, Nabendu Chaki
2025 — conf
On the Verification of ML Systems and Models.
OVERLAY
Greta Dolcetti, Vincenzo Arceri, Agostino Cortesi, Enea Zaffanella
2025 J jnl
SEER: Sustainability Enhanced Engineering of Software Requirements.
CoRR
Mandira Roy, Novarun Deb, Nabendu Chaki, Agostino Cortesi
2025 J jnl
SentiTSMixer: A Specific Model for Sales Forecasting Using Sentiment Analysis of Customer.
IEEE Access
Partha Ghosh, Subhashis Das, Subhankar Roy, Ankur Bhattacharjee, Agostino Cortesi, Soumya Sen
2025 Misc conf
Static Detection of Untrusted Cross-Contract Invocations in Go Smart Contracts.
SAC
Luca Olivieri, Luca Negrini, Vincenzo Arceri, Pietro Ferrara, Agostino Cortesi, Fausto Spoto
2025 J jnl
Towards a Taxonomy of Sustainability Requirements for Software Design.
CoRR
Mandira Roy, Novarun Deb, Nabendu Chaki, Agostino Cortesi
2024 — conf
Blockchain Interoperability through Bridges: A Token Transfer Perspective.
BCCA
Luca Olivieri, Aradhita Mukherjee, Nabendu Chaki, Agostino Cortesi
2024 — conf
Challenges in Health Information Systems: Health Data Management and Access for Life Sciences Research.
CISIM
Alessandra Poggiani, Agostino Cortesi
2024 J jnl
Challenges of software verification: the past, the present, the future.
Int. J. Softw. Tools Technol. Transf.
Pietro Ferrara, Vincenzo Arceri, Agostino Cortesi
2024 J jnl
Detection of Phantom Reads in Hyperledger Fabric.
IEEE Access
Luca Olivieri, Luca Negrini, Vincenzo Arceri, Badaruddin Chachar, Pietro Ferrara, Agostino Cortesi
2024 J jnl
Efficient OLAP query processing across cuboids in distributed data warehousing environment.
Expert Syst. Appl.
Santanu Roy, Saikat Raj, Tamal Chakraborty, Anirban Chakrabarty, Agostino Cortesi, Soumya Sen
2024 J jnl
Extracting goal models from natural language requirement specifications.
J. Syst. Softw.
Souvick Das, Novarun Deb, Agostino Cortesi, Nabendu Chaki
2024 J jnl
General-Purpose Languages for Blockchain Smart Contracts Development: A Comprehensive Study.
IEEE Access
Luca Olivieri, Vincenzo Arceri, Badaruddin Chachar, Luca Negrini, Fabio Tagliaferro, Fausto Spoto, Pietro Ferrara, Agostino Cortesi
2024 J jnl
Helping LLMs Improve Code Generation Using Feedback from Testing and Static Analysis.
CoRR
Greta Dolcetti, Vincenzo Arceri, Eleonora Iotti, Sergio Maffeis, Agostino Cortesi, Enea Zaffanella
2024 J jnl
Minimising conflicts among run-time non-functional requirements within DevOps.
Syst. Eng.
Souvick Das, Novarun Deb, Nabendu Chaki, Agostino Cortesi
2024 J jnl
SCARS: Suturing wounds due to conflicts between non-functional requirements in autonomous and robotic systems.
Softw. Pract. Exp.
Mandira Roy, Raunak Bag, Novarun Deb, Agostino Cortesi, Rituparna Chaki, Nabendu Chaki
2024 — conf
Stability: An Abstract Domain for the Trend of Variation of Numerical Variables.
NSAD@SAS
Luca Negrini, Sofia Presotto, Pietro Ferrara, Enea Zaffanella, Agostino Cortesi
2024 J jnl
Study of the Watermark Source's Topology Role on Relational Data Watermarking Robustness.
IEEE Access
Maikel Lázaro Pérez Gort, Martina Olliaro, Agostino Cortesi
2024 J jnl
Tarsis: An effective automata-based abstract domain for string analysis.
J. Softw. Evol. Process.
Luca Negrini, Vincenzo Arceri, Agostino Cortesi, Pietro Ferrara
2024 — conf
Teaching Through Practice: Advanced Static Analysis with LiSA.
FMTea
Luca Negrini, Vincenzo Arceri, Luca Olivieri, Agostino Cortesi, Pietro Ferrara
2024 — conf
Towards a High Level Linter for Data Science.
NSAD@SAS
Greta Dolcetti, Agostino Cortesi, Caterina Urban, Enea Zaffanella
2023 B conf
A Two-Hop Neighborhood Based Berserk Detection Algorithm for Probabilistic Model of Consensus in Distributed Ledger Systems.
ICCCI
Deepanjan Mitra, Agostino Cortesi, Nabendu Chaki
2023 J jnl
A lightweight mutual and transitive authentication mechanism for IoT network.
Ad Hoc Networks
Rudra Krishnasrija, Amit Kr Mandal, Agostino Cortesi
2023 J jnl
An Annexure to the Paper "Driving the Technology Value Stream by Analyzing App Reviews".
CoRR
Souvick Das, Novarun Deb, Agostino Cortesi, Nabendu Chaki
2023 — ed.
Challenges of Software Verification
Vincenzo Arceri, Agostino Cortesi, Pietro Ferrara, Martina Olliaro
2023 J jnl
Correlating contexts and NFR conflicts from event logs.
Softw. Syst. Model.
Mandira Roy, Souvick Das, Novarun Deb, Agostino Cortesi, Rituparna Chaki, Nabendu Chaki
2023 J jnl
Driving the Technology Value Stream by Analyzing App Reviews.
IEEE Trans. Software Eng.
Souvick Das, Novarun Deb, Nabendu Chaki, Agostino Cortesi
2023 J jnl
Information Flow Analysis for Detecting Non-Determinism in Blockchain (Artifact).
Dagstuhl Artifacts Ser.
Luca Olivieri, Luca Negrini, Vincenzo Arceri, Fabio Tagliaferro, Pietro Ferrara, Agostino Cortesi, Fausto Spoto
2023 A conf
Information Flow Analysis for Detecting Non-Determinism in Blockchain.
ECOOP
Luca Olivieri, Luca Negrini, Vincenzo Arceri, Fabio Tagliaferro, Pietro Ferrara, Agostino Cortesi, Fausto Spoto
2023 — ch.
LiSA: A Generic Framework for Multilanguage Static Analysis.
Challenges of Software Verification
Luca Negrini, Pietro Ferrara, Vincenzo Arceri, Agostino Cortesi
2023 — ch.
Lifting String Analysis Domains.
Challenges of Software Verification
Martina Olliaro, Vincenzo Arceri, Agostino Cortesi, Pietro Ferrara
2023 J jnl
Relational data watermarking resilience to brute force attacks in untrusted environments.
Expert Syst. Appl.
Maikel Lázaro Pérez Gort, Martina Olliaro, Agostino Cortesi
2023 A conf
Zero-shot Learning for Named Entity Recognition in Software Specification Documents.
RE
Souvick Das, Novarun Deb, Agostino Cortesi, Nabendu Chaki
2022 J jnl
A Patient-Centric Nurse Scheduling Algorithm.
SN Comput. Sci.
Paramita Sarkar, Rituparna Chaki, Agostino Cortesi
2022 J jnl
A Wearable System for Jump Detection in Inline Figure Skating.
Sensors
Antonio Panfili, Alvise Spanò, Agostino Cortesi
2022 J jnl
Context-aware OLAP for textual data warehouses.
Int. J. Inf. Manag. Data Insights
Santanu Roy, Agostino Cortesi, Soumya Sen
2022 J jnl
Empirical analysis of the impact of queries on watermarked relational databases.
Expert Syst. Appl.
Martina Olliaro, Maikel Lázaro Pérez Gort, Agostino Cortesi
2022 — conf
Ensuring determinism in blockchain software with GoLiSA: an industrial experience report.
SOAP@PLDI
Luca Olivieri, Fabio Tagliaferro, Vincenzo Arceri, Marco Ruaro, Luca Negrini, Agostino Cortesi, Pietro Ferrara, Fausto Spoto, Enrico Talin
2022 J jnl
Reducing Multiple Occurrences of Meta-Mark Selection in Relational Data Watermarking.
IEEE Access
Maikel Lázaro Pérez Gort, Martina Olliaro, Agostino Cortesi
2022 B conf
Relational String Abstract Domains.
VMCAI
Vincenzo Arceri, Martina Olliaro, Agostino Cortesi, Pietro Ferrara
2021 — conf
A Quantile-Based Watermarking Approach for Distortion Minimization.
FPS
Maikel Lázaro Pérez Gort, Martina Olliaro, Agostino Cortesi
2021 — conf
ALEA: An Anonymous Leader Election Algorithm for Synchronous Distributed Systems.
CORES/IP&C/ACS
Deepanjan Mitra, Agostino Cortesi, Nabendu Chaki
2021 — ed.
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.
ACSS (1)
Rituparna Chaki, Agostino Cortesi, Khalid Saeed, Nabendu Chaki
2021 A conf
CARO: A Conflict-Aware Requirement Ordering Tool for DevOps.
RE
Mandira Roy, Novarun Deb, Agostino Cortesi, Rituparna Chaki, Nabendu Chaki
2021 J jnl
Completeness of string analysis for dynamic languages.
Inf. Comput.
Vincenzo Arceri, Martina Olliaro, Agostino Cortesi, Isabella Mastroeni
2021 J jnl
Construction and distribution of materialized views in Non-binary data space.
Innov. Syst. Softw. Eng.
Santanu Roy, Bibekananda Shit, Soumya Sen, Agostino Cortesi
2021 J jnl
Geographic location based secure, dynamic and opportunistic RPL for distributed networks.
Ad Hoc Networks
Manali Chakraborty, Alvise Spanò, Agostino Cortesi
2021 J jnl
NFR-aware prioritization of software requirements.
Syst. Eng.
Mandira Roy, Novarun Deb, Agostino Cortesi, Rituparna Chaki, Nabendu Chaki
2021 J jnl
Requirement-oriented risk management for incremental software development.
Innov. Syst. Softw. Eng.
Mandira Roy, Novarun Deb, Agostino Cortesi, Rituparna Chaki, Nabendu Chaki
2021 J jnl
Semantic-driven watermarking of relational textual databases.
Expert Syst. Appl.
Maikel Lázaro Pérez Gort, Martina Olliaro, Agostino Cortesi, Claudia Feregrino-Uribe
2021 J jnl
Sentence Embedding Models for Similarity Detection of Software Requirements.
SN Comput. Sci.
Souvick Das, Novarun Deb, Agostino Cortesi, Nabendu Chaki
2021 J jnl
Skyline computation over multiple points and dimensions.
Innov. Syst. Softw. Eng.
Partha Ghosh, Soumya Sen, Agostino Cortesi
2021 J jnl
Static analysis for discovering IoT vulnerabilities.
Int. J. Softw. Tools Technol. Transf.
Pietro Ferrara, Amit Kr Mandal, Agostino Cortesi, Fausto Spoto
2021 — conf
Static analysis for dummies: experiencing LiSA.
SOAP@PLDI
Pietro Ferrara, Luca Negrini, Vincenzo Arceri, Agostino Cortesi
2021 B conf
Twinning Automata and Regular Expressions for String Static Analysis.
VMCAI
Luca Negrini, Vincenzo Arceri, Pietro Ferrara, Agostino Cortesi
2021 J jnl
Verifiability in Systems and Data Engineering: Preface by the Special Issue Editors.
Innov. Syst. Softw. Eng.
Agostino Cortesi, Nabendu Chaki, Rituparna Chaki
2020 J jnl
A Double Fragmentation Approach for Improving Virtual Primary Key-Based Watermark Synchronization.
IEEE Access
Maikel Lázaro Pérez Gort, Claudia Feregrino-Uribe, Agostino Cortesi, Félix Oscar Fernández Peña
2020 — ed.
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.
ACSS (1)
Rituparna Chaki, Agostino Cortesi, Khalid Saeed, Nabendu Chaki
2020 — ed.
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.
ACSS (2)
Rituparna Chaki, Agostino Cortesi, Khalid Saeed, Nabendu Chaki
2020 — ed.
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.
ACSS (2)
Rituparna Chaki, Agostino Cortesi, Khalid Saeed, Nabendu Chaki
2020 Misc conf
Cross-program taint analysis for IoT systems.
SAC
Amit Kr Mandal, Pietro Ferrara, Yuliy Khlyebnikov, Agostino Cortesi, Fausto Spoto
2020 J jnl
Extending Abstract Interpretation to Dependency Analysis of Database Applications.
IEEE Trans. Software Eng.
Angshuman Jana, Raju Halder, Kalahasti Venkata Abhishekh, Sanjeevini Devi Ganni, Agostino Cortesi
2020 J jnl
From CIL to Java bytecode: Semantics-based translation for static analysis leveraging.
Sci. Comput. Program.
Pietro Ferrara, Agostino Cortesi, Fausto Spoto
2020 Misc conf
Generation of Safety and Liveness Complaint Automata from Goal Model Specifications.
EDCC
Novarun Deb, Mandira Roy, Nabendu Chaki, Agostino Cortesi
2020 — conf
Intents Analysis of Android Apps for Confidentiality Leakage Detection.
ACSS (1)
Rocco Salvia, Agostino Cortesi, Pietro Ferrara, Fausto Spoto
2020 J jnl
Legodroid: A Type-Driven Library for Android and LEGO Mindstorms Interoperability.
Sensors
Alvise Spanò, Agostino Cortesi
2020 J jnl
Twinning automata and regular expressions for string static analysis.
CoRR
Luca Negrini, Vincenzo Arceri, Pietro Ferrara, Agostino Cortesi
2019 — ed.
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
ACSS (1)
Rituparna Chaki, Agostino Cortesi, Khalid Saeed, Nabendu Chaki
2019 — ed.
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
ACSS (2)
Rituparna Chaki, Agostino Cortesi, Khalid Saeed, Nabendu Chaki
2019 J jnl
Black Block Recorder: Immutable Black Box Logging for Robots via Blockchain.
IEEE Robotics Autom. Lett.
Ruffin White, Gianluca Caiazza, Agostino Cortesi, Young Im Cho, Henrik I. Christensen
2019 C conf
Completeness of Abstract Domains for String Analysis of JavaScript Programs.
ICTAC
Vincenzo Arceri, Martina Olliaro, Agostino Cortesi, Isabella Mastroeni
2019 J jnl
Cross-Programming Language Taint Analysis for the IoT Ecosystem.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Pietro Ferrara, Amit Kr Mandal, Agostino Cortesi, Fausto Spoto
2019 — conf
Geographic Location Based Dynamic and Opportunistic RPL for Distributed Networks.
CISIM
Manali Chakraborty, Alvise Spanò, Agostino Cortesi
2019 J jnl
HQR-Scheme: A High Quality and resilient virtual primary key generation approach for watermarking relational data.
Expert Syst. Appl.
Maikel Lázaro Pérez Gort, Claudia Feregrino-Uribe, Agostino Cortesi, Félix Oscar Fernández Peña
2019 J jnl
Introduction to the special issue: SAAP-2017 (Static Analysis of Android Apps: Security and Privacy).
J. Comput. Lang.
Agostino Cortesi, Omer Tripp
2019 — conf
Network Reconnaissance and Vulnerability Excavation of Secure DDS Systems.
EuroS&P Workshops
Ruffin White, Gianluca Caiazza, Chenxu Jiang, Xinyue Ou, Zhiyue Yang, Agostino Cortesi, Henrik I. Christensen
2019 J jnl
Network Reconnaissance and Vulnerability Excavation of Secure DDS Systems.
CoRR
Ruffin White, Gianluca Caiazza, Chenxu Jiang, Xinyue Ou, Zhiyue Yang, Agostino Cortesi, Henrik I. Christensen
2019 — conf
Preventing Additive Attacks to Relational Database Watermarking.
CONFENIS
Maikel Lázaro Pérez Gort, Martina Olliaro, Claudia Feregrino-Uribe, Agostino Cortesi
2019 J jnl
Replaceability and negotiation in a cloud service ecosystem.
J. Cloud Comput.
Adrija Bhattacharya, Sankhayan Choudhury, Agostino Cortesi
2019 J jnl
Static analysis of Android Auto infotainment and on-board diagnostics II apps.
Softw. Pract. Exp.
Amit Kr Mandal, Federica Panarotto, Agostino Cortesi, Pietro Ferrara, Fausto Spoto
2019 — conf
String Abstraction for Model Checking of C Programs.
SPIN
Agostino Cortesi, Henrich Lauko, Martina Olliaro, Petr Rockai
2019 C conf
Things as a Service: Service model for IoT.
INDIN
Amit Kr Mandal, Agostino Cortesi, Anirban Sarkar, Nabendu Chaki
2019 — conf
Type-Driven Cross-Programming for Android and LEGO Mindstorms Interoperability.
CISIM
Alvise Spanò, Agostino Cortesi, Giulio Zausa
2018 — conf
CIL to Java-bytecode translation for static analysis leveraging.
FormaliSE@ICSE
Pietro Ferrara, Agostino Cortesi, Fausto Spoto
2018 J jnl
Combining Symbolic and Numerical Domains for Information Leakage Analysis.
Trans. Comput. Sci.
Agostino Cortesi, Pietro Ferrara, Raju Halder, Matteo Zanioli
2018 — conf
Enhancing Security in ROS.
ACSS (2)
Gianluca Caiazza, Ruffin White, Agostino Cortesi
2018 Misc conf
M-String Segmentation: A Refined Abstract Domain for String Analysis in C Programs.
TASE
Agostino Cortesi, Martina Olliaro
2018 — conf
MySQL Extension Automatic Porting to PDO for PHP Migration and Security Improvement.
CISIM
Fabio Mondin, Agostino Cortesi
2018 — conf
Node localization for indoor tracking using artificial neural network.
FMEC
Riya Samanta, Chandni Kumari, Novarun Deb, Sagar Bose, Agostino Cortesi, Nabendu Chaki
2018 A conf
Procedurally Provisioned Access Control for Robotic Systems.
IROS
Ruffin White, Henrik I. Christensen, Gianluca Caiazza, Agostino Cortesi
2018 J jnl
Procedurally Provisioned Access Control for Robotic Systems.
CoRR
Ruffin White, Gianluca Caiazza, Henrik I. Christensen, Agostino Cortesi
2018 — conf
SDLI: Static Detection of Leaks Across Intents.
TrustCom/BigDataSE
Rocco Salvia, Pietro Ferrara, Fausto Spoto, Agostino Cortesi
2018 — conf
Static Analysis of Android Apps Interaction with Automotive CAN.
SmartCom
Federica Panarotto, Agostino Cortesi, Pietro Ferrara, Amit Kr Mandal, Fausto Spoto
2018 — conf
Vulnerability analysis of Android auto infotainment apps.
CF
Amit Kr Mandal, Agostino Cortesi, Pietro Ferrara, Federica Panarotto, Fausto Spoto
2017 — ed.
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.
ACSS (2)
Rituparna Chaki, Khalid Saeed, Agostino Cortesi, Nabendu Chaki
2017 — ed.
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.
ACSS (1)
Rituparna Chaki, Khalid Saeed, Agostino Cortesi, Nabendu Chaki
2017 — conf
Blockchain Transaction Analysis Using Dominant Sets.
CISIM
Malik Khurram Awan, Agostino Cortesi
2017 J jnl
High performance encapsulation and networking in Casanova 2.
Entertain. Comput.
Francesco Di Giacomo, Mohamed Abbadi, Agostino Cortesi, Pieter Spronck, Giulia Costantini, Giuseppe Maggiore
2017 J jnl
Introduction to special issue on 'intelligent computing and adaptive systems'.
Innov. Syst. Softw. Eng.
Al-Sakib Khan Pathan, Yudong Zhang, Sambit Bakshi, Patrick Siarry, Pankaj Kumar Sa, Nabendu Chaki, Agostino Cortesi
2017 B conf
Metacasanova: an optimized meta-compiler for domain-specific languages.
SLE
Francesco Di Giacomo, Mohamed Abbadi, Agostino Cortesi, Pieter Spronck, Giuseppe Maggiore
2017 Misc conf
WiFi-Related Energy Consumption Analysis of Mobile Devices in a Walkable Area by Abstract Interpretation.
ICDCIT
Enrico Eugenio, Agostino Cortesi
2016 J jnl
A uniform representation of multi-variant data in intensive-query databases.
Innov. Syst. Softw. Eng.
Supriya Chakraborty, Agostino Cortesi, Nabedu Chaki
2016 — ed.
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
ACSS (1)
Rituparna Chaki, Agostino Cortesi, Khalid Saeed, Nabendu Chaki
2016 — ed.
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
ACSS (1)
Rituparna Chaki, Agostino Cortesi, Khalid Saeed, Nabendu Chaki
2016 — conf
Building Game Scripting DSL's with the Metacasanova Metacompiler.
INTETAIN
Francesco Di Giacomo, Mohamed Abbadi, Agostino Cortesi, Pieter Spronck, Giuseppe Maggiore
2016 — conf
DAPA: Degradation-Aware Privacy Analysis of Android Apps.
STM
Gianluca Barbon, Agostino Cortesi, Pietro Ferrara, Enrico Steffinlongo
2016 J jnl
Data Leakage Analysis of the Hibernate Query Language on a Propositional Formulae Domain.
Trans. Large Scale Data Knowl. Centered Syst.
Raju Halder, Angshuman Jana, Agostino Cortesi
2016 — conf
ROLAP based data warehouse schema to XML schema conversion.
ICIT
Soumya Sen, Agostino Cortesi, Nabendu Chaki
2015 J jnl
A suite of abstract domains for static analysis of string values.
Softw. Pract. Exp.
Giulia Costantini, Pietro Ferrara, Agostino Cortesi
2015 — conf
Casanova: A Simple, High-Performance Language for Game Development.
JCSG
Mohamed Abbadi, Francesco Di Giacomo, Agostino Cortesi, Pieter Spronck, Giulia Costantini, Giuseppe Maggiore
2015 B conf
Datacentric Semantics for Verification of Privacy Policy Compliance by Mobile Applications.
VMCAI
Agostino Cortesi, Pietro Ferrara, Marco Pistoia, Omer Tripp
2015 — conf
Materialized View Construction Using Linearizable Nonlinear Regression.
ACSS (1)
Soumya Sen, Partha Ghosh, Agostino Cortesi
2015 — conf
Policy-Based Slicing of Hibernate Query Language.
CISIM
Angshuman Jana, Raju Halder, Nabendu Chaki, Agostino Cortesi
2015 — conf
Privacy Analysis of Android Apps: Implicit Flows and Quantitative Analysis.
CISIM
Gianluca Barbon, Agostino Cortesi, Pietro Ferrara, Marco Pistoia, Omer Tripp
2015 J jnl
The abstract domain of Trapezoid Step Functions.
Comput. Lang. Syst. Struct.
Agostino Cortesi, Giulia Costantini, Pietro Ferrara
2015 — conf
Verification of Hibernate Query Language by Abstract Interpretation.
IScIDE (2)
Angshuman Jana, Raju Halder, Agostino Cortesi
2014 C conf
A New Intrusion Prevention System for Protecting Smart Grids from ICMPv6 Vulnerabilities.
FedCSIS
Manali Chakraborty, Nabendu Chaki, Agostino Cortesi
2014 Misc conf
Information leakage analysis of database query languages.
SAC
Raju Halder, Matteo Zanioli, Agostino Cortesi
2014 — conf
Information-Flow Analysis of Hibernate Query Language.
FDSE
Agostino Cortesi, Raju Halder
2013 — conf
A Survey on Product Operators in Abstract Interpretation.
Festschrift for Dave Schmidt
Agostino Cortesi, Giulia Costantini, Pietro Ferrara
2013 Misc conf
Abstract Interpretation of Recursive Queries.
ICDCIT
Agostino Cortesi, Raju Halder
2013 Misc conf
Abstract program slicing of database query languages.
SAC
Raju Halder, Agostino Cortesi
2013 J jnl
Abstract program slicing on dependence condition graphs.
Sci. Comput. Program.
Raju Halder, Agostino Cortesi
2013 — ed.
Computer Information Systems and Industrial Management - 12th IFIP TC8 International Conference, CISIM 2013, Krakow, Poland, September 25-27, 2013. Proceedings
CISIM
Khalid Saeed, Rituparna Chaki, Agostino Cortesi, Slawomir T. Wierzchon
2013 C conf
Modeling the Bullwhip Effect in a Multi-Stage Multi-Tier Retail Network by Generalized Stochastic Petri Nets.
FedCSIS
Bidyut Biman Sarkar, Agostino Cortesi, Nabendu Chaki
2013 — conf
Static analysis techniques for robotics software verification.
ISR
Agostino Cortesi, Pietro Ferrara, Nabendu Chaki
2013 C conf
The Domain of Parametric Hypercubes for Static Analysis of Computer Games Software.
ICFEM
Giulia Costantini, Pietro Ferrara, Giuseppe Maggiore, Agostino Cortesi
2012 J jnl
A New Scale for Attribute Dependency in Large Database Systems
CoRR
Soumya Sen, Anjan Dutta, Agostino Cortesi, Nabendu Chaki
2012 — conf
A New Scale for Attribute Dependency in Large Database Systems.
CISIM
Soumya Sen, Anjan Dutta, Agostino Cortesi, Nabendu Chaki
2012 J jnl
Abstract interpretation of database query languages.
Comput. Lang. Syst. Struct.
Raju Halder, Agostino Cortesi
2012 — ed.
Computer Information Systems and Industrial Management - 11th IFIP TC 8 International Conference, CISIM 2012, Venice, Italy, September 26-28, 2012. Proceedings
CISIM
Agostino Cortesi, Nabendu Chaki, Khalid Saeed, Slawomir T. Wierzchon
2012 B conf
Linear Approximation of Continuous Systems with Trapezoid Step Functions.
APLAS
Giulia Costantini, Pietro Ferrara, Agostino Cortesi
2012 Misc conf
SAILS: static analysis of information leakage with sample.
SAC
Matteo Zanioli, Pietro Ferrara, Agostino Cortesi
2012 C conf
Tukra: An Abstract Program Slicing Tool.
ICSOFT
Raju Halder, Agostino Cortesi
2011 — ed.
Computer Information Systems - Analysis and Technologies - 10th International Conference, CISIM 2011, Kolkata, India, December 14-16, 2011. Proceedings
CISIM
Nabendu Chaki, Agostino Cortesi
2011 B conf
Cooperative Query Answering by Abstract Interpretation.
SOFSEM
Raju Halder, Agostino Cortesi
2011 — conf
Engaging high school students in computer science via challenging applications.
SIGITE Conference
Giuseppe Maggiore, Andrea Torsello, Flavio Sartoretto, Agostino Cortesi
2011 B conf
Information Leakage Analysis by Abstract Interpretation.
SOFSEM
Matteo Zanioli, Agostino Cortesi
2011 — conf
KPI-Supported PDCA Model for Innovation Policy Management in Local Government.
EGOV
Antonio Candiello, Agostino Cortesi
2011 — conf
KPIs from Web Agents for Policies' Impact Analysis and Products' Brand Assessment.
CISIM
Antonio Candiello, Agostino Cortesi
2011 — conf
Observation-Based Fine Grained Access Control for XML Documents.
CISIM
Raju Halder, Agostino Cortesi
2011 — conf
Property Driven Program Slicing Refinement.
ICSOFT (2)
Sukriti Bhattacharya, Agostino Cortesi
2011 C conf
Static Analysis of String Values.
ICFEM
Giulia Costantini, Pietro Ferrara, Agostino Cortesi
2011 — conf
Type-flow Analysis for Legacy COBOL Code.
ICSOFT (2)
Alvise Spanò, Michele Bugliesi, Agostino Cortesi
2011 — conf
Typing Legacy COBOL Code.
ICSOFT (Selected Papers)
Alvise Spanò, Michele Bugliesi, Agostino Cortesi
2011 J jnl
Widening and narrowing operators for abstract interpretation.
Comput. Lang. Syst. Struct.
Agostino Cortesi, Matteo Zanioli
2010 Misc conf
A Persistent Public Watermarking of Relational Databases.
ICISS
Raju Halder, Agostino Cortesi
2010 — conf
Database Authentication by Distortion Free Watermarking.
ICSOFT (1)
Sukriti Bhattacharya, Agostino Cortesi
2010 — conf
Dependence condition graph for semantics-based abstract program slicing.
LDTA
Agostino Cortesi, Raju Halder
2010 — conf
Distortion-Free Authentication Watermarking.
ICSOFT (Selected Papers)
Sukriti Bhattacharya, Agostino Cortesi
2010 — conf
Fine Grained Access Control for Relational Databases by Abstract Interpretation.
ICSOFT (Selected Papers)
Raju Halder, Agostino Cortesi
2010 J jnl
Non-repudiation analysis using LySa with annotations.
Comput. Lang. Syst. Struct.
Mayla Brusò, Agostino Cortesi
2010 C conf
Obfuscation-based analysis of SQL injection attacks.
ISCC
Raju Halder, Agostino Cortesi
2010 — conf
Observation-based Fine Grained Access Control for Relational Databases.
ICSOFT (1)
Raju Halder, Agostino Cortesi
2010 — conf
Three-layered QoS for eGovernment web services.
DG.O
Antonio Candiello, Andrea Albarelli, Agostino Cortesi
2010 J jnl
Watermarking Techniques for Relational Databases: Survey, Classification and Comparison.
J. Univers. Comput. Sci.
Raju Halder, Shantanu Pal, Agostino Cortesi
2009 — conf
A Distortion Free Watermark Framework for Relational Databases.
ICSOFT (2)
Sukriti Bhattacharya, Agostino Cortesi
2009 Misc conf
A Generic Distortion Free Watermarking Technique for Relational Databases.
ICISS
Sukriti Bhattacharya, Agostino Cortesi
2009 — conf
Learning by Fixing and Extending Games.
Eurographics (Education Papers)
Giulia Costantini, Giuseppe Maggiore, Agostino Cortesi
2009 Misc conf
Non-repudiation Analysis with LySa.
SEC
Mayla Brusò, Agostino Cortesi
2008 — conf
An Ontology-based Inquiry Framework.
SWAP
Antonio Candiello, Andrea Albarelli, Agostino Cortesi
2008 J jnl
Information flow security in Boundary Ambients.
Inf. Comput.
Chiara Braghin, Agostino Cortesi, Riccardo Focardi
2008 B conf
Widening Operators for Abstract Interpretation.
SEFM
Agostino Cortesi
2007 — conf
A calculus of challenges and responses.
FMSE
Michael Backes, Agostino Cortesi, Riccardo Focardi, Matteo Maffei
2007 A conf
Causality-based Abstraction of Multiplicity in Security Protocols.
CSF
Michael Backes, Agostino Cortesi, Matteo Maffei
2006 B conf
Semantic Hierarchy Refactoring by Abstract Interpretation.
VMCAI
Francesco Logozzo, Agostino Cortesi
2005 — conf
Abstract Interpretation and Object-oriented Programming: Quo Vadis?
AIOOL@VMCAI
Francesco Logozzo, Agostino Cortesi
2005 C conf
Abstract Interpretation-Based Verification of Non-functional Requirements.
COORDINATION
Agostino Cortesi, Francesco Logozzo
2005 — conf
Preface.
AIOOL@VMCAI
Agostino Cortesi, Francesco Logozzo
2005 — ed.
Proceedings of the First International Workshop on Abstract Interpretation of Object-oriented Languages, AIOOL@VMCAI 2005, Paris, France, January 21, 2005
AIOOL@VMCAI
Agostino Cortesi, Francesco Logozzo
2004 — conf
Flow-sensitive Leakage Analysis in Mobile Ambients.
SecCo
Chiara Braghin, Agostino Cortesi
2004 J jnl
Nesting analysis of mobile ambients.
Comput. Lang. Syst. Struct.
Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza
2004 J jnl
Preface by the section editors.
Int. J. Softw. Tools Technol. Transf.
Lenore D. Zuck, Paul C. Attie, Agostino Cortesi
2003 A conf
BANANA - A Tool for Boundary Ambients Nesting ANAlysis.
TACAS
Chiara Braghin, Agostino Cortesi, Stefano Filippone, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza
2003 — conf
Behind BANANA: Design and Implementation of a Tool for Nesting Analysis of Mobile Ambients.
MEFISTO
Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza
2003 B conf
Complexity of Nesting Analysis in Mobile Ambients.
VMCAI
Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza
2003 — conf
Information Leakage Detection in Boundary Ambients.
CATS
Chiara Braghin, Agostino Cortesi, Riccardo Focardi
2003 J jnl
Static Analysis.
Sci. Comput. Program.
Agostino Cortesi, Gilberto Filé
2003 B ed.
Verification, Model Checking, and Abstract Interpretation, 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2002, Proceedings
VMCAI
Lenore D. Zuck, Paul C. Attie, Agostino Cortesi, Supratik Mukhopadhyay
2002 — conf
Boundary Inference for Enforcing Security Policies in Mobile Ambients.
IFIP TCS
Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Steffen van Bakel
2002 J jnl
Computer languages and security.
Comput. Lang. Syst. Struct.
Agostino Cortesi, Riccardo Focardi
2002 — conf
Control Flow Analysis of Mobile Ambients with Security Boundaries.
FMOODS
Chiara Braghin, Agostino Cortesi, Riccardo Focardi
2002 J jnl
Operational and abstract semantics of the query language G-Log.
Theor. Comput. Sci.
Agostino Cortesi, Agostino Dovier, Elisa Quintarelli, Letizia Tanca
2002 J jnl
Security boundaries in mobile ambients.
Comput. Lang. Syst. Struct.
Chiara Braghin, Agostino Cortesi, Riccardo Focardi
2002 B ed.
Verification, Model Checking, and Abstract Interpretation, Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers
VMCAI
Agostino Cortesi
2001 — conf
An Italian National Curriculum on ICT for Schools.
WCCE
Giuseppe Callegarin, Agostino Cortesi
2001 A conf
Distinctness and Sharing Domains for Static Analysis of Java Programs.
ECOOP
Isabelle Pollet, Baudouin Le Charlier, Agostino Cortesi
2001 — conf
Information Flow Security in Mobile Ambients.
ConCoord
Agostino Cortesi, Riccardo Focardi
2001 — conf
Operational Semantics for Reexecution-based Analysis of Logic Programs with Delay Declarations.
APPIA-GULP-PRODE
Agostino Cortesi, Sabina Rossi, Baudouin Le Charlier
2001 — conf
Reexecution-Based Analysis of Logic Programs with Delay Declarations.
Ershov Memorial Conference
Agostino Cortesi, Baudouin Le Charlier, Sabina Rossi
2000 J jnl
Abstract Domains for Reordering CLP(R
J. Log. Program.
Viswanath Ramachandran, Pascal Van Hentenryck, Agostino Cortesi
2000 J jnl
Combinations of abstract domains for logic programming: open product and generic pattern construction.
Sci. Comput. Program.
Agostino Cortesi, Baudouin Le Charlier, Pascal Van Hentenryck
1999 J jnl
Automated Verification of Prolog Programs.
J. Log. Program.
Baudouin Le Charlier, Christophe Leclère, Sabina Rossi, Agostino Cortesi
1999 J jnl
Sharing is Optimal.
J. Log. Program.
Agostino Cortesi, Gilberto Filé
1999 B ed.
Static Analysis, 6th International Symposium, SAS '99, Venice, Italy, September 22-24, 1999, Proceedings
SAS
Agostino Cortesi, Gilberto Filé
1998 — conf
Operational and Abstract Semantics of a Query Language for Semi-Structured Information.
APPIA-GULP-PRODE
Agostino Cortesi, Agostino Dovier, Elisa Quintarelli, Letizia Tanca
1998 — conf
Operational and Abstract Semantics of a Query Language for Semi-Structured Information.
DDLP
Agostino Cortesi, Agostino Dovier, Elisa Quintarelli, Letizia Tanca
1998 J jnl
The Quotient of an Abstract Interpretation.
Theor. Comput. Sci.
Agostino Cortesi, Gilberto Filé, William H. Winsborough
1997 — conf
Automated Behavioural Verification of Prolog Programs.
APPIA-GULP-PRODE
Baudouin Le Charlier, Christophe Leclère, Sabina Rossi, Agostino Cortesi
1997 — conf
Automated Verification of Behavioural Properties of Prolog Programs.
ASIAN
Baudouin Le Charlier, Christophe Leclère, Sabina Rossi, Agostino Cortesi
1997 J jnl
Complementation in Abstract Interpretation.
ACM Trans. Program. Lang. Syst.
Agostino Cortesi, Gilberto Filé, Roberto Giacobazzi, Catuscia Palamidessi, Francesco Ranzato
1996 J jnl
Optimal Groundness Analysis Using Propositional Logic.
J. Log. Program.
Agostino Cortesi, Gilberto Filé, William H. Winsborough
1996 C conf
Specification-Based Automatic Verification of Prolog Programs.
LOPSTR
Agostino Cortesi, Baudouin Le Charlier, Sabina Rossi
1995 B conf
Complementation in Abstract Interpretation
SAS
Agostino Cortesi, Gilberto Filé, Roberto Giacobazzi, Catuscia Palamidessi, Francesco Ranzato
1995 J jnl
Evaluation of the Domain
J. Log. Program.
Pascal Van Hentenryck, Agostino Cortesi, Baudouin Le Charlier
1995 — ed.
First International Workshop on Concurrent Constraint Programming, CCP 1995, Cà Dolfin, Venice, Italy, May 29-31, 1995.
CCP
Agostino Cortesi, Philippe Codognet
1995 J jnl
Type Analysis of Prolog Using Type Graphs.
J. Log. Program.
Pascal Van Hentenryck, Agostino Cortesi, Baudouin Le Charlier
1994 A* conf
Combinations of Abstract Domains for Logic Programming.
POPL
Agostino Cortesi, Baudouin Le Charlier, Pascal Van Hentenryck
1994 — conf
The Quotient of an Abstract Interpretation for Comparing Static Analyses.
GULP-PRODE (1)
Agostino Cortesi, Gilberto Filé, William H. Winsborough
1994 A* conf
Type Analysis of Prolog Using Type Graphs.
PLDI
Pascal Van Hentenryck, Agostino Cortesi, Baudouin Le Charlier
1993 — conf
Comparison and design of abstract domains for sharing analysis.
GULP
Agostino Cortesi, Gilberto Filé
1993 J jnl
Graph Properties for Normal Logic Programs.
Theor. Comput. Sci.
Agostino Cortesi, Gilberto Filé
1992 A* conf
Comparison of Abstract Interpretations.
ICALP
Agostino Cortesi, Gilberto Filé, William H. Winsborough
1991 C conf
Abstract Interpretation of Logic Programs: An Abstract Domain for Groundness, Sharing, Freeness and Compoundness Analysis.
PEPM
Agostino Cortesi, Gilberto Filé
1991 A* conf
Prop revisited: Propositional Formula as Abstract Domain for Groundness Analysis
LICS
Agostino Cortesi, Gilberto Filé, William H. Winsborough