| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2010 | |
|---|---|---|
| 8 |      | Clément Hurlin, Hélène Kirchner: Semi-automatic Synthesis of Security Policies by Invariant-Guided Abduction. Formal Aspects in Security and Trust 2010: 157-175 |
| 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] |
| 5 | Hélène Kirchner | [8] |
Colors in the list of coauthors
Last update Thu May 31 18:55:10 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page