Laurent Hubert

	2010
11		Laurent Hubert, Thomas P. Jensen, Vincent Monfort, David Pichardie: Enforcing Secure Object Initialization in Java. ESORICS 2010: 101-115
10		Laurent Hubert, Nicolas Barré, Frédéric Besson, Delphine Demange, Thomas P. Jensen, Vincent Monfort, David Pichardie, Tiphaine Turpin: Sawja: Static Analysis Workshop for Java. FoVeOOS 2010: 92-106
9		Laurent Hubert, Thomas P. Jensen, Vincent Monfort, David Pichardie: Enforcing Secure Object Initialization in Java CoRR abs/1007.3133: (2010)
8		Laurent Hubert: A Non-Null Annotation Inferencer for Java Bytecode CoRR abs/1007.3183: (2010)
7		Laurent Hubert, David Pichardie: Soundly Handling Static Fields: Issues, Semantics and Analysis CoRR abs/1007.3249: (2010)
6		Elvira Albert, Miguel Gómez-Zamalloa, Laurent Hubert, German Puebla: Verification of Java Bytecode using Analysis and Transformation of Logic Programs CoRR abs/1007.3250: (2010)
5		Laurent Hubert, Nicolas Barré, Frédéric Besson, Delphine Demange, Thomas P. Jensen, Vincent Monfort, David Pichardie, Tiphaine Turpin: Sawja: Static Analysis Workshop for Java CoRR abs/1007.3353: (2010)
	2009
4		Laurent Hubert, David Pichardie: Soundly Handling Static Fields: Issues, Semantics and Analysis. Electr. Notes Theor. Comput. Sci. 253(5): 15-30 (2009)
	2008
3		Laurent Hubert, Thomas P. Jensen, David Pichardie: Semantic Foundations and Inference of Non-null Annotations. FMOODS 2008: 132-149
2		Laurent Hubert: A non-null annotation inferencer for Java bytecode. PASTE 2008: 36-42
	2007
1		Elvira Albert, Miguel Gómez-Zamalloa, Laurent Hubert, Germán Puebla: Verification of Java Bytecode Using Analysis and Transformation of Logic Programs. PADL 2007: 124-139

Coauthor Index

1	Elvira Albert	[1] [6]
2	Nicolas Barré	[5] [10]
3	Frédéric Besson	[5] [10]
4	Delphine Demange	[5] [10]
5	Miguel Gómez-Zamalloa	[1] [6]
6	Thomas P. Jensen	[3] [5] [9] [10] [11]
7	Vincent Monfort	[5] [9] [10] [11]
8	David Pichardie	[3] [4] [5] [7] [9] [10] [11]
9	Germán Puebla (German Puebla)	[1] [6]
10	Tiphaine Turpin	[5] [10]

Colors in the list of coauthors

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page