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 |