


Остановите войну!
for scientists:


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
- 2023
- [j56]Rudra Krishnasrija, Amit Kr Mandal
, Agostino Cortesi:
A lightweight mutual and transitive authentication mechanism for IoT network. Ad Hoc Networks 138: 103003 (2023) - [j55]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) - 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 - [e17]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 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 - [e16]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] - [e15]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] - [e14]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 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 - [e13]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] - [e12]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 - [e11]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] - [e10]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 - [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 1. Advances in Intelligent Systems and Computing 395, Springer 2016, ISBN 978-81-322-2648-2 [contents] - [e8]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 - [e7]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 - [e6]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]