| |
| 2008 | ||
|---|---|---|
| 3 | EE | Zdenek Letko, Tomás Vojnar, Bohuslav Krena: AtomRace: data race and atomicity violation detector and healer. PADTAD 2008: 7 |
| 2007 | ||
| 2 | EE | Bohuslav Krena, Zdenek Letko, Rachel Tzoref, Shmuel Ur, Tomás Vojnar: Healing data races on-the-fly. PADTAD 2007: 54-64 |
| 2005 | ||
| 1 | EE | Milan Ceska, Bohuslav Krena, Tomás Vojnar: Parallel State Space Generation and Exploration on Shared-Memory Architectures. EUROCAST 2005: 275-280 |
| 1 | Milan Ceska | [1] |
| 2 | Zdenek Letko | [2] [3] |
| 3 | Rachel Tzoref | [2] |
| 4 | Shmuel Ur | [2] |
| 5 | Tomás Vojnar | [1] [2] [3] |