Searching for authors named "Massimo Bartoletti" – sorted by Relevance.
-
Static analysis for stack inspection
- Inspection Massimo Bartoletti, Pierpaolo Degano, GianLuigi Ferrari Dipartimento di Informatica — Università
- Cited by 17 (2 self) – Add To MetaCart
-
Plans for service composition
- Plans for service composition Massimo Bartoletti Pierpaolo Degano Gian Luigi Ferrari Dipartimento
- Cited by 4 (2 self) – Add To MetaCart
-
History-based access control with local policies
- History-based Access Control with Local Policies Massimo Bartoletti, Pierpaolo Degano, Gian Luigi
- Cited by 7 (0 self) – Add To MetaCart
-
Stack inspection and secure program transformations
- Stack inspection and secure program transformations ∗ Massimo Bartoletti, Pierpaolo Degano, Gian
- Cited by 4 (1 self) – Add To MetaCart
-
Program transformations under dynamic security policies
- Program Transformations under Dynamic Security Policies Massimo Bartoletti 1 Pierpaolo Degano 1
- Cited by 2 (1 self) – Add To MetaCart
-
Method inlining in presence of stack inspection
- Method Inlining in the presence of Stack Inspection ⋆ Massimo Bartoletti, Pierpaolo Degano, Gian
- Cited by 2 (1 self) – Add To MetaCart
-
Enforcing secure service composition
- Enforcing Secure Service Composition Massimo Bartoletti Pierpaolo Degano Gian Luigi Ferrari
- Cited by 9 (5 self) – Add To MetaCart
-
Types and effects for secure service orchestration
- Types and Effects for Secure Service Orchestration Massimo Bartoletti Pierpaolo Degano Gian Luigi
- Cited by 9 (2 self) – Add To MetaCart
-
Planning and verifying service composition
- Service Composition Massimo Bartoletti Pierpaolo Degano Gian Luigi Ferrari Dipartimento di Informatica
- Cited by 1 (0 self) – Add To MetaCart
-
Types and effects for resource usage analysis
- Types and Effects for Resource Usage Analysis Massimo Bartoletti, Pierpaolo Degano, Gian Luigi
- Cited by 4 (0 self) – Add To MetaCart

