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
762007
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
452008
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
382010
Coverage metrics for saturation-based and search-based testing of concurrent software
B Křena, Z Letko, T Vojnar
International Conference on Runtime Verification, 177-192, 2011
282011
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
International Workshop on Runtime Verification, 101-114, 2009
162009
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
International Workshop on Runtime Verification, 101-114, 2009
162009
Testing of concurrent programs using genetic algorithms
V Hrubá, B Křena, Z Letko, S Ur, T Vojnar
International Symposium on Search Based Software Engineering, 152-167, 2012
142012
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
132015
Type Analysis in Object-Oriented Petri Nets
B Krena, T Vojnar
Proceedings of 4th International Conference on Information System Modelling …, 2001
112001
Multi-objective genetic optimization for noise-based testing of concurrent software
V Hrubá, B Křena, Z Letko, H Pluháčková, T Vojnar
International Symposium on Search Based Software Engineering, 107-122, 2014
102014
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
102011
Úvod do softwarového inženýrství: Studijní opora
B KŘENA, R KOČÍ
Brno: VUT FIT, 2006
102006
Úvod do softwarového inženýrství
B Křena, R Kočí
Študijní opora. FIT VUT Brno, 2006
102006
Automated formal analysis and verification: an overview
B Křena, T Vojnar
International Journal of General Systems 42 (4), 335-365, 2013
82013
Noise injection heuristics for concurrency testing
B Křena, Z Letko, T Vojnar
International Doctoral Workshop on Mathematical and Engineering Methods in …, 2011
82011
Discovering concurrency errors
JM Lourenço, J Fiedor, B Křena, T Vojnar
Lectures on Runtime Verification, 34-60, 2018
72018
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
Noise injection heuristics for concurrency testing
Z Letko, T Vojnar
Proceedings of the 7th international conference on Mathematical and …, 2011
72011
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
72009
Verifying LTL properties of bytecode with symbolic execution
P Braione, G Denaro, B Krena, M Pezzč
Third Workshop on Bytecode Semantics, Verification, Analysis and …, 2008
72008
The system can't perform the operation now. Try again later.
Articles 1–20