2008 |
53 | EE | Agostino Cortesi:
Widening Operators for Abstract Interpretation.
SEFM 2008: 31-40 |
52 | EE | Antonio Candiello,
Andrea Albarelli,
Agostino Cortesi:
An Ontology-based Inquiry Framework.
SWAP 2008 |
51 | EE | Chiara Braghin,
Agostino Cortesi,
Riccardo Focardi:
Information flow security in Boundary Ambients.
Inf. Comput. 206(2-4): 460-489 (2008) |
2007 |
50 | EE | Michael Backes,
Agostino Cortesi,
Matteo Maffei:
Causality-based Abstraction of Multiplicity in Security Protocols.
CSF 2007: 355-369 |
49 | EE | Michael Backes,
Agostino Cortesi,
Riccardo Focardi,
Matteo Maffei:
A calculus of challenges and responses.
FMSE 2007: 51-60 |
2006 |
48 | EE | Francesco Logozzo,
Agostino Cortesi:
Semantic Hierarchy Refactoring by Abstract Interpretation.
VMCAI 2006: 313-331 |
2005 |
47 | EE | Agostino Cortesi,
Francesco Logozzo:
Abstract Interpretation-Based Verification of Non-functional Requirements.
COORDINATION 2005: 49-62 |
46 | EE | Chiara Braghin,
Agostino Cortesi:
Flow-sensitive Leakage Analysis in Mobile Ambients.
Electr. Notes Theor. Comput. Sci. 128(5): 17-25 (2005) |
45 | EE | Agostino Cortesi,
Francesco Logozzo:
Preface.
Electr. Notes Theor. Comput. Sci. 131: 1-2 (2005) |
44 | EE | Francesco Logozzo,
Agostino Cortesi:
Abstract Interpretation and Object-oriented Programming: Quo Vadis?
Electr. Notes Theor. Comput. Sci. 131: 75-84 (2005) |
2004 |
43 | EE | 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) |
42 | EE | 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) |
41 | EE | Lenore D. Zuck,
Paul C. Attie,
Agostino Cortesi:
Preface by the section editors.
STTT 6(1): 1-3 (2004) |
2003 |
40 | | 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
Springer 2003 |
39 | EE | 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 |
38 | EE | Chiara Braghin,
Agostino Cortesi,
Riccardo Focardi,
Flaminia L. Luccio,
Carla Piazza:
Complexity of Nesting Analysis in Mobile Ambients.
VMCAI 2003: 86-101 |
37 | EE | Chiara Braghin,
Agostino Cortesi,
Riccardo Focardi:
Information Leakage Detection in Boundary Ambients.
Electr. Notes Theor. Comput. Sci. 78: (2003) |
36 | EE | Agostino Cortesi,
Gilberto Filé:
Static Analysis.
Sci. Comput. Program. 47(2-3): 89-90 (2003) |
2002 |
35 | | Agostino Cortesi:
Verification, Model Checking, and Abstract Interpretation, Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers
Springer 2002 |
34 | | Chiara Braghin,
Agostino Cortesi,
Riccardo Focardi:
Control Flow Analysis of Mobile Ambients with Security Boundaries.
FMOODS 2002: 197-212 |
33 | | Chiara Braghin,
Agostino Cortesi,
Riccardo Focardi,
Steffen van Bakel:
Boundary Inference for Enforcing Security Policies in Mobile Ambients.
IFIP TCS 2002: 383-395 |
32 | | Agostino Cortesi,
Riccardo Focardi:
Computer languages and security.
Comput. Lang. 28(1): 1-2 (2002) |
31 | | Chiara Braghin,
Agostino Cortesi,
Riccardo Focardi:
Security boundaries in mobile ambients.
Comput. Lang. 28(1): 101-127 (2002) |
30 | EE | 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) |
2001 |
29 | EE | Isabelle Pollet,
Baudouin Le Charlier,
Agostino Cortesi:
Distinctness and Sharing Domains for Static Analysis of Java Programs.
ECOOP 2001: 77-98 |
28 | EE | Agostino Cortesi,
Baudouin Le Charlier,
Sabina Rossi:
Reexecution-Based Analysis of Logic Programs with Delay Declarations.
Ershov Memorial Conference 2001: 395-405 |
27 | | Giuseppe Callegarin,
Agostino Cortesi:
An Italian National Curriculum on ICT for Schools.
WCCE 2001: 767-776 |
26 | EE | 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: (2001) |
25 | EE | Agostino Cortesi,
Riccardo Focardi:
Information Flow Security in Mobile Ambients.
Electr. Notes Theor. Comput. Sci. 54: (2001) |
2000 |
24 | | Viswanath Ramachandran,
Pascal Van Hentenryck,
Agostino Cortesi:
Abstract Domains for Reordering CLP(RLin) Programs.
J. Log. Program. 42(3): 217-256 (2000) |
23 | | 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) |
1999 |
22 | | Agostino Cortesi,
Gilberto Filé:
Static Analysis, 6th International Symposium, SAS '99, Venice, Italy, September 22-24, 1999, Proceedings
Springer 1999 |
21 | | Agostino Cortesi,
Gilberto Filé:
Sharing is Optimal.
J. Log. Program. 38(3): 371-386 (1999) |
20 | | Baudouin Le Charlier,
Christophe Leclère,
Sabina Rossi,
Agostino Cortesi:
Automated Verification of Prolog Programs.
J. Log. Program. 39(1-3): 3-42 (1999) |
1998 |
19 | | 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 |
18 | | Agostino Cortesi,
Agostino Dovier,
Elisa Quintarelli,
Letizia Tanca:
Operational and Abstract Semantics of a Query Language for Semi-Structured Information.
DDLP 1998: 127-140 |
17 | EE | Agostino Cortesi,
Gilberto Filé,
William H. Winsborough:
The Quotient of an Abstract Interpretation.
Theor. Comput. Sci. 202(1-2): 163-192 (1998) |
1997 |
16 | | Baudouin Le Charlier,
Christophe Leclère,
Sabina Rossi,
Agostino Cortesi:
Automated Behavioural Verification of Prolog Programs.
APPIA-GULP-PRODE 1997: 189-200 |
15 | | Baudouin Le Charlier,
Christophe Leclère,
Sabina Rossi,
Agostino Cortesi:
Automated Verification of Behavioural Properties of Prolog Programs.
ASIAN 1997: 225-238 |
14 | EE | Agostino Cortesi,
Gilberto Filé,
Roberto Giacobazzi,
Catuscia Palamidessi,
Francesco Ranzato:
Complementation in Abstract Interpretation.
ACM Trans. Program. Lang. Syst. 19(1): 7-47 (1997) |
1996 |
13 | | Agostino Cortesi,
Baudouin Le Charlier,
Sabina Rossi:
Specification-Based Automatic Verification of Prolog Programs.
LOPSTR 1996: 38-57 |
12 | | Agostino Cortesi,
Gilberto Filé,
William H. Winsborough:
Optimal Groundness Analysis Using Propositional Logic.
J. Log. Program. 27(2): 137-167 (1996) |
1995 |
11 | | Agostino Cortesi,
Gilberto Filé,
Roberto Giacobazzi,
Catuscia Palamidessi,
Francesco Ranzato:
Complementation in Abstract Interpretation
SAS 1995: 100-117 |
10 | | Pascal Van Hentenryck,
Agostino Cortesi,
Baudouin Le Charlier:
Type Analysis of Prolog Using Type Graphs.
J. Log. Program. 22(3): 179-209 (1995) |
9 | | Pascal Van Hentenryck,
Agostino Cortesi,
Baudouin Le Charlier:
Evaluation of the Domain Prop.
J. Log. Program. 23(3): 237-278 (1995) |
1994 |
8 | | Agostino Cortesi,
Gilberto Filé,
William H. Winsborough:
The Quotient of an Abstract Interpretation for Comparing Static Analyses.
GULP-PRODE (1) 1994: 372-387 |
7 | | Pascal Van Hentenryck,
Agostino Cortesi,
Baudouin Le Charlier:
Type Analysis of Prolog Using Type Graphs.
PLDI 1994: 337-348 |
6 | | Agostino Cortesi,
Baudouin Le Charlier,
Pascal Van Hentenryck:
Combinations of Abstract Domains for Logic Programming.
POPL 1994: 227-239 |
1993 |
5 | | Agostino Cortesi,
Gilberto Filé:
Comparison and design of abstract domains for sharing analysis.
GULP 1993: 251-266 |
4 | | Agostino Cortesi,
Gilberto Filé:
Graph Properties for Normal Logic Programs.
Theor. Comput. Sci. 107(2): 277-303 (1993) |
1992 |
3 | | Agostino Cortesi,
Gilberto Filé,
William H. Winsborough:
Comparison of Abstract Interpretations.
ICALP 1992: 521-532 |
1991 |
2 | | Agostino Cortesi,
Gilberto Filé,
William H. Winsborough:
Prop revisited: Propositional Formula as Abstract Domain for Groundness Analysis
LICS 1991: 322-327 |
1 | | Agostino Cortesi,
Gilberto Filé:
Abstract Interpretation of Logic Programs: An Abstract Domain for Groundness, Sharing, Freeness and Compoundness Analysis.
PEPM 1991: 52-61 |