3268 documents avec fichiers associés – 5421 références bibliographiques  [english version]
.:. Listes > Par auteur > Hubert .:.
4 documents classés par :
fulltext access Sawja: Static Analysis Workshop for Java
Hubert L., Barré N., Besson F., Demange D., Jensen T., Monfort V., Pichardie D., Turpin T.
The International Conference on Formal Verification of Object-Oriented Software, France (2010) [inria-00504047 - version 1]
fulltext access Enforcing Secure Object Initialization in Java
Hubert L., Jensen T., Monfort V., Pichardie D.
15th European Symposium on Research in Computer Security (ESORICS), Grèce (2010) [inria-00503953 - version 1]
fulltext access Soundly Handling Static Fields: Issues, Semantics and Analysis
Hubert L., Pichardie D.
Electronic Notes in Theoretical Computer Science 253, 5 (2009) 15 - 30 [inria-00504028 - version 2]
fulltext access Soundly Handling Static Fields: Issues, Semantics and Analysis
Hubert L., Pichardie D.
Electronic Notes in Theoretical Computer Science 253, 5 (2009) 15 - 30 [inria-00504028 - version 1]
fulltext access A Non-Null Annotation Inferencer for Java Bytecode
Hubert L.
PASTE: Program analysis for software tools and engineering, États-Unis (2008) [inria-00504006 - version 1]