| |
| 2009 | ||
|---|---|---|
| 5 | EE | Clément Hurlin: Specifying and checking protocols of multithreaded classes. SAC 2009: 587-592 |
| 2008 | ||
| 4 | EE | Christian Haack, Clément Hurlin: Separation Logic Contracts for a Java-Like Language with Fork/Join. AMAST 2008: 199-215 |
| 3 | EE | 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 | EE | 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] |
| 3 | Marieke Huisman | [3] |
| 4 | Joseph Kiniry (Joseph R. Kiniry) | [1] |