Google
Google Scholar
Semantic Scholar
MS Academic
CiteSeerX
ORCIDAgostino 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
- 2021
[e16]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
- [j45]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) - [j44]Pietro Ferrara, Agostino Cortesi, Fausto Spoto:
From CIL to Java bytecode: Semantics-based translation for static analysis leveraging. Sci. Comput. Program. 191: 102392 (2020) - [j43]Alvise Spanò, Agostino Cortesi:
Legodroid: A Type-Driven Library for Android and LEGO Mindstorms Interoperability. Sensors 20(7): 1926 (2020) - [j42]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) - [c93]Rocco Salvia, Agostino Cortesi, Pietro Ferrara, Fausto Spoto:
Intents Analysis of Android Apps for Confidentiality Leakage Detection. ACSS (1) 2020: 43-65 - [c92]Novarun Deb, Mandira Roy, Nabendu Chaki, Agostino Cortesi:
Generation of Safety and Liveness Complaint Automata from Goal Model Specifications. EDCC 2020: 127-134 - [c91]Amit Kr Mandal, Pietro Ferrara, Yuliy Khlyebnikov, Agostino Cortesi, Fausto Spoto:
Cross-program taint analysis for IoT systems. SAC 2020: 1944-1952 - [e15]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] - [e14]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] - [e13]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
- [j41]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) - [j40]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) - [j39]Adrija Bhattacharya, Sankhayan Choudhury, Agostino Cortesi:
Replaceability and negotiation in a cloud service ecosystem. J. Cloud Comput. 8: 14 (2019) - [j38]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) - [j37]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) - [j36]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) - [c90]Manali Chakraborty, Alvise Spanò, Agostino Cortesi:
Geographic Location Based Dynamic and Opportunistic RPL for Distributed Networks. CISIM 2019: 120-131 - [c89]Alvise Spanò, Agostino Cortesi, Giulio Zausa:
Type-Driven Cross-Programming for Android and LEGO Mindstorms Interoperability. CISIM 2019: 191-209 - [c88]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 - [c87]Vincenzo Arceri, Martina Olliaro, Agostino Cortesi, Isabella Mastroeni:
Completeness of Abstract Domains for String Analysis of JavaScript Programs. ICTAC 2019: 255-272 - [c86]Maikel Lázaro Pérez Gort, Martina Olliaro, Claudia Feregrino Uribe, Agostino Cortesi:
Preventing Additive Attacks to Relational Database Watermarking. CONFENIS 2019: 131-140 - [c85]Amit Kr Mandal, Agostino Cortesi, Anirban Sarkar, Nabendu Chaki:
Things as a Service: Service model for IoT. INDIN 2019: 1364-1369 - [c84]Agostino Cortesi, Henrich Lauko, Martina Olliaro, Petr Rockai:
String Abstraction for Model Checking of C Programs. SPIN 2019: 74-93 - [e12]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] - [e11]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
- [j35]Agostino Cortesi, Pietro Ferrara, Raju Halder, Matteo Zanioli:
Combining Symbolic and Numerical Domains for Information Leakage Analysis. Trans. Comput. Sci. 31: 98-135 (2018) - [c83]Gianluca Caiazza, Ruffin White, Agostino Cortesi:
Enhancing Security in ROS. ACSS (2) 2018: 3-15 - [c82]Amit Kr Mandal, Agostino Cortesi, Pietro Ferrara, Federica Panarotto, Fausto Spoto:
Vulnerability analysis of Android auto infotainment apps. CF 2018: 183-190 - [c81]Fabio Mondin, Agostino Cortesi:
MySQL Extension Automatic Porting to PDO for PHP Migration and Security Improvement. CISIM 2018: 461-473 - [c80]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 - [c79]Pietro Ferrara, Agostino Cortesi, Fausto Spoto:
CIL to Java-bytecode translation for static analysis leveraging. FormaliSE@ICSE 2018: 40-49 - [c78]Ruffin White, Henrik I. Christensen, Gianluca Caiazza, Agostino Cortesi:
Procedurally Provisioned Access Control for Robotic Systems. IROS 2018: 1-9 - [c77]Federica Panarotto, Agostino Cortesi, Pietro Ferrara, Amit Kr Mandal, Fausto Spoto:
Static Analysis of Android Apps Interaction with Automotive CAN. SmartCom 2018: 114-123 - [c76]Agostino Cortesi, Martina Olliaro:
M-String Segmentation: A Refined Abstract Domain for String Analysis in C Programs. TASE 2018: 1-8 - [c75]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
- [j34]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) - [j33]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) - [c74]Malik Khurram Awan, Agostino Cortesi:
Blockchain Transaction Analysis Using Dominant Sets. CISIM 2017: 229-239 - [c73]Enrico Eugenio, Agostino Cortesi:
WiFi-Related Energy Consumption Analysis of Mobile Devices in a Walkable Area by Abstract Interpretation. ICDCIT 2017: 27-39 - [c72]Francesco Di Giacomo, Mohamed Abbadi, Agostino Cortesi, Pieter Spronck, Giuseppe Maggiore:
Metacasanova: an optimized meta-compiler for domain-specific languages. SLE 2017: 232-243 - [e10]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] - [e9]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
- [j32]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) - [j31]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) - [c71]Soumya Sen, Agostino Cortesi, Nabendu Chaki:
ROLAP based data warehouse schema to XML schema conversion. ICIT 2016: 1736-1741 - [c70]Francesco Di Giacomo, Mohamed Abbadi, Agostino Cortesi, Pieter Spronck, Giuseppe Maggiore:
Building Game Scripting DSL's with the Metacasanova Metacompiler. INTETAIN 2016: 231-242 - [c69]Gianluca Barbon, Agostino Cortesi, Pietro Ferrara, Enrico Steffinlongo:
DAPA: Degradation-Aware Privacy Analysis of Android Apps. STM 2016: 32-46 - [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 1. Advances in Intelligent Systems and Computing 395, Springer 2016, ISBN 978-81-322-2648-2 [contents] - [e7]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
- [j30]Agostino Cortesi, Giulia Costantini, Pietro Ferrara:
The abstract domain of Trapezoid Step Functions. Comput. Lang. Syst. Struct. 43: 41-68 (2015) - [j29]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) - [c68]Soumya Sen, Partha Ghosh, Agostino Cortesi:
Materialized View Construction Using Linearizable Nonlinear Regression. ACSS (1) 2015: 261-276 - [c67]Gianluca Barbon, Agostino Cortesi, Pietro Ferrara, Marco Pistoia, Omer Tripp:
Privacy Analysis of Android Apps: Implicit Flows and Quantitative Analysis. CISIM 2015: 3-23 - [c66]Angshuman Jana, Raju Halder, Nabendu Chaki, Agostino Cortesi:
Policy-Based Slicing of Hibernate Query Language. CISIM 2015: 267-281 - [c65]Angshuman Jana, Raju Halder, Agostino Cortesi:
Verification of Hibernate Query Language by Abstract Interpretation. IScIDE (2) 2015: 116-128 - [c64]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 - [c63]Agostino Cortesi, Pietro Ferrara, Marco Pistoia, Omer Tripp:
Datacentric Semantics for Verification of Privacy Policy Compliance by Mobile Applications. VMCAI 2015: 61-79 - 2014
- [c62]Agostino Cortesi, Raju Halder:
Information-Flow Analysis of Hibernate Query Language. FDSE 2014: 262-274 - [c61]Manali Chakraborty, Nabendu Chaki, Agostino Cortesi:
A New Intrusion Prevention System for Protecting Smart Grids from ICMPv6 Vulnerabilities. FedCSIS 2014: 1539-1547 - [c60]Raju Halder, Matteo Zanioli, Agostino Cortesi:
Information leakage analysis of database query languages. SAC 2014: 813-820 - 2013
- [j28]Raju Halder, Agostino Cortesi:
Abstract program slicing on dependence condition graphs. Sci. Comput. Program. 78(9): 1240-1263 (2013) - [c59]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 - [c58]Agostino Cortesi, Raju Halder:
Abstract Interpretation of Recursive Queries. ICDCIT 2013: 157-170 - [c57]Giulia Costantini, Pietro Ferrara, Giuseppe Maggiore, Agostino Cortesi:
The Domain of Parametric Hypercubes for Static Analysis of Computer Games Software. ICFEM 2013: 447-463 - [c56]Agostino Cortesi, Pietro Ferrara, Nabendu Chaki:
Static analysis techniques for robotics software verification. ISR 2013: 1-6 - [c55]Raju Halder, Agostino Cortesi:
Abstract program slicing of database query languages. SAC 2013: 838-845 - [c54]Agostino Cortesi, Giulia Costantini, Pietro Ferrara:
A Survey on Product Operators in Abstract Interpretation. Festschrift for Dave Schmidt 2013: 325-336 - [e6]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
- [j27]Raju Halder, Agostino Cortesi:
Abstract interpretation of database query languages. Comput. Lang. Syst. Struct. 38(2): 123-157 (2012) - [c53]Giulia Costantini, Pietro Ferrara, Agostino Cortesi:
Linear Approximation of Continuous Systems with Trapezoid Step Functions. APLAS 2012: 98-114 - [c52]Soumya Sen, Anjan Dutta, Agostino Cortesi, Nabendu Chaki:
A New Scale for Attribute Dependency in Large Database Systems. CISIM 2012: 266-277 - [c51]Raju Halder, Agostino Cortesi:
Tukra: An Abstract Program Slicing Tool. ICSOFT 2012: 178-183 - [c50]Matteo Zanioli, Pietro Ferrara, Agostino Cortesi:
SAILS: static analysis of information leakage with sample. SAC 2012: 1308-1313 - [e5]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
- [j26]Agostino Cortesi, Matteo Zanioli:
Widening and narrowing operators for abstract interpretation. Comput. Lang. Syst. Struct. 37(1): 24-42 (2011) - [c49]Antonio Candiello, Agostino Cortesi:
KPIs from Web Agents for Policies' Impact Analysis and Products' Brand Assessment. CISIM 2011: 192-201 - [c48]Raju Halder, Agostino Cortesi:
Observation-Based Fine Grained Access Control for XML Documents. CISIM 2011: 267-276 - [c47]Antonio Candiello, Agostino Cortesi:
KPI-Supported PDCA Model for Innovation Policy Management in Local Government. EGOV 2011: 320-331 - [c46]Giulia Costantini, Pietro Ferrara, Agostino Cortesi:
Static Analysis of String Values. ICFEM 2011: 505-521 - [c45]Alvise Spanò, Michele Bugliesi, Agostino Cortesi:
Type-flow Analysis for Legacy COBOL Code. ICSOFT (2) 2011: 64-75 - [c44]Sukriti Bhattacharya, Agostino Cortesi:
Property Driven Program Slicing Refinement. ICSOFT (2) 2011: 149-155 - [c43]Alvise Spanò, Michele Bugliesi, Agostino Cortesi:
Typing Legacy COBOL Code. ICSOFT (Selected Papers) 2011: 151-165 - [c42]Giuseppe Maggiore, Andrea Torsello, Flavio Sartoretto, Agostino Cortesi:
Engaging high school students in computer science via challenging applications. SIGITE Conference 2011: 43-48 - [c41]Raju Halder, Agostino Cortesi:
Cooperative Query Answering by Abstract Interpretation. SOFSEM 2011: 284-296 - [c40]Matteo Zanioli, Agostino Cortesi:
Information Leakage Analysis by Abstract Interpretation. SOFSEM 2011: 545-557 - [e4]Nabendu Chaki, Agostino Cortesi:
Computer Information Systems - Analysis and Technologies - 10th International Conference, CISIM 2011, Kolkata, India, December 14-16, 2011. Proceedings. Communications in Computer and Information Science 245, Springer 2011, ISBN 978-3-642-27244-8 [contents] - 2010
- [j25]Mayla Brusò, Agostino Cortesi:
Non-repudiation analysis using LySa with annotations. Comput. Lang. Syst. Struct. 36(4): 352-377 (2010) - [j24]Raju Halder, Shantanu Pal, Agostino Cortesi:
Watermarking Techniques for Relational Databases: Survey, Classification and Comparison. J. Univers. Comput. Sci. 16(21): 3164-3190 (2010) - [c39]Antonio Candiello, Andrea Albarelli, Agostino Cortesi:
Three-layered QoS for eGovernment web services. DG.O 2010: 217-222 - [c38]Raju Halder, Agostino Cortesi:
A Persistent Public Watermarking of Relational Databases. ICISS 2010: 216-230 - [c37]Sukriti Bhattacharya, Agostino Cortesi:
Distortion-Free Authentication Watermarking. ICSOFT (Selected Papers) 2010: 205-219 - [c36]Sukriti Bhattacharya, Agostino Cortesi:
Database Authentication by Distortion Free Watermarking. ICSOFT (1) 2010: 219-226 - [c35]Raju Halder, Agostino Cortesi:
Fine Grained Access Control for Relational Databases by Abstract Interpretation. ICSOFT (Selected Papers) 2010: 235-249 - [c34]Raju Halder, Agostino Cortesi:
Observation-based Fine Grained Access Control for Relational Databases. ICSOFT (1) 2010: 254-265 - [c33]Raju Halder, Agostino Cortesi:
Obfuscation-based analysis of SQL injection attacks. ISCC 2010: 931-938 - [c32]Agostino Cortesi, Raju Halder:
Dependence condition graph for semantics-based abstract program slicing. LDTA 2010: 4
2000 – 2009
- 2009
- [c31]Giulia Costantini, Giuseppe Maggiore, Agostino Cortesi:
Learning by Fixing and Extending Games. Eurographics (Education Papers) 2009: 15-21 - [c30]Sukriti Bhattacharya, Agostino Cortesi:
A Generic Distortion Free Watermarking Technique for Relational Databases. ICISS 2009: 252-264 - [c29]Sukriti Bhattacharya, Agostino Cortesi:
A Distortion Free Watermark Framework for Relational Databases. ICSOFT (2) 2009: 229-234 - [c28]Mayla Brusò, Agostino Cortesi:
Non-repudiation Analysis with LySa. SEC 2009: 318-329 - 2008
- [j23]Chiara Braghin, Agostino Cortesi, Riccardo Focardi:
Information flow security in Boundary Ambients. Inf. Comput. 206(2-4): 460-489 (2008) - [c27]Agostino Cortesi:
Widening Operators for Abstract Interpretation. SEFM 2008: 31-40 - [c26]Antonio Candiello, Andrea Albarelli, Agostino Cortesi:
An Ontology-based Inquiry Framework. SWAP 2008 - 2007
- [c25]Michael Backes, Agostino Cortesi, Riccardo Focardi, Matteo Maffei:
A calculus of challenges and responses. FMSE 2007: 51-60 - [c24]Michael Backes, Agostino Cortesi, Matteo Maffei:
Causality-based Abstraction of Multiplicity in Security Protocols. CSF 2007: 355-369 - 2006
- [c23]Francesco Logozzo, Agostino Cortesi:
Semantic Hierarchy Refactoring by Abstract Interpretation. VMCAI 2006: 313-331 - 2005
- [j22]Chiara Braghin, Agostino Cortesi:
Flow-sensitive Leakage Analysis in Mobile Ambients. Electron. Notes Theor. Comput. Sci. 128(5): 17-25 (2005) - [j21]Agostino Cortesi, Francesco Logozzo:
Preface. Electron. Notes Theor. Comput. Sci. 131: 1-2 (2005) - [j20]Francesco Logozzo, Agostino Cortesi:
Abstract Interpretation and Object-oriented Programming: Quo Vadis? Electron. Notes Theor. Comput. Sci. 131: 75-84 (2005) - [c22]Agostino Cortesi, Francesco Logozzo:
Abstract Interpretation-Based Verification of Non-functional Requirements. COORDINATION 2005: 49-62 - 2004
- [j19]Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza:
Nesting analysis of mobile ambients. Comput. Lang. Syst. Struct. 30(3-4): 207-230 (2004) - [j18]Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza:
Behind BANANA: Design and Implementation of a Tool for Nesting Analysis of Mobile Ambients. Electron. Notes Theor. Comput. Sci. 99: 319-337 (2004) - [j17]Lenore D. Zuck, Paul C. Attie, Agostino Cortesi:
Preface by the section editors. Int. J. Softw. Tools Technol. Transf. 6(1): 1-3 (2004) - 2003
- [j16]Chiara Braghin, Agostino Cortesi, Riccardo Focardi:
Information Leakage Detection in Boundary Ambients. Electron. Notes Theor. Comput. Sci. 78: 123-143 (2003) - [j15]Agostino Cortesi, Gilberto Filé:
Static Analysis. Sci. Comput. Program. 47(2-3): 89-90 (2003) - [c21]Chiara Braghin, Agostino Cortesi, Stefano Filippone, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza:
BANANA - A Tool for Boundary Ambients Nesting ANAlysis. TACAS 2003: 437-441 - [c20]Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza:
Complexity of Nesting Analysis in Mobile Ambients. VMCAI 2003: 86-101 - [e3]Lenore D. Zuck, Paul C. Attie, Agostino Cortesi, Supratik Mukhopadhyay:
Verification, Model Checking, and Abstract Interpretation, 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2002, Proceedings. Lecture Notes in Computer Science 2575, Springer 2003, ISBN 3-540-00348-7 [contents] - 2002
- [j14]