 | 2009 |
|---|
| 5 |       | Vendula Hrubá,
Bohuslav Krena,
Tomás Vojnar:
Self-healing Assurance Based on Bounded Model Checking.
EUROCAST 2009: 295-303 |
| 4 | | 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 |
|---|
| 3 | | Zdenek Letko,
Tomás Vojnar,
Bohuslav Krena:
AtomRace: data race and atomicity violation detector and healer.
PADTAD 2008: 7 |
| 2007 |
|---|
| 2 | | Bohuslav Krena,
Zdenek Letko,
Rachel Tzoref,
Shmuel Ur,
Tomás Vojnar:
Healing data races on-the-fly.
PADTAD 2007: 54-64 |
| 2005 |
|---|
| 1 | | Milan Ceska,
Bohuslav Krena,
Tomás Vojnar:
Parallel State Space Generation and Exploration on Shared-Memory Architectures.
EUROCAST 2005: 275-280 |
