Mgr. Bc.

Hana Šimková

Ph.D.

člen


119738/osobní číslo VUT

Publikace

  • 2018

    KŘENA Bohuslav, PLUHÁČKOVÁ Hana, UR Shmuel a VOJNAR Tomáš. Prediction of Coverage of Expensive Concurrency Metrics Using Cheaper Metrics. In: Computer Aided Systems Theory - EUROCAST 2017. 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part II, roč. 10672. Las Palmas: Springer International Publishing, 2018, s. 99-108. ISBN 978-3-319-74726-2.
    Detail

  • 2017

    AVROS Renata, DUDKA Vendula, KŘENA Bohuslav, LETKO Zdeněk, PLUHÁČKOVÁ Hana, UR Shmuel, VOJNAR Tomáš a VOLKOVICH Zeev. Boosted decision trees for behaviour mining of concurrent programmes. Concurrency and Computation: Practice and Experience, roč. 29, č. 21, 2017, s. 4268-4289. ISSN 1532-0634.
    Detail

    KOZÁK David, KŘENA Bohuslav, PLUHÁČKOVÁ Hana a VOJNAR Tomáš. Search-Based Testing Concurrent Java Programs Using the RoadRunner Analysis Framework [poster]. The proceedings of the 12th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Telč, 2017.
    Detail

  • 2014

    AVROS Renata, DUDKA Vendula, KŘENA Bohuslav, LETKO Zdeněk, PLUHÁČKOVÁ Hana, UR Shmuel, VOJNAR Tomáš a VOLKOVICH Zeev. Boosted Decision Trees for Behaviour Mining of Concurrent Programs. In: Proceedings of MEMICS'14. Brno: NOVPRESS s.r.o., 2014, s. 15-27. ISBN 978-80-214-5022-6.
    Detail

    DUDKA Vendula, KŘENA Bohuslav, LETKO Zdeněk, PLUHÁČKOVÁ Hana a VOJNAR Tomáš. Multi-objective Genetic Optimization for Noise-Based Testing of Concurrent Software. In: SSBSE'14. Lecture Notes in Computer Science, roč. 8636. Heidelberg: Springer Verlag, 2014, s. 107-122. ISBN 978-3-319-09939-2.
    Detail

    DUDKA Vendula, KŘENA Bohuslav, LETKO Zdeněk, PLUHÁČKOVÁ Hana a VOJNAR Tomáš. Multi-objective Genetic Optimization for Noise-Based Testing of Concurrent Software. Proceedings of MEMICS'14. Brno, 2014.
    Detail

  • 2013

    DUDKA Vendula, KŘENA Bohuslav, LETKO Zdeněk, PLUHÁČKOVÁ Hana a VOJNAR Tomáš. Testing Concurrent Programs Using Multi-objective Genetic Algorithms. FIT-TR-2013-05, Brno, 2013.
    Detail

Nahoru