


default search action
Agostino 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
- [j68]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) - [j67]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) - [j66]Luca Olivieri
, Vincenzo Arceri
, Badaruddin Chachar
, Luca Negrini
, Fabio Tagliaferro
, Fausto Spoto
, Pietro Ferrara
, Agostino Cortesi
:
General-Purpose Languages for Blockchain Smart Contracts Development: A Comprehensive Study. IEEE Access 12: 166855-166869 (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 - [i6]Greta Dolcetti, Vincenzo Arceri, Eleonora Iotti, Sergio Maffeis, Agostino Cortesi, Enea Zaffanella:
Helping LLMs Improve Code Generation Using Feedback from Testing and Static Analysis. CoRR abs/2412.14841 (2024) - 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]