| 2009 | ||
|---|---|---|
| 3 | Bohuslav Krena, Zdenek Letko, Yarden Nir-Buchbinder, Rachel Tzoref-Brill, Shmuel Ur, Tomás Vojnar: A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and Runtime Healing. RV 2009: 101-114 | |
| 2008 | ||
| 2 | Zdenek Letko, Tomás Vojnar, Bohuslav Krena: AtomRace: data race and atomicity violation detector and healer. PADTAD 2008: 7 | |
| 2007 | ||
| 1 | Bohuslav Krena, Zdenek Letko, Rachel Tzoref, Shmuel Ur, Tomás Vojnar: Healing data races on-the-fly. PADTAD 2007: 54-64 | |
| 1 | Bohuslav Krena | [1] [2] [3] |
| 2 | Yarden Nir-Buchbinder (Yarden Nir) | [3] |
| 3 | Rachel Tzoref (Rachel Tzoref-Brill) | [1] [3] |
| 4 | Shmuel Ur | [1] [3] |
| 5 | Tomás Vojnar | [1] [2] [3] |