Massimo Bartoletti

	2012
29		Massimo Bartoletti, Emilio Tuosto, Roberto Zunino: On the realizability of contracts in dishonest systems CoRR abs/1201.6188: (2012)
	2011
28		Massimo Bartoletti, Emilio Tuosto, Roberto Zunino: Contracts in distributed systems ICE 2011: 130-147
27		Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino: Call-by-Contract for Service Discovery, Orchestration and Recovery. Results of the SENSORIA Project 2011: 232-261
26		Massimo Bartoletti, Luís Caires, Ivan Lanese, Franco Mazzanti, Davide Sangiorgi, Hugo Torres Vieira, Roberto Zunino: Tools and Verification. Results of the SENSORIA Project 2011: 408-427
	2010
25		Massimo Bartoletti, Roberto Zunino: Primitives for Contract-based Synchronization ICE 2010: 67-82
24		Massimo Bartoletti, Roberto Zunino: A Calculus of Contracting Processes. LICS 2010: 332-341
23		Massimo Bartoletti, Roberto Zunino: Static Enforcement of Service Deadlines. SEFM 2010: 320-324
	2009
22		Massimo Bartoletti: Usage Automata. ARSPA-WITS 2009: 52-69
21		Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino: nu-Types for Effects and Freshness Analysis. ICTAC 2009: 80-95
20		Massimo Bartoletti, Roberto Zunino: A Logic for Contracts. ICTCS 2009: 34-37
19		Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino: Local policies for resource usage analysis. ACM Trans. Program. Lang. Syst. 31(6): (2009)
18		Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino: Hard Life with Weak Binders. Electr. Notes Theor. Comput. Sci. 242(1): 49-72 (2009)
17		Massimo Bartoletti, Gabriele Costa, Roberto Zunino: Jalapa: Securing Java with Local Policies: Tool Demonstration. Electr. Notes Theor. Comput. Sci. 253(5): 145-151 (2009)
16		Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari: Planning and verifying service composition. Journal of Computer Security 17(5): 799-837 (2009)
15		Massimo Bartoletti, Gabriele Costa, Pierpaolo Degano, Fabio Martinelli, Roberto Zunino: Securing Java with Local Policies. Journal of Object Technology 8(4): 5-32 (2009)
	2008
14		Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino: Model Checking Usage Policies. TGC 2008: 19-35
13		Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino: Semantics-Based Design for Secure Web Services. IEEE Trans. Software Eng. 34(1): 33-49 (2008)
	2007
12		Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino: Secure Service Orchestration. FOSAD 2007: 24-74
11		Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino: Types and Effects for Resource Usage Analysis. FoSSaCS 2007: 32-47
	2006
10		Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari: Types and Effects for Secure Service Orchestration. CSFW 2006: 57-69
9		Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari: Security Issues in Service Composition. FMOODS 2006: 1-16
	2005
8		Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari: Enforcing Secure Service Composition. CSFW 2005: 211-223
7		Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari: History-Based Access Control with Local Policies. FoSSaCS 2005: 316-332
6		Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari: Checking Risky Events Is Enough for Local Policies. ICTCS 2005: 97-112
5		Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari: Policy framings for access control. WITS 2005: 5-11
	2004
4		Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari: Program Transformations under Dynamic Security Policies. Electr. Notes Theor. Comput. Sci. 99: 49-86 (2004)
3		Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari: Stack inspection and secure program transformations. Int. J. Inf. Sec. 2(3-4): 187-217 (2004)
	2003
2		Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari: Security-Aware Program Transformations. ICTCS 2003: 355-368
	2001
1		Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari: Static Analysis for Stack Inspection. Electr. Notes Theor. Comput. Sci. 54: 69-80 (2001)

Coauthor Index

1	Luís Caires	[26]
2	Gabriele Costa	[15] [17]
3	Pierpaolo Degano	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [18] [19] [21] [27]
4	Gian Luigi Ferrari (GianLuigi Ferrari)	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [16] [18] [19] [21] [27]
5	Ivan Lanese	[26]
6	Fabio Martinelli	[15]
7	Franco Mazzanti	[26]
8	Davide Sangiorgi	[26]
9	Emilio Tuosto	[28] [29]
10	Hugo Torres Vieira	[26]
11	Roberto Zunino	[11] [12] [13] [14] [15] [17] [18] [19] [20] [21] [23] [24] [25] [26] [27] [28] [29]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page