Bohuslav Krena
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
5
Active years
2007–2024
Best venue rank
B
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ICLP | Extended Abstract: Early Validation of High-level System Requirements with Event Calculus and Answer Set Programming. | Ondrej Vascek, Joaqun Arias, Jan Fiedor, Gopal Gupta, Brendan Hall, Bohuslav Krena, Brian Larson, Sarat Chandra Varanasi, Toms Vojnar |
| 2018 | DSD | The AQUAS ECSEL Project. | Luigi Pomante, Bohuslav Krena, Toms Vojnar, Filip Veljkovic, Pacome Magnin |
| 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 |
| 2011 | RV | Coverage Metrics for Saturation-Based and Search-Based Testing of Concurrent Software. | Bohuslav Krena, Zdenek Letko, Toms Vojnar |
| 2010 | ISSTA | A platform for search-based testing of concurrent software. | Bohuslav Krena, Zdenek Letko, Toms Vojnar, Shmuel Ur |
| 2009 | RV | A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and Runtime Healing. | Bohuslav Krena, Zdenek Letko, Yarden Nir-Buchbinder, Rachel Tzoref-Brill, Shmuel Ur, Toms Vojnar |
| 2008 | ISSTA | AtomRace: data race and atomicity violation detector and healer. | Zdenek Letko, Toms Vojnar, Bohuslav Krena |
| 2007 | ISSTA | Healing data races on-the-fly. | Bohuslav Krena, Zdenek Letko, Rachel Tzoref, Shmuel Ur, Toms Vojnar |