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
812007
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
482008
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
International Conference on Runtime Verification, 177-192, 2011
332011
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
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
International Workshop on Runtime Verification, 101-114, 2009
182009
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
162012
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
152019
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
152015
Noise injection heuristics for concurrency testing
B Křena, Z Letko, T Vojnar
International Doctoral Workshop on Mathematical and Engineering Methods in …, 2011
15*2011
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
132014
Automated formal analysis and verification: an overview
B Křena, T Vojnar
International Journal of General Systems 42 (4), 335-365, 2013
122013
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
122011
Type Analysis in object-oriented petri Nets
B Krena, T Vojnar
Proceedings of 4th International Conference on Information System Modelling …, 2001
122001
Úvod do softwarového inženýrství: Studijní opora
B Křena, R Kočí
Brno, Fakulta Informačních technologií VUT v Brně, 2010
112010
Úvod do softwarového inženýrství
B Křena, R Kočí
Študijní opora. FIT VUT Brno, 2006
112006
Discovering concurrency errors
JM Lourenço, J Fiedor, B Křena, T Vojnar
Lectures on Runtime Verification, 34-60, 2018
92018
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
82017
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č
Proc. of Bytecode, 1-14, 2008
82008
The system can't perform the operation now. Try again later.
Articles 1–20