Laurent Hubert

13 papers A 1C 1Journal 5Unranked 6
YearRankTypeTitle / Venue / Authors
2017 — conf
Public Feedback for Publicly Used Information Systems - Supporting Adoption of a Mobile Self-Checkout Application.
AMCIS
Denis Vuckovac, Laurent Hubert, Pascal Fritzen, Klaus Ludwig Fuchs, Alexander Ilic
2013 — conf
Authentication and Secured Execution for the Infrastructure-as-a-Service Layer of the Cloud Computing Model.
3PGCIC
Laurent Hubert, Renaud Sirdey
2010 J jnl
A Non-Null Annotation Inferencer for Java Bytecode
CoRR
Laurent Hubert
2010 J jnl
Enforcing Secure Object Initialization in Java
CoRR
Laurent Hubert, Thomas P. Jensen, Vincent Monfort, David Pichardie
2010 A conf
Enforcing Secure Object Initialization in Java.
ESORICS
Laurent Hubert, Thomas P. Jensen, Vincent Monfort, David Pichardie
2010 J jnl
Sawja: Static Analysis Workshop for Java
CoRR
Laurent Hubert, Nicolas Barré, Frédéric Besson, Delphine Demange, Thomas P. Jensen, Vincent Monfort, David Pichardie, Tiphaine Turpin
2010 — conf
Sawja: Static Analysis Workshop for Java.
FoVeOOS
Laurent Hubert, Nicolas Barré, Frédéric Besson, Delphine Demange, Thomas P. Jensen, Vincent Monfort, David Pichardie, Tiphaine Turpin
2010 J jnl
Soundly Handling Static Fields: Issues, Semantics and Analysis
CoRR
Laurent Hubert, David Pichardie
2010 J jnl
Verification of Java Bytecode using Analysis and Transformation of Logic Programs
CoRR
Elvira Albert, Miguel Gómez-Zamalloa, Laurent Hubert, German Puebla
2009 — conf
Soundly Handling Static Fields: Issues, Semantics and Analysis.
BYTECODE@ETAPS
Laurent Hubert, David Pichardie
2008 — conf
A non-null annotation inferencer for Java bytecode.
PASTE
Laurent Hubert
2008 — conf
Semantic Foundations and Inference of Non-null Annotations.
FMOODS
Laurent Hubert, Thomas P. Jensen, David Pichardie
2007 C conf
Verification of Java Bytecode Using Analysis and Transformation of Logic Programs.
PADL
Elvira Albert, Miguel Gómez-Zamalloa, Laurent Hubert, Germán Puebla