Hana PluháÄková
Ph.D student
Department of Intelligent Systems
Central European Institute of Technology
Czech Republic
Biography
Hana PluháÄková is currently a Ph.D student in the Department of Intelligent Systems Central European Institute of Technology, Czech republic. She published 4 research papers.
Research Interest
Automated Analysis and Verification Research Group - VeriFIT.
Publications
-
DUDKA Vendula, KŘENA Bohuslav, LETKO ZdenÄ›k, PLUHÃÄŒKOVà Hana and VOJNAR Tomáš. Multi-objective Genetic Optimization for Noise-Based Testing of Concurrent Software. In: SSBSE'14. Heidelberg: Springer Verlag, 2014, pp. 107-122. ISBN 978-3-319-09939-2.
-
DUDKA Vendula, KŘENA Bohuslav, LETKO ZdenÄ›k, PLUHÃÄŒKOVà Hana and VOJNAR Tomáš. Multi-objective Genetic Optimization for Noise-Based Testing of Concurrent Software. Proceedings of MEMICS'14. Brno, 2014.
-
AVROS Renata, DUDKA Vendula, KŘENA Bohuslav, LETKO ZdenÄ›k, PLUHÃÄŒKOVà Hana, UR Shmuel, VOJNAR Tomáš and VOLKOVICH Zeev. Boosted Decision Trees for Behaviour Mining of Concurrent Programs. In: Proceedings of MEMICS'14. Brno: NOVPRESS s.r.o., 2014, pp. 15-27. ISBN 978-80-214-5022-6.
