Laurent Hubert

Publication Activity (10 Years)

Years Active: 2007-2017
Publications (10 Years): 1

Top Topics

Information Systems

Cloud Computing

Top Venues

Publications

Denis Vuckovac, Laurent Hubert, Pascal Fritzen, Klaus Ludwig Fuchs, Alexander Ilic
Public Feedback for Publicly Used Information Systems - Supporting Adoption of a Mobile Self-Checkout Application. AMCIS (2017)
Laurent Hubert, Renaud Sirdey
Authentication and Secured Execution for the Infrastructure-as-a-Service Layer of the Cloud Computing Model. 3PGCIC (2013)
Laurent Hubert, Thomas P. Jensen, Vincent Monfort, David Pichardie
Enforcing Secure Object Initialization in Java. ESORICS (2010)
Laurent Hubert, David Pichardie
Soundly Handling Static Fields: Issues, Semantics and Analysis CoRR (2010)
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 (2010)
Laurent Hubert, Thomas P. Jensen, Vincent Monfort, David Pichardie
Enforcing Secure Object Initialization in Java CoRR (2010)
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)
Laurent Hubert
A Non-Null Annotation Inferencer for Java Bytecode CoRR (2010)
Elvira Albert, Miguel Gómez-Zamalloa, Laurent Hubert, German Puebla
Verification of Java Bytecode using Analysis and Transformation of Logic Programs CoRR (2010)
Laurent Hubert, David Pichardie
Soundly Handling Static Fields: Issues, Semantics and Analysis. Electron. Notes Theor. Comput. Sci. 253 (5) (2009)
Laurent Hubert, Thomas P. Jensen, David Pichardie
Semantic Foundations and Inference of Non-null Annotations. FMOODS (2008)
Laurent Hubert
A non-null annotation inferencer for Java bytecode. PASTE (2008)
Elvira Albert, Miguel Gómez-Zamalloa, Laurent Hubert, Germán Puebla
Verification of Java Bytecode Using Analysis and Transformation of Logic Programs. PADL (2007)