| |
| 2008 | ||
|---|---|---|
| 3 | EE | Jaroslav Sevcík, David Aspinall: On Validity of Program Transformations in the Java Memory Model. ECOOP 2008: 27-51 |
| 2007 | ||
| 2 | EE | David Aspinall, Jaroslav Sevcík: Formalising Java's Data Race Free Guarantee. TPHOLs 2007: 22-37 |
| 1 | EE | Jaroslav Sevcík: Proving Resource Consumption of Low-level Programs Using Automated Theorem Provers. Electr. Notes Theor. Comput. Sci. 190(1): 133-147 (2007) |
| 1 | David Aspinall | [2] [3] |