Luca Martini

	2012
15		Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini: Efficient Genotype Elimination via Adaptive Allele Consolidation. IEEE/ACM Trans. Comput. Biology Bioinform. 9(4): 1180-1189 (2012)
	2010
14		Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini: Celer: an Efficient Program for Genotype Elimination AMCA-POP 2010: 56-70
13		Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini, Gigliola Vaglini: Partial model checking via abstract interpretation. Inf. Process. Lett. 110(3): 99-103 (2010)
12		Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini: Using abstract interpretation to add type checking for interfaces in Java bytecode verification. Theor. Comput. Sci. 411(22-24): 2174-2201 (2010)
	2008
11		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)
	2007
10		Nicoletta De Francesco, Luca Martini: Instruction-level security analysis for information flow in stack-based assembly languages. Inf. Comput. 205(9): 1334-1370 (2007)
9		Nicoletta De Francesco, Luca Martini: Instruction-level security typing by abstract interpretation. Int. J. Inf. Sec. 6(2-3): 85-106 (2007)
	2006
8		Cinzia Bernardeschi, Giuseppe Lettieri, Luca Martini, Paolo Masci: Using Control Dependencies for Space-Aware Bytecode Verification. Comput. J. 49(2): 234-248 (2006)
7		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
6		Nicoletta De Francesco, Luca Martini: Abstract Interpretation to Check Secure Information Flow in Programs with Input-Output Security Annotations. Formal Aspects in Security and Trust 2005: 63-80
5		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
4		Cinzia Bernardeschi, Luca Martini, Paolo Masci: Java bytecode verification with dynamic structures. IASTED Conf. on Software Engineering and Applications 2004: 559-564
3		Cinzia Bernardeschi, Luca Martini: Enforcement of applet boundaries in Java card systems. IASTED Conf. on Software Engineering and Applications 2004: 96-101
2		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
1		Cinzia Bernardeschi, Nicoletta De Francesco, Luca Martini: Efficient Bytecode Verification Using Immediate Postdominators in Control Flow Graphs: Extended Abstract. OTM Workshops 2003: 425-436

Coauthor Index

1	Cinzia Bernardeschi	[1] [2] [3] [4] [5] [7] [8] [11]
2	Nicoletta De Francesco	[1] [2] [6] [9] [10] [11] [12] [13] [14] [15]
3	Giuseppe Lettieri	[2] [5] [7] [8] [11] [12] [13] [14] [15]
4	Paolo Masci	[4] [5] [7] [8] [11]
5	Gigliola Vaglini	[13]

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page