Bohuslav Křena
Bohuslav Křena
Affiliazione sconosciuta
Email verificata su mensa.cz
Titolo
Citata da
Citata da
Anno
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
772007
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
462008
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
412010
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
292011
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
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
142015
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
Noise injection heuristics for concurrency testing
B Křena, Z Letko, T Vojnar
International Doctoral Workshop on Mathematical and Engineering Methods in …, 2011
13*2011
Úvod do softwarového inženýrství: Studijní opora
B Křena, R Kočí
Brno: VUT FIT, 2006
132006
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
122014
Type Analysis in object-oriented petri Nets
B Krena, T Vojnar
Proceedings of 4th International Conference on Information System Modelling …, 2001
122001
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
112011
Úvod do softwarového inženýrství
B Křena, R Kočí
Študijní opora. FIT VUT Brno, 2006
112006
Automated formal analysis and verification: an overview
B Křena, T Vojnar
International Journal of General Systems 42 (4), 335-365, 2013
102013
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
72019
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
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č
Proc. of Bytecode, 1-14, 2008
72008
Il sistema al momento non puň eseguire l'operazione. Riprova piů tardi.
Articoli 1–20