| Healing data races on-the-fly B Krena, Z Letko, R Tzoref, S Ur, T Vojnar proceedings of the 2007 ACM Workshop on Parallel and Distributed Systems …, 2007 | 92 | 2007 |
| AtomRace: data race and atomicity violation detector and healer Z Letko, T Vojnar, B Křena Proceedings of the 6th workshop on parallel and distributed systems: testing …, 2008 | 57 | 2008 |
| A platform for search-based testing of concurrent software B Křena, Z Letko, T Vojnar, S Ur Proceedings of the 8th Workshop on Parallel and Distributed Systems: Testing …, 2010 | 44 | 2010 |
| Coverage metrics for saturation-based and search-based testing of concurrent software B Křena, Z Letko, T Vojnar Runtime Verification: Second International Conference, RV 2011, San …, 2012 | 38 | 2012 |
| The AQUAS ECSEL project aggregated quality assurance for systems: Co-engineering inside and across the product life cycle L Pomante, V Muttillo, B Křena, T Vojnar, F Veljković, P Magnin, ... Microprocessors and Microsystems 69, 54-67, 2019 | 20 | 2019 |
| Advances in noise‐based testing of concurrent software J Fiedor, V Hrubá, B Křena, Z Letko, S Ur, T Vojnar Software Testing, Verification and Reliability 25 (3), 272-309, 2015 | 19 | 2015 |
| A concurrency testing tool and its plug-ins for dynamic analysis and runtime healing B Křena, Z Letko, Y Nir-Buchbinder, R Tzoref-Brill, S Ur, T Vojnar Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France …, 2009 | 18 | 2009 |
| Testing of concurrent programs using genetic algorithms V Hrubá, B Křena, Z Letko, S Ur, T Vojnar Search Based Software Engineering: 4th International Symposium, SSBSE 2012 …, 2012 | 17 | 2012 |
| Úvod do softwarového inženýrství-Studijní opora B Křena, R Kočí FIT VUT v Brně, Interní materiál, Prosinec, 2010 | 16 | 2010 |
| Automated formal analysis and verification: an overview B Křena, T Vojnar International Journal of General Systems 42 (4), 335-365, 2013 | 15 | 2013 |
| A uniform classification of common concurrency errors J Fiedor, B Křena, Z Letko, T Vojnar International Conference on Computer Aided Systems Theory, 519-526, 2011 | 15 | 2011 |
| Type Analysis in object-oriented petri Nets B Krena, T Vojnar Proceedings of 4th International Conference on Information System Modelling …, 2001 | 14 | 2001 |
| Discovering concurrency errors JM Lourenço, J Fiedor, B Křena, T Vojnar Lectures on Runtime Verification: Introductory and Advanced Topics, 34-60, 2018 | 13 | 2018 |
| Influence of noise injection heuristics on concurrency coverage Z Letko, T Vojnar, B Krena Proc. of MEMICS 11, 123-131, 2012 | 13* | 2012 |
| Multi-objective genetic optimization for noise-based testing of concurrent software V Hrubá, B Křena, Z Letko, H Pluháčková, T Vojnar Search-Based Software Engineering: 6th International Symposium, SSBSE 2014 …, 2014 | 12 | 2014 |
| Úvod do softwarového inženýrství B Křena, R Kočí Študijní opora. FIT VUT Brno, 2006 | 11 | 2006 |
| Advances in noise-based testing J Fiedor, V Hrubá, B Krena, Z Letko, S Ur, T Vojnar STVR 24 (7), 1-38, 2014 | 8 | 2014 |
| Self-healing assurance based on bounded model checking V Hrubá, B Křena, T Vojnar International Conference on Computer Aided Systems Theory, 295-303, 2009 | 8 | 2009 |
| Verifying LTL properties of bytecode with symbolic execution P Braione, G Denaro, B Krena, M Pezzè ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 1-14, 2008 | 8 | 2008 |
| Boosted decision trees for behaviour mining of concurrent programmes R Avros, V Dudka, B Křena, Z Letko, H Pluháčková, S Ur, T Vojnar, ... Concurrency and Computation: Practice and Experience 29 (21), e4268, 2017 | 7 | 2017 |
