Follow
Bohuslav Křena
Bohuslav Křena
Unknown affiliation
Verified email at mensa.cz
Title
Cited by
Cited by
Year
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
872007
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
542008
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
432010
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
382012
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
182019
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
182009
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
182009
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
172015
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
162012
Automated formal analysis and verification: an overview
B Křena, T Vojnar
International Journal of General Systems 42 (4), 335-365, 2013
152013
Úvod do softwarového inženýrství-Studijní opora
B Křena, R Kočí
FIT VUT v Brně, Interní materiál, Prosinec, 2010
152010
Noise injection heuristics for concurrency testing
B Křena, Z Letko, T Vojnar
Mathematical and Engineering Methods in Computer Science: 7th International …, 2012
14*2012
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
142011
Type Analysis in object-oriented petri Nets
B Krena, T Vojnar
Proceedings of 4th International Conference on Information System Modelling …, 2001
142001
Discovering concurrency errors
JM Lourenço, J Fiedor, B Křena, T Vojnar
Lectures on Runtime Verification: Introductory and Advanced Topics, 34-60, 2018
122018
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
122014
Úvod do softwarového inženýrství
B Křena, R Kočí
Študijní opora. FIT VUT Brno, 2006
112006
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
82009
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
82008
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
72017
The system can't perform the operation now. Try again later.
Articles 1–20