Neveřejný sektor - Přímé kontrakty - smluvní výzkum, neveřejné zdroje
- whole funder (2014-06-26 - 2020-12-31)

Czech

Vojnar Tomáš, prof. Ing., Ph.D. - principal person responsible

Research Centre of Information Technology
- beneficiary (2015-07-30 - 2020-12-31)

VOJNAR, T. Souhrnná výzkumná zpráva k projektu Zlepšování kvality software za rok 2015. Brno: Red Hat Czech s.r.o., 2015. s. 0-0.
Detail

VOJNAR, T. Souhrnná výzkumná zpráva k projektu Zlepšování kvality software za rok 2016. Brno: Red Hat Czech s.r.o., 2016. s. 0-0.
Detail

VOJNAR, T. Souhrnná výzkumná zpráva k projektu Zlepšování kvality software za rok 2017. Brno: Red Hat Czech s.r.o., 2017. s. 0-0.
Detail

ŠILLING, P.; MALÍK, V.; VOJNAR, T. Applying Custom Patterns in Semantic Equality Analysis. In Networked Systems. Lecture Notes in Computer Science. Cham: Springer Nature Switzerland AG, 2022. p. 265-282. ISBN: 978-3-031-17436-0.
Detail

VOJNAR, T. Souhrnná výzkumná zpráva k projektu Zlepšování kvality software za rok 2019. Brno: Red Hat Czech s.r.o., 2019. s. 0-0.
Detail

MALÍK, V.; VOJNAR, T. Automatically Checking Semantic Equivalence between Versions of Large-Scale C Projects. In 2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST). Porto de Galinhas: Institute of Electrical and Electronics Engineers, 2021. p. 329-339. ISBN: 978-1-7281-6837-1.
Detail

VOJNAR, T. Souhrnná výzkumná zpráva k projektu Zlepšování kvality software za rok 2018. Brno: Red Hat, 2018. s. 0-0.
Detail