Verification of Java Bytecode Using Analysis and Transformation of Logic Programs. - Elvira Albert; Miguel Gómez-Zamalloa; Laurent Hubert; Germán Puebla (PADL, 2007)

Semantic Foundations and Inference of Non-null Annotations. - Laurent Hubert; Thomas P. Jensen; David Pichardie (FMOODS, 2008)

A non-null annotation inferencer for Java bytecode. - Laurent Hubert (PASTE, 2008)

Soundly Handling Static Fields: Issues, Semantics and Analysis. - Laurent Hubert; David Pichardie (BYTECODE@ETAPS, 2009)

Enforcing Secure Object Initialization in Java. - Laurent Hubert; Thomas P. Jensen; Vincent Monfort; David Pichardie (ESORICS, 2010)

Sawja: Static Analysis Workshop for Java. - Laurent Hubert; Nicolas Barré; Frédéric Besson; Delphine Demange; Thomas P. Jensen; Vincent Monfort; David Pichardie; Tiphaine Turpin (FoVeOOS, 2010)

Authentication and Secured Execution for the Infrastructure-as-a-Service Layer of the Cloud Computing Model. - Laurent Hubert; Renaud Sirdey (3PGCIC, 2013)

Public Feedback for Publicly Used Information Systems - Supporting Adoption of a Mobile Self-Checkout Application. - Denis Vuckovac; Laurent Hubert; Pascal Fritzen; Klaus Ludwig Fuchs; Alexander Ilic (AMCIS, 2017)