Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Agostino Cortesi
2010 – today
- 2013
[j29]Raju Halder, Agostino Cortesi: Abstract program slicing on dependence condition graphs. Sci. Comput. Program. 78(9): 1240-1263 (2013)- [c49]
- [c48]Raju Halder, Agostino Cortesi: Abstract program slicing of database query languages. SAC 2013: 838-845
- [e6]Khalid Saeed, Rituparna Chaki, Agostino Cortesi, Slawomir T. Wierzchon (Eds.): 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
- [i2]Agostino Cortesi, Giulia Costantini, Pietro Ferrara: A Survey on Product Operators in Abstract Interpretation. CoRR abs/1309.5146 (2013)
- 2012
- [j28]Raju Halder, Agostino Cortesi: Abstract interpretation of database query languages. Computer Languages, Systems & Structures 38(2): 123-157 (2012)
- [c47]Giulia Costantini, Pietro Ferrara, Agostino Cortesi: Linear Approximation of Continuous Systems with Trapezoid Step Functions. APLAS 2012: 98-114
- [c46]Soumya Sen, Anjan Dutta, Agostino Cortesi, Nabendu Chaki: A New Scale for Attribute Dependency in Large Database Systems. CISIM 2012: 266-277
- [c45]
- [c44]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 (Eds.): 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
- [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
- [j27]Agostino Cortesi, Matteo Zanioli: Widening and narrowing operators for abstract interpretation. Computer Languages, Systems & Structures 37(1): 24-42 (2011)
- [c43]Antonio Candiello, Agostino Cortesi: KPIs from Web Agents for Policies' Impact Analysis and Products' Brand Assessment. CISIM 2011: 192-201
- [c42]Raju Halder, Agostino Cortesi: Observation-Based Fine Grained Access Control for XML Documents. CISIM 2011: 267-276
- [c41]Antonio Candiello, Agostino Cortesi: KPI-Supported PDCA Model for Innovation Policy Management in Local Government. EGOV 2011: 320-331
- [c40]Giulia Costantini, Pietro Ferrara, Agostino Cortesi: Static Analysis of String Values. ICFEM 2011: 505-521
- [c39]Alvise Spanò, Michele Bugliesi, Agostino Cortesi: Type-flow Analysis for Legacy COBOL Code. ICSOFT (2) 2011: 64-75
- [c38]Sukriti Bhattacharya, Agostino Cortesi: Property Driven Program Slicing Refinement. ICSOFT (2) 2011: 149-155
- [c37]Raju Halder, Agostino Cortesi: Cooperative Query Answering by Abstract Interpretation. SOFSEM 2011: 284-296
- [c36]Matteo Zanioli, Agostino Cortesi: Information Leakage Analysis by Abstract Interpretation. SOFSEM 2011: 545-557
- [e4]Nabendu Chaki, Agostino Cortesi (Eds.): 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
- 2010
- [j26]Mayla Brusò, Agostino Cortesi: Non-repudiation analysis using LySa with annotations. Computer Languages, Systems & Structures 36(4): 352-377 (2010)
- [j25]Raju Halder, Shantanu Pal, Agostino Cortesi: Watermarking Techniques for Relational Databases: Survey, Classification and Comparison. J. UCS 16(21): 3164-3190 (2010)
- [c35]Antonio Candiello, Andrea Albarelli, Agostino Cortesi: Three-layered QoS for eGovernment web services. DG.O 2010: 217-222
- [c34]Raju Halder, Agostino Cortesi: A Persistent Public Watermarking of Relational Databases. ICISS 2010: 216-230
- [c33]Sukriti Bhattacharya, Agostino Cortesi: Database Authentication by Distortion Free Watermarking. ICSOFT (1) 2010: 219-226
- [c32]Raju Halder, Agostino Cortesi: Observation-based Fine Grained Access Control for Relational Databases. ICSOFT (1) 2010: 254-265
- [c31]Raju Halder, Agostino Cortesi: Obfuscation-based analysis of SQL injection attacks. ISCC 2010: 931-938
- [c30]Agostino Cortesi, Raju Halder: Dependence condition graph for semantics-based abstract program slicing. LDTA 2010: 4
2000 – 2009
- 2009
- [c29]Sukriti Bhattacharya, Agostino Cortesi: A Generic Distortion Free Watermarking Technique for Relational Databases. ICISS 2009: 252-264
- [c28]Sukriti Bhattacharya, Agostino Cortesi: A Distortion Free Watermark Framework for Relational Databases. ICSOFT (2) 2009: 229-234
- [c27]
- 2008
- [j24]Chiara Braghin, Agostino Cortesi, Riccardo Focardi: Information flow security in Boundary Ambients. Inf. Comput. 206(2-4): 460-489 (2008)
- [c26]
- [c25]Antonio Candiello, Andrea Albarelli, Agostino Cortesi: An Ontology-based Inquiry Framework. SWAP 2008
- 2007
- [c24]Michael Backes, Agostino Cortesi, Riccardo Focardi, Matteo Maffei: A calculus of challenges and responses. FMSE 2007: 51-60
- [c23]Michael Backes, Agostino Cortesi, Matteo Maffei: Causality-based Abstraction of Multiplicity in Security Protocols. CSF 2007: 355-369
- 2006
- [c22]Francesco Logozzo, Agostino Cortesi: Semantic Hierarchy Refactoring by Abstract Interpretation. VMCAI 2006: 313-331
- 2005
- [j23]Chiara Braghin, Agostino Cortesi: Flow-sensitive Leakage Analysis in Mobile Ambients. Electr. Notes Theor. Comput. Sci. 128(5): 17-25 (2005)
- [j22]
- [j21]Francesco Logozzo, Agostino Cortesi: Abstract Interpretation and Object-oriented Programming: Quo Vadis? Electr. Notes Theor. Comput. Sci. 131: 75-84 (2005)
- [c21]Agostino Cortesi, Francesco Logozzo: Abstract Interpretation-Based Verification of Non-functional Requirements. COORDINATION 2005: 49-62
- 2004
- [j20]Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza: Nesting analysis of mobile ambients. Computer Languages, Systems & Structures 30(3-4): 207-230 (2004)
- [j19]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. Electr. Notes Theor. Comput. Sci. 99: 319-337 (2004)
- [j18]Lenore D. Zuck, Paul C. Attie, Agostino Cortesi: Preface by the section editors. STTT 6(1): 1-3 (2004)
- 2003
- [j17]Chiara Braghin, Agostino Cortesi, Riccardo Focardi: Information Leakage Detection in Boundary Ambients. Electr. Notes Theor. Comput. Sci. 78: 123-143 (2003)
- [j16]
- [c20]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
- [c19]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 (Eds.): 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
- 2002
- [j15]Agostino Cortesi, Riccardo Focardi: Computer languages and security. Comput. Lang. 28(1): 1-2 (2002)
- [j14]Chiara Braghin, Agostino Cortesi, Riccardo Focardi: Security boundaries in mobile ambients. Comput. Lang. 28(1): 101-127 (2002)
- [j13]Agostino Cortesi, Agostino Dovier, Elisa Quintarelli, Letizia Tanca: Operational and abstract semantics of the query language G-Log. Theor. Comput. Sci. 275(1-2): 521-560 (2002)
- [c18]Chiara Braghin, Agostino Cortesi, Riccardo Focardi: Control Flow Analysis of Mobile Ambients with Security Boundaries. FMOODS 2002: 197-212
- [c17]Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Steffen van Bakel: Boundary Inference for Enforcing Security Policies in Mobile Ambients. IFIP TCS 2002: 383-395
- [e2]Agostino Cortesi (Ed.): Verification, Model Checking, and Abstract Interpretation, Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers. Lecture Notes in Computer Science 2294, Springer 2002, ISBN 3-540-43631-6
- 2001
- [j12]Agostino Cortesi, Sabina Rossi, Baudouin Le Charlier: Operational Semantics for Reexecution-based Analysis of Logic Programs with Delay Declarations. Electr. Notes Theor. Comput. Sci. 48: 29-44 (2001)
- [j11]Agostino Cortesi, Riccardo Focardi: Information Flow Security in Mobile Ambients. Electr. Notes Theor. Comput. Sci. 54: 58-68 (2001)
- [c16]Isabelle Pollet, Baudouin Le Charlier, Agostino Cortesi: Distinctness and Sharing Domains for Static Analysis of Java Programs. ECOOP 2001: 77-98
- [c15]Agostino Cortesi, Baudouin Le Charlier, Sabina Rossi: Reexecution-Based Analysis of Logic Programs with Delay Declarations. Ershov Memorial Conference 2001: 395-405
- [c14]Giuseppe Callegarin, Agostino Cortesi: An Italian National Curriculum on ICT for Schools. WCCE 2001: 767-776
- 2000
- [j10]Viswanath Ramachandran, Pascal Van Hentenryck, Agostino Cortesi: Abstract Domains for Reordering CLP(RLin) Programs. J. Log. Program. 42(3): 217-256 (2000)
- [j9]Agostino Cortesi, Baudouin Le Charlier, Pascal Van Hentenryck: Combinations of abstract domains for logic programming: open product and generic pattern construction. Sci. Comput. Program. 38(1-3): 27-71 (2000)
1990 – 1999
- 1999
- [j8]
- [j7]Baudouin Le Charlier, Christophe Leclère, Sabina Rossi, Agostino Cortesi: Automated Verification of Prolog Programs. J. Log. Program. 39(1-3): 3-42 (1999)
- [e1]Agostino Cortesi, Gilberto Filé (Eds.): Static Analysis, 6th International Symposium, SAS '99, Venice, Italy, September 22-24, 1999, Proceedings. Lecture Notes in Computer Science 1694, Springer 1999, ISBN 3-540-66459-9
- 1998
- [j6]Agostino Cortesi, Gilberto Filé, William H. Winsborough: The Quotient of an Abstract Interpretation. Theor. Comput. Sci. 202(1-2): 163-192 (1998)
- [c13]Agostino Cortesi, Agostino Dovier, Elisa Quintarelli, Letizia Tanca: Operational and Abstract Semantics of a Query Language for Semi-Structured Information. APPIA-GULP-PRODE 1998: 175-188
- [c12]Agostino Cortesi, Agostino Dovier, Elisa Quintarelli, Letizia Tanca: Operational and Abstract Semantics of a Query Language for Semi-Structured Information. DDLP 1998: 127-140
- 1997
- [j5]Agostino Cortesi, Gilberto Filé, Roberto Giacobazzi, Catuscia Palamidessi, Francesco Ranzato: Complementation in Abstract Interpretation. ACM Trans. Program. Lang. Syst. 19(1): 7-47 (1997)
- [c11]Baudouin Le Charlier, Christophe Leclère, Sabina Rossi, Agostino Cortesi: Automated Behavioural Verification of Prolog Programs. APPIA-GULP-PRODE 1997: 189-200
- [c10]Baudouin Le Charlier, Christophe Leclère, Sabina Rossi, Agostino Cortesi: Automated Verification of Behavioural Properties of Prolog Programs. ASIAN 1997: 225-238
- 1996
- [j4]Agostino Cortesi, Gilberto Filé, William H. Winsborough: Optimal Groundness Analysis Using Propositional Logic. J. Log. Program. 27(2): 137-167 (1996)
- [c9]Agostino Cortesi, Baudouin Le Charlier, Sabina Rossi: Specification-Based Automatic Verification of Prolog Programs. LOPSTR 1996: 38-57
- 1995
- [j3]Pascal Van Hentenryck, Agostino Cortesi, Baudouin Le Charlier: Type Analysis of Prolog Using Type Graphs. J. Log. Program. 22(3): 179-209 (1995)
- [j2]Pascal Van Hentenryck, Agostino Cortesi, Baudouin Le Charlier: Evaluation of the Domain Prop. J. Log. Program. 23(3): 237-278 (1995)
- [c8]Agostino Cortesi, Gilberto Filé, Roberto Giacobazzi, Catuscia Palamidessi, Francesco Ranzato: Complementation in Abstract Interpretation. SAS 1995: 100-117
- 1994
- [c7]Agostino Cortesi, Gilberto Filé, William H. Winsborough: The Quotient of an Abstract Interpretation for Comparing Static Analyses. GULP-PRODE (1) 1994: 372-387
- [c6]Pascal Van Hentenryck, Agostino Cortesi, Baudouin Le Charlier: Type Analysis of Prolog Using Type Graphs. PLDI 1994: 337-348
- [c5]Agostino Cortesi, Baudouin Le Charlier, Pascal Van Hentenryck: Combinations of Abstract Domains for Logic Programming. POPL 1994: 227-239
- 1993
- [j1]Agostino Cortesi, Gilberto Filé: Graph Properties for Normal Logic Programs. Theor. Comput. Sci. 107(2): 277-303 (1993)
- [c4]Agostino Cortesi, Gilberto Filé: Comparison and design of abstract domains for sharing analysis. GULP 1993: 251-266
- 1992
- [c3]Agostino Cortesi, Gilberto Filé, William H. Winsborough: Comparison of Abstract Interpretations. ICALP 1992: 521-532
- 1991
- [c2]Agostino Cortesi, Gilberto Filé, William H. Winsborough: Prop revisited: Propositional Formula as Abstract Domain for Groundness Analysis. LICS 1991: 322-327
- [c1]Agostino Cortesi, Gilberto Filé: Abstract Interpretation of Logic Programs: An Abstract Domain for Groundness, Sharing, Freeness and Compoundness Analysis. PEPM 1991: 52-61
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16 21:27 CEST by the dblp team