Vendula Hrub
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2011–2014
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | SSBSE | Multi-objective Genetic Optimization for Noise-Based Testing of Concurrent Software. | Vendula Hrub, Bohuslav Krena, Zdenek Letko, Hana Pluhckov, Toms Vojnar |
| 2012 | SSBSE | Testing of Concurrent Programs Using Genetic Algorithms. | Vendula Hrub, Bohuslav Krena, Zdenek Letko, Shmuel Ur, Toms Vojnar |
| 2011 | RV | DA-BMC: A Tool Chain Combining Dynamic Analysis and Bounded Model Checking. | Jan Fiedor, Vendula Hrub, Bohuslav Krena, Toms Vojnar |