Integrating Static Checking and Interactive Verification: Supporting Multiple Theories and Provers in Verification. - Joseph R. Kiniry; Patrice Chalin; Clément Hurlin (VSTTE, 2005)

Separation Logic Contracts for a Java-Like Language with Fork/Join. - Christian Haack; Clément Hurlin (AMAST, 2008)

Reasoning about Java's Reentrant Locks. - Christian Haack; Marieke Huisman; Clément Hurlin (APLAS, 2008)

Specifying Correct Protocols of Multithreaded Java-like Programs. - Clément Hurlin (Software Engineering Research and Practice, 2008)

Specifying and checking protocols of multithreaded classes. - Clément Hurlin (SAC, 2009)

Automatic Parallelization and Optimization of Programs by Proof Rewriting. - Clément Hurlin (SAS, 2009)

Resource Usage Protocols for Iterators. - Christian Haack; Clément Hurlin (J. Object Technol., 2009)

Specification and Verification of Multithreaded Object-Oriented Programs with Separation Logic. (Spécification et vérification de programmes orientés objets en logique de séparation). - Clément Hurlin (2009)

Semi-automatic Synthesis of Security Policies by Invariant-Guided Abduction. - Clément Hurlin; Hélène Kirchner (Formal Aspects in Security and Trust, 2010)

Permission-Based Separation Logic for Multithreaded Java Programs. - Afshin Amighi; Christian Haack; Marieke Huisman; Clément Hurlin (Log. Methods Comput. Sci., 2015)