Giuseppe Lettieri

	2008
13		Cinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini, Paolo Masci: Decomposing bytecode verification by abstract interpretation. ACM Trans. Program. Lang. Syst. 31(1): (2008)
	2006
12		Gianluca Dini, Giuseppe Lettieri, Lanfranco Lopriore: Caching and prefetching algorithms for programs with looping reference patterns. Comput. J. 49(1): 42-61 (2006)
11		Cinzia Bernardeschi, Giuseppe Lettieri, Luca Martini, Paolo Masci: Using Control Dependencies for Space-Aware Bytecode Verification. Comput. J. 49(2): 234-248 (2006)
10		Cinzia Bernardeschi, Giuseppe Lettieri, Luca Martini, Paolo Masci: Using postdomination to reduce space requirements of data flow analysis. Inf. Process. Lett. 98(1): 11-18 (2006)
	2005
9		Cinzia Bernardeschi, Giuseppe Lettieri, Luca Martini, Paolo Masci: A Space-Aware Bytecode Verifier for Java Cards. Electr. Notes Theor. Comput. Sci. 141(1): 237-254 (2005)
	2004
8		Cinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri: Concrete and Abstract Semantics to Check Secure Information Flow in Concurrent Programs. Fundam. Inform. 60(1-4): 81-98 (2004)
7		Cinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini: Checking secure information flow in Java bytecode by code transformation and standard bytecode verification. Softw., Pract. Exper. 34(13): 1225-1255 (2004)
	2003
6		Nicoletta De Francesco, Giuseppe Lettieri: Checking security properties by model checking. Softw. Test., Verif. Reliab. 13(3): 181-196 (2003)
	2002
5		Cinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri: Using Standard Verifier to Check Secure Information Flow in Java Bytecode. COMPSAC 2002: 850-855
4		Cinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri: An abstract semantics tool for secure information flow of stack-based assembly programs. Microprocessors and Microsystems 26(8): 391-398 (2002)
	2000
3		Gianluca Dini, Giuseppe Lettieri, Lanfranco Lopriore: An Overview of Ulisse, a Distributed Single Address Space System. POS 2000: 215-227
	1999
2		Gianluca Dini, Giuseppe Lettieri, Lanfranco Lopriore: Recoverable-Persistence in a Distributed Single Address Space. Applied Informatics 1999: 477-480
1		Gianluca Dini, Giuseppe Lettieri, Lanfranco Lopriore: Implementing a Distributed Single Address Space in the Presence of Failures. PDPTA 1999: 355-361

Coauthor Index

1	Cinzia Bernardeschi	[4] [5] [7] [8] [9] [10] [11] [13]
2	Gianluca Dini	[1] [2] [3] [12]
3	Nicoletta De Francesco	[4] [5] [6] [7] [8] [13]
4	Lanfranco Lopriore	[1] [2] [3] [12]
5	Luca Martini	[7] [9] [10] [11] [13]
6	Paolo Masci	[9] [10] [11] [13]