- CSB - MetaPress - Google - Bing - Yahoo
 | 2009 | |
|---|---|---|
| 7 |      | Clément Hurlin: Specifying and checking protocols of multithreaded classes. SAC 2009: 587-592 |
| 6 | | Clément Hurlin: Automatic Parallelization and Optimization of Programs by Proof Rewriting. SAS 2009: 52-68 |
| 5 | | Christian Haack, Clément Hurlin: Resource Usage Protocols for Iterators. Journal of Object Technology 8(4): 55-83 (2009) |
| 2008 | ||
| 4 | | Christian Haack, Clément Hurlin: Separation Logic Contracts for a Java-Like Language with Fork/Join. AMAST 2008: 199-215 |
| 3 | | Christian Haack, Marieke Huisman, Clément Hurlin: Reasoning about Java's Reentrant Locks. APLAS 2008: 171-187 |
| 2 |  | Clément Hurlin: Specifying Correct Protocols of Multithreaded Java-like Programs. Software Engineering Research and Practice 2008: 127-133 |
| 2005 | ||
| 1 | | Joseph R. Kiniry, Patrice Chalin, Clément Hurlin: Integrating Static Checking and Interactive Verification: Supporting Multiple Theories and Provers in Verification. VSTTE 2005: 153-160 |
| 1 | Patrice Chalin | [1] |
| 2 | Christian Haack | [3] [4] [5] |
| 3 | Marieke Huisman | [3] |
| 4 | Joseph Kiniry (Joseph R. Kiniry) | [1] |