Agostino Cortesi

ORCID

Publication Activity (10 Years)

Years Active: 1991-2024
Publications (10 Years): 81

Top Venues

CISIM

Innov. Syst. Softw. Eng.

Expert Syst. Appl.

IEEE Access

Publications

Souvick Das, Novarun Deb, Nabendu Chaki, Agostino Cortesi
Minimising conflicts among run-time non-functional requirements within DevOps. Syst. Eng. 27 (1) (2024)
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 (2024)
Luca Olivieri, Luca Negrini, Vincenzo Arceri, Badaruddin Chachar, Pietro Ferrara, Agostino Cortesi
Detection of Phantom Reads in Hyperledger Fabric. IEEE Access 12 (2024)
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) (2024)
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)
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 (2024)
Souvick Das, Novarun Deb, Agostino Cortesi, Nabendu Chaki
Extracting goal models from natural language requirement specifications. J. Syst. Softw. 211 (2024)
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) (2023)
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)
Souvick Das, Novarun Deb, Nabendu Chaki, Agostino Cortesi
Driving the Technology Value Stream by Analyzing App Reviews. IEEE Trans. Software Eng. 49 (7) (2023)
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 (2023)
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) (2023)
Souvick Das, Novarun Deb, Agostino Cortesi, Nabendu Chaki
An Annexure to the Paper "Driving the Technology Value Stream by Analyzing App Reviews". CoRR (2023)
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)
Rudra Krishnasrija, Amit Kr Mandal, Agostino Cortesi
A lightweight mutual and transitive authentication mechanism for IoT network. Ad Hoc Networks 138 (2023)
Souvick Das, Novarun Deb, Agostino Cortesi, Nabendu Chaki
Zero-shot Learning for Named Entity Recognition in Software Specification Documents. RE (2023)
Antonio Panfili, Alvise Spanò, Agostino Cortesi
A Wearable System for Jump Detection in Inline Figure Skating. Sensors 22 (4) (2022)
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 (2022)
Maikel Lázaro Pérez Gort, Martina Olliaro, Agostino Cortesi
Reducing Multiple Occurrences of Meta-Mark Selection in Relational Data Watermarking. IEEE Access 10 (2022)
Vincenzo Arceri, Martina Olliaro, Agostino Cortesi, Pietro Ferrara
Relational String Abstract Domains. VMCAI (2022)
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)
Santanu Roy, Agostino Cortesi, Soumya Sen
Context-aware OLAP for textual data warehouses. Int. J. Inf. Manag. Data Insights 2 (2) (2022)
Paramita Sarkar, Rituparna Chaki, Agostino Cortesi
A Patient-Centric Nurse Scheduling Algorithm. SN Comput. Sci. 3 (1) (2022)
Luca Negrini, Vincenzo Arceri, Pietro Ferrara, Agostino Cortesi
Twinning Automata and Regular Expressions for String Static Analysis. VMCAI (2021)
Partha Ghosh, Soumya Sen, Agostino Cortesi
Skyline computation over multiple points and dimensions. Innov. Syst. Softw. Eng. 17 (2) (2021)
Souvick Das, Novarun Deb, Agostino Cortesi, Nabendu Chaki
Sentence Embedding Models for Similarity Detection of Software Requirements. SN Comput. Sci. 2 (1) (2021)
Mandira Roy, Novarun Deb, Agostino Cortesi, Rituparna Chaki, Nabendu Chaki
CARO: A Conflict-Aware Requirement Ordering Tool for DevOps. RE (2021)
Vincenzo Arceri, Martina Olliaro, Agostino Cortesi, Isabella Mastroeni
Completeness of string analysis for dynamic languages. Inf. Comput. 281 (2021)
Mandira Roy, Novarun Deb, Agostino Cortesi, Rituparna Chaki, Nabendu Chaki
NFR-aware prioritization of software requirements. Syst. Eng. 24 (3) (2021)
Agostino Cortesi, Nabendu Chaki, Rituparna Chaki
Verifiability in Systems and Data Engineering: Preface by the Special Issue Editors. Innov. Syst. Softw. Eng. 17 (3) (2021)
Manali Chakraborty, Alvise Spanò, Agostino Cortesi
Geographic location based secure, dynamic and opportunistic RPL for distributed networks. Ad Hoc Networks 123 (2021)
Maikel Lázaro Pérez Gort, Martina Olliaro, Agostino Cortesi
A Quantile-Based Watermarking Approach for Distortion Minimization. FPS (2021)
Pietro Ferrara, Luca Negrini, Vincenzo Arceri, Agostino Cortesi
Static analysis for dummies: experiencing LiSA. SOAP@PLDI (2021)
Pietro Ferrara, Amit Kr Mandal, Agostino Cortesi, Fausto Spoto
Static analysis for discovering IoT vulnerabilities. Int. J. Softw. Tools Technol. Transf. 23 (1) (2021)
Maikel Lázaro Pérez Gort, Martina Olliaro, Agostino Cortesi, Claudia Feregrino Uribe
Semantic-driven watermarking of relational textual databases. Expert Syst. Appl. 167 (2021)
Deepanjan Mitra, Agostino Cortesi, Nabendu Chaki
ALEA: An Anonymous Leader Election Algorithm for Synchronous Distributed Systems. CORES/IP&C/ACS (2021)
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) (2021)
Mandira Roy, Novarun Deb, Agostino Cortesi, Rituparna Chaki, Nabendu Chaki
Requirement-oriented risk management for incremental software development. Innov. Syst. Softw. Eng. 17 (3) (2021)
Novarun Deb, Mandira Roy, Nabendu Chaki, Agostino Cortesi
Generation of Safety and Liveness Complaint Automata from Goal Model Specifications. EDCC (2020)
Rocco Salvia, Agostino Cortesi, Pietro Ferrara, Fausto Spoto
Intents Analysis of Android Apps for Confidentiality Leakage Detection. ACSS (1) (2020)
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) (2020)
Amit Kr Mandal, Pietro Ferrara, Yuliy Khlyebnikov, Agostino Cortesi, Fausto Spoto
Cross-program taint analysis for IoT systems. SAC (2020)
Alvise Spanò, Agostino Cortesi
Legodroid: A Type-Driven Library for Android and LEGO Mindstorms Interoperability. Sensors 20 (7) (2020)
Pietro Ferrara, Agostino Cortesi, Fausto Spoto
From CIL to Java bytecode: Semantics-based translation for static analysis leveraging. Sci. Comput. Program. 191 (2020)
Maikel Lázaro Pérez Gort, Claudia Feregrino Uribe, Agostino Cortesi, Félix Fernández-Peña
A Double Fragmentation Approach for Improving Virtual Primary Key-Based Watermark Synchronization. IEEE Access 8 (2020)
Luca Negrini, Vincenzo Arceri, Pietro Ferrara, Agostino Cortesi
Twinning automata and regular expressions for string static analysis. CoRR (2020)
Alvise Spanò, Agostino Cortesi, Giulio Zausa
Type-Driven Cross-Programming for Android and LEGO Mindstorms Interoperability. CISIM (2019)
Vincenzo Arceri, Martina Olliaro, Agostino Cortesi, Isabella Mastroeni
Completeness of Abstract Domains for String Analysis of JavaScript Programs. ICTAC (2019)
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 (2019)
Maikel Lázaro Pérez Gort, Claudia Feregrino Uribe, Agostino Cortesi, Félix 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)
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) (2019)
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)
Manali Chakraborty, Alvise Spanò, Agostino Cortesi
Geographic Location Based Dynamic and Opportunistic RPL for Distributed Networks. CISIM (2019)
Agostino Cortesi, Omer Tripp
Introduction to the special issue: SAAP-2017 (Static Analysis of Android Apps: Security and Privacy). J. Comput. Lang. 52 (2019)
Maikel Lázaro Pérez Gort, Martina Olliaro, Claudia Feregrino Uribe, Agostino Cortesi
Preventing Additive Attacks to Relational Database Watermarking. CONFENIS (2019)
Adrija Bhattacharya, Sankhayan Choudhury, Agostino Cortesi
Replaceability and negotiation in a cloud service ecosystem. J. Cloud Comput. 8 (2019)
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) (2019)
Agostino Cortesi, Henrich Lauko, Martina Olliaro, Petr Rockai
String Abstraction for Model Checking of C Programs. SPIN (2019)
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)
Amit Kr Mandal, Agostino Cortesi, Anirban Sarkar, Nabendu Chaki
Things as a Service: Service model for IoT. INDIN (2019)
Amit Kr Mandal, Agostino Cortesi, Pietro Ferrara, Federica Panarotto, Fausto Spoto
Vulnerability analysis of Android auto infotainment apps. CF (2018)
Fabio Mondin, Agostino Cortesi
MySQL Extension Automatic Porting to PDO for PHP Migration and Security Improvement. CISIM (2018)
Gianluca Caiazza, Ruffin White, Agostino Cortesi
Enhancing Security in ROS. ACSS (2) (2018)
Federica Panarotto, Agostino Cortesi, Pietro Ferrara, Amit Kr Mandal, Fausto Spoto
Static Analysis of Android Apps Interaction with Automotive CAN. SmartCom (2018)
Riya Samanta, Chandni Kumari, Novarun Deb, Sagar Bose, Agostino Cortesi, Nabendu Chaki
Node localization for indoor tracking using artificial neural network. FMEC (2018)
Agostino Cortesi, Martina Olliaro
M-String Segmentation: A Refined Abstract Domain for String Analysis in C Programs. TASE (2018)
Pietro Ferrara, Agostino Cortesi, Fausto Spoto
CIL to Java-bytecode translation for static analysis leveraging. FormaliSE@ICSE (2018)
Ruffin White, Gianluca Caiazza, Henrik I. Christensen, Agostino Cortesi
Procedurally Provisioned Access Control for Robotic Systems. CoRR (2018)
Ruffin White, Henrik I. Christensen, Gianluca Caiazza, Agostino Cortesi
Procedurally Provisioned Access Control for Robotic Systems. IROS (2018)
Rocco Salvia, Pietro Ferrara, Fausto Spoto, Agostino Cortesi
SDLI: Static Detection of Leaks Across Intents. TrustCom/BigDataSE (2018)
Agostino Cortesi, Pietro Ferrara, Raju Halder, Matteo Zanioli
Combining Symbolic and Numerical Domains for Information Leakage Analysis. Trans. Comput. Sci. 31 (2018)
Malik Khurram Awan, Agostino Cortesi
Blockchain Transaction Analysis Using Dominant Sets. CISIM (2017)
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) (2017)
Francesco Di Giacomo, Mohamed Abbadi, Agostino Cortesi, Pieter Spronck, Giulia Costantini, Giuseppe Maggiore
High performance encapsulation and networking in Casanova 2. Entertain. Comput. 20 (2017)
Francesco Di Giacomo, Mohamed Abbadi, Agostino Cortesi, Pieter Spronck, Giuseppe Maggiore
Metacasanova: an optimized meta-compiler for domain-specific languages. SLE (2017)
Enrico Eugenio, Agostino Cortesi
WiFi-Related Energy Consumption Analysis of Mobile Devices in a Walkable Area by Abstract Interpretation. ICDCIT (2017)
Francesco Di Giacomo, Mohamed Abbadi, Agostino Cortesi, Pieter Spronck, Giuseppe Maggiore
Building Game Scripting DSL's with the Metacasanova Metacompiler. INTETAIN (2016)
Gianluca Barbon, Agostino Cortesi, Pietro Ferrara, Enrico Steffinlongo
DAPA: Degradation-Aware Privacy Analysis of Android Apps. STM (2016)
Soumya Sen, Agostino Cortesi, Nabendu Chaki
ROLAP based data warehouse schema to XML schema conversion. ICIT (2016)
Supriya Chakraborty, Agostino Cortesi, Nabedu Chaki
A uniform representation of multi-variant data in intensive-query databases. Innov. Syst. Softw. Eng. 12 (3) (2016)
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 (2016)
Angshuman Jana, Raju Halder, Nabendu Chaki, Agostino Cortesi
Policy-Based Slicing of Hibernate Query Language. CISIM (2015)
Giulia Costantini, Pietro Ferrara, Agostino Cortesi
A suite of abstract domains for static analysis of string values. Softw. Pract. Exp. 45 (2) (2015)
Agostino Cortesi, Giulia Costantini, Pietro Ferrara
The abstract domain of Trapezoid Step Functions. Comput. Lang. Syst. Struct. 43 (2015)
Mohamed Abbadi, Francesco Di Giacomo, Agostino Cortesi, Pieter Spronck, Giulia Costantini, Giuseppe Maggiore
Casanova: A Simple, High-Performance Language for Game Development. JCSG (2015)
Gianluca Barbon, Agostino Cortesi, Pietro Ferrara, Marco Pistoia, Omer Tripp
Privacy Analysis of Android Apps: Implicit Flows and Quantitative Analysis. CISIM (2015)
Soumya Sen, Partha Ghosh, Agostino Cortesi
Materialized View Construction Using Linearizable Nonlinear Regression. ACSS (1) (2015)
Agostino Cortesi, Pietro Ferrara, Marco Pistoia, Omer Tripp
Datacentric Semantics for Verification of Privacy Policy Compliance by Mobile Applications. VMCAI (2015)
Angshuman Jana, Raju Halder, Agostino Cortesi
Verification of Hibernate Query Language by Abstract Interpretation. IScIDE (2) (2015)
Agostino Cortesi, Raju Halder
Information-Flow Analysis of Hibernate Query Language. FDSE (2014)
Raju Halder, Matteo Zanioli, Agostino Cortesi
Information leakage analysis of database query languages. SAC (2014)
Manali Chakraborty, Nabendu Chaki, Agostino Cortesi
A New Intrusion Prevention System for Protecting Smart Grids from ICMPv6 Vulnerabilities. FedCSIS (2014)
Agostino Cortesi, Giulia Costantini, Pietro Ferrara
A Survey on Product Operators in Abstract Interpretation. Festschrift for Dave Schmidt (2013)
Agostino Cortesi, Pietro Ferrara, Nabendu Chaki
Static analysis techniques for robotics software verification. ISR (2013)
Raju Halder, Agostino Cortesi
Abstract program slicing on dependence condition graphs. Sci. Comput. Program. 78 (9) (2013)
Raju Halder, Agostino Cortesi
Abstract program slicing of database query languages. SAC (2013)
Agostino Cortesi, Raju Halder
Abstract Interpretation of Recursive Queries. ICDCIT (2013)
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)
Giulia Costantini, Pietro Ferrara, Giuseppe Maggiore, Agostino Cortesi
The Domain of Parametric Hypercubes for Static Analysis of Computer Games Software. ICFEM (2013)
Matteo Zanioli, Pietro Ferrara, Agostino Cortesi
SAILS: static analysis of information leakage with sample. SAC (2012)

Agostino Cortesi.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Agostino Cortesi