| |
| 2008 | ||
|---|---|---|
| 4 | EE | Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh: Completeness and Nondeterminism in Model Checking Transactional Memories. CONCUR 2008: 21-35 |
| 3 | EE | Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh: Permissiveness in Transactional Memories. DISC 2008: 305-319 |
| 2 | EE | Rachid Guerraoui, Thomas A. Henzinger, Barbara Jobstmann, Vasu Singh: Model checking transactional memories. PLDI 2008: 372-382 |
| 2007 | ||
| 1 | EE | Dirk Beyer, Thomas A. Henzinger, Vasu Singh: Algorithms for Interface Synthesis. CAV 2007: 4-19 |
| 1 | Dirk Beyer | [1] |
| 2 | Rachid Guerraoui | [2] [3] [4] |
| 3 | Thomas A. Henzinger | [1] [2] [3] [4] |
| 4 | Barbara Jobstmann | [2] |