Laurent Hubert

According to our database, Laurent Hubert authored at least 8 papers between 2007 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

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

Proceedings of the 23rd Americas Conference on Information Systems, 2017

2013

Authentication and Secured Execution for the Infrastructure-as-a-Service Layer of the Cloud Computing Model.

Laurent Hubert, Renaud Sirdey

Proceedings of the Eighth International Conference on P2P, 2013

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

Proceedings of the Formal Verification of Object-Oriented Software, 2010

Enforcing Secure Object Initialization in Java.

Laurent Hubert, Thomas P. Jensen, Vincent Monfort, David Pichardie

Proceedings of the Computer Security, 2010

2009

Soundly Handling Static Fields: Issues, Semantics and Analysis.

Laurent Hubert, David Pichardie

Proceedings of the Fourth Workshop on Bytecode Semantics, 2009

2008

A non-null annotation inferencer for Java bytecode.

Laurent Hubert

Proceedings of the 8th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, 2008

Semantic Foundations and Inference of Non-null Annotations.

Laurent Hubert, Thomas P. Jensen, David Pichardie

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2008

2007

Verification of Java Bytecode Using Analysis and Transformation of Logic Programs.

Elvira Albert, Miguel Gómez-Zamalloa, Laurent Hubert, Germán Puebla

Proceedings of the Practical Aspects of Declarative Languages, 9th International Symposium, 2007