Searching for authors named Agostino Cortesi – sorted by Relevance.
20 documents found, showing 1 through 10.
Next 10 →
-
Information Flow Security in Mobile Ambients
- …://www.elsevier.nl/locate/entcs/volume54.html 11 pages Information Flow Security in Mobile Ambients 1 Agostino Cortesi Riccardo Focardi…
- Cited by 2 (1 self) – Add To MetaCart
-
Abstract interpretation-based verification of non functional requirements
- …Abstract Interpretation-based Verification of Non-functional Requirements Agostino Cortesi1 ⋆ 2…
- Cited by 1 (1 self) – Add To MetaCart
-
Security Boundaries in Mobile Ambients
- …Abstract Security Boundaries in Mobile Ambients 1 Chiara Braghin Agostino Cortesi Riccardo Focardi…
- Cited by 5 (3 self) – Add To MetaCart
-
Control Flow Analysis of Mobile Ambients with Security Boundaries
- … Agostino Cortesi Riccardo Focardi Dipartimento di Informatica, Università Ca’ Foscari di Venezia, Via…
- Cited by 9 (4 self) – Add To MetaCart
-
An Ontology-based Inquiry Framework ⋆
- …An Ontology-based Inquiry Framework ⋆ Antonio Candiello, Andrea Albarelli, Agostino Cortesi…
- Add To MetaCart
-
Abstract Interpretation and Object-oriented Programming: Quo Vadis?
- … Polytechnique F-91128 Palaiseau, France 2 ,3 Agostino Cortesi Dipartimento di Informatica Università Ca…
- Cited by 1 (0 self) – Add To MetaCart
-
Complementation in abstract interpretation
- … Complementation in Abstract Interpretation Agostino Cortesi? Gilberto Fil'e?? Roberto Giacobazzi…
- Cited by 31 (17 self) – Add To MetaCart
-
Causality-based abstraction of multiplicity in security protocols
- … 1 , and Agostino Cortesi 2 1 Saarland University, Saarbrücken, Germany, {backes…
- Cited by 3 (0 self) – Add To MetaCart
-
TOWARDS AN EUROPEAN CERTIFICATION OF COMPUTER SCIENCE UNIVERSITY CURRICULA
- …TOWARDS AN EUROPEAN CERTIFICATION OF COMPUTER SCIENCE UNIVERSITY CURRICULA Agostino Cortesi…
- Add To MetaCart
-
Theoretical Computer Science 275 (2002) 521--560 www.elI9jdQkxdlMj9d Operational andabstract semantics of the querylerydMM G-Log
- … language G-Log www.elsevier.com/locate/tcs Agostino Cortesi a , Agostino Dovier b; ∗ , Elisa Quintarelli c…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
