C. Hurlin

CADE-21 The 21 st Conference on Automated Deduction The Isabelle Workshop 2007 ( Isabelle ’ 07 )

Stephan Merz, T. Mossakowski, P. Fontaine, 2007 .

Reasoning about Java's Reentrant Locks

Marieke Huisman, Christian Haack, Clément Hurlin, 2008, APLAS.

Practical Proof Reconstruction for First-order Logic and Set-Theoretical Constructions

Stephan Merz, Tjark Weber, Pascal Fontaine, 2006 .

Automatic Parallelization and Optimization of Programs by Proof Rewriting

Clément Hurlin, C. Hurlin, 2009, SAS.

Specification and Verification of Multithreaded Object-Oriented Programs with Separation Logic

Clément Hurlin, C. Hurlin, 2009 .

Permission-Based Separation Logic for Multithreaded Java Programs

Marieke Huisman, Christian Haack, Clément Hurlin, 2014, Log. Methods Comput. Sci..

Separation Logic Contracts for a Java-Like Language with Fork/Join

Christian Haack, Clément Hurlin, C. Haack, 2008, AMAST.

Permission Specifications for Common Multithreaded Programming Patterns

Marieke Huisman, Clément Hurlin, M. Huisman, 2007 .