| 2025 | SAC | Detection of Read-Write Issues in Hyperledger Fabric Smart Contracts. | Luca Olivieri, Luca Negrini, Vincenzo Arceri, Pietro Ferrara, Agostino Cortesi |
| 2025 | SAC | Static Detection of Untrusted Cross-Contract Invocations in Go Smart Contracts. | Luca Olivieri, Luca Negrini, Vincenzo Arceri, Pietro Ferrara, Agostino Cortesi, Fausto Spoto |
| 2023 | ECOOP | Information Flow Analysis for Detecting Non-Determinism in Blockchain. | Luca Olivieri, Luca Negrini, Vincenzo Arceri, Fabio Tagliaferro, Pietro Ferrara, Agostino Cortesi, Fausto Spoto |
| 2023 | ICCCI | A Two-Hop Neighborhood Based Berserk Detection Algorithm for Probabilistic Model of Consensus in Distributed Ledger Systems. | Deepanjan Mitra, Agostino Cortesi, Nabendu Chaki |
| 2023 | RE | Zero-shot Learning for Named Entity Recognition in Software Specification Documents. | Souvick Das, Novarun Deb, Agostino Cortesi, Nabendu Chaki |
| 2022 | PLDI | Ensuring determinism in blockchain software with GoLiSA: an industrial experience report. | Luca Olivieri, Fabio Tagliaferro, Vincenzo Arceri, Marco Ruaro, Luca Negrini, Agostino Cortesi, Pietro Ferrara, Fausto Spoto, Enrico Talin |
| 2022 | VMCAI | Relational String Abstract Domains. | Vincenzo Arceri, Martina Olliaro, Agostino Cortesi, Pietro Ferrara |
| 2021 | PLDI | Static analysis for dummies: experiencing LiSA. | Pietro Ferrara, Luca Negrini, Vincenzo Arceri, Agostino Cortesi |
| 2021 | RE | CARO: A Conflict-Aware Requirement Ordering Tool for DevOps. | Mandira Roy, Novarun Deb, Agostino Cortesi, Rituparna Chaki, Nabendu Chaki |
| 2021 | VMCAI | Twinning Automata and Regular Expressions for String Static Analysis. | Luca Negrini, Vincenzo Arceri, Pietro Ferrara, Agostino Cortesi |
| 2020 | EDCC | Generation of Safety and Liveness Complaint Automata from Goal Model Specifications. | Novarun Deb, Mandira Roy, Nabendu Chaki, Agostino Cortesi |
| 2020 | SAC | Cross-program taint analysis for IoT systems. | Amit Kr Mandal, Pietro Ferrara, Yuliy Khlyebnikov, Agostino Cortesi, Fausto Spoto |
| 2019 | INDIN | Things as a Service: Service model for IoT. | Amit Kr Mandal, Agostino Cortesi, Anirban Sarkar, Nabendu Chaki |
| 2019 | ICTAC | Completeness of Abstract Domains for String Analysis of JavaScript Programs. | Vincenzo Arceri, Martina Olliaro, Agostino Cortesi, Isabella Mastroeni |
| 2018 | IROS | Procedurally Provisioned Access Control for Robotic Systems. | Ruffin White, Henrik I. Christensen, Gianluca Caiazza, Agostino Cortesi |
| 2018 | ICSE | CIL to Java-bytecode translation for static analysis leveraging. | Pietro Ferrara, Agostino Cortesi, Fausto Spoto |
| 2018 | TrustCom | SDLI: Static Detection of Leaks Across Intents. | Rocco Salvia, Pietro Ferrara, Fausto Spoto, Agostino Cortesi |
| 2018 | TASE | M-String Segmentation: A Refined Abstract Domain for String Analysis in C Programs. | Agostino Cortesi, Martina Olliaro |
| 2017 | ICDCIT | WiFi-Related Energy Consumption Analysis of Mobile Devices in a Walkable Area by Abstract Interpretation. | Enrico Eugenio, Agostino Cortesi |
| 2017 | SLE | Metacasanova: an optimized meta-compiler for domain-specific languages. | Francesco Di Giacomo, Mohamed Abbadi, Agostino Cortesi, Pieter Spronck, Giuseppe Maggiore |
| 2015 | VMCAI | Datacentric Semantics for Verification of Privacy Policy Compliance by Mobile Applications. | Agostino Cortesi, Pietro Ferrara, Marco Pistoia, Omer Tripp |
| 2014 | FedCSIS | A New Intrusion Prevention System for Protecting Smart Grids from ICMPv6 Vulnerabilities. | Manali Chakraborty, Nabendu Chaki, Agostino Cortesi |
| 2014 | SAC | Information leakage analysis of database query languages. | Raju Halder, Matteo Zanioli, Agostino Cortesi |
| 2013 | FedCSIS | Modeling the Bullwhip Effect in a Multi-Stage Multi-Tier Retail Network by Generalized Stochastic Petri Nets. | Bidyut Biman Sarkar, Agostino Cortesi, Nabendu Chaki |
| 2013 | ICDCIT | Abstract Interpretation of Recursive Queries. | Agostino Cortesi, Raju Halder |
| 2013 | ICFEM | The Domain of Parametric Hypercubes for Static Analysis of Computer Games Software. | Giulia Costantini, Pietro Ferrara, Giuseppe Maggiore, Agostino Cortesi |
| 2013 | SAC | Abstract program slicing of database query languages. | Raju Halder, Agostino Cortesi |
| 2012 | APLAS | Linear Approximation of Continuous Systems with Trapezoid Step Functions. | Giulia Costantini, Pietro Ferrara, Agostino Cortesi |
| 2012 | ICSoft | Tukra: An Abstract Program Slicing Tool. | Raju Halder, Agostino Cortesi |
| 2012 | SAC | SAILS: static analysis of information leakage with sample. | Matteo Zanioli, Pietro Ferrara, Agostino Cortesi |
| 2011 | ICFEM | Static Analysis of String Values. | Giulia Costantini, Pietro Ferrara, Agostino Cortesi |
| 2011 | ICSoft | Property Driven Program Slicing Refinement. | Sukriti Bhattacharya, Agostino Cortesi |
| 2011 | ICSoft | Type-flow Analysis for Legacy COBOL Code. | Alvise Span, Michele Bugliesi, Agostino Cortesi |
| 2011 | ICSoft | Typing Legacy COBOL Code. | Alvise Span, Michele Bugliesi, Agostino Cortesi |
| 2011 | SIGITE | Engaging high school students in computer science via challenging applications. | Giuseppe Maggiore, Andrea Torsello, Flavio Sartoretto, Agostino Cortesi |
| 2011 | SOFSEM | Cooperative Query Answering by Abstract Interpretation. | Raju Halder, Agostino Cortesi |
| 2011 | SOFSEM | Information Leakage Analysis by Abstract Interpretation. | Matteo Zanioli, Agostino Cortesi |
| 2010 | ICISS | A Persistent Public Watermarking of Relational Databases. | Raju Halder, Agostino Cortesi |
| 2010 | ICSoft | Database Authentication by Distortion Free Watermarking. | Sukriti Bhattacharya, Agostino Cortesi |
| 2010 | ICSoft | Distortion-Free Authentication Watermarking. | Sukriti Bhattacharya, Agostino Cortesi |
| 2010 | ICSoft | Observation-based Fine Grained Access Control for Relational Databases. | Raju Halder, Agostino Cortesi |
| 2010 | ICSoft | Fine Grained Access Control for Relational Databases by Abstract Interpretation. | Raju Halder, Agostino Cortesi |
| 2010 | ISCC | Obfuscation-based analysis of SQL injection attacks. | Raju Halder, Agostino Cortesi |
| 2009 | ICISS | A Generic Distortion Free Watermarking Technique for Relational Databases. | Sukriti Bhattacharya, Agostino Cortesi |
| 2009 | ICSoft | A Distortion Free Watermark Framework for Relational Databases. | Sukriti Bhattacharya, Agostino Cortesi |
| 2009 | SEC | Non-repudiation Analysis with LySa. | Mayla Brus, Agostino Cortesi |
| 2008 | SEFM | Widening Operators for Abstract Interpretation. | Agostino Cortesi |
| 2007 | CCS | A calculus of challenges and responses. | Michael Backes, Agostino Cortesi, Riccardo Focardi, Matteo Maffei |
| 2006 | VMCAI | Semantic Hierarchy Refactoring by Abstract Interpretation. | Francesco Logozzo, Agostino Cortesi |
| 2005 | Coordination | Abstract Interpretation-Based Verification of Non-functional Requirements. | Agostino Cortesi, Francesco Logozzo |
| 2003 | TACAS | BANANA - A Tool for Boundary Ambients Nesting ANAlysis. | Chiara Braghin, Agostino Cortesi, Stefano Filippone, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza |
| 2003 | VMCAI | Complexity of Nesting Analysis in Mobile Ambients. | Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza |
| 2001 | ECOOP | Distinctness and Sharing Domains for Static Analysis of Java Programs. | Isabelle Pollet, Baudouin Le Charlier, Agostino Cortesi |
| 1996 | LOPSTR | Specification-Based Automatic Verification of Prolog Programs. | Agostino Cortesi, Baudouin Le Charlier, Sabina Rossi |
| 1995 | SAS | Complementation in Abstract Interpretation | Agostino Cortesi, Gilberto Fil, Roberto Giacobazzi, Catuscia Palamidessi, Francesco Ranzato |
| 1994 | PLDI | Type Analysis of Prolog Using Type Graphs. | Pascal Van Hentenryck, Agostino Cortesi, Baudouin Le Charlier |
| 1994 | POPL | Combinations of Abstract Domains for Logic Programming. | Agostino Cortesi, Baudouin Le Charlier, Pascal Van Hentenryck |
| 1992 | ICALP | Comparison of Abstract Interpretations. | Agostino Cortesi, Gilberto Fil, William H. Winsborough |
| 1991 | LICS | Prop revisited: Propositional Formula as Abstract Domain for Groundness Analysis | Agostino Cortesi, Gilberto Fil, William H. Winsborough |
| 1991 | PEPM | Abstract Interpretation of Logic Programs: An Abstract Domain for Groundness, Sharing, Freeness and Compoundness Analysis. | Agostino Cortesi, Gilberto Fil |