Symbiotic 7: Integration of Predator and More: (Competition Contribution) M Chalupa, T Jašek, L Tomovič, M Hruška, V Šoková, P Ayaziová, ... Tools and Algorithms for the Construction and Analysis of Systems: 26th …, 2020 | 14 | 2020 |
Template-based verification of heap-manipulating programs V Malík, M Hruska, P Schrammel, T Vojnar 2018 Formal Methods in Computer Aided Design (FMCAD), 1-9, 2018 | 14 | 2018 |
2LS: Heap Analysis and Memory Safety: (Competition Contribution) V Malík, P Schrammel, T Vojnar International Conference on Tools and Algorithms for the Construction and …, 2020 | 13 | 2020 |
Forester: Shape Analysis Using Tree Automata: (Competition Contribution) L Holík, M Hruška, O Lengál, A Rogalewicz, J Šimáček, T Vojnar Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015 | 10 | 2015 |
Counterexample validation and interpolation-based refinement for forest automata L Holík, M Hruška, O Lengál, A Rogalewicz, T Vojnar Verification, Model Checking, and Abstract Interpretation: 18th …, 2017 | 8 | 2017 |
Forester: From heap shapes to automata predicates L Holık, M Hruška, O Lengál, A Rogalewicz, J Šimácek, T Vojnar Proceedings of TACAS, 365-369, 2017 | 7 | 2017 |
Forester: From Heap Shapes to Automata Predicates: (Competition Contribution) L Holík, M Hruška, O Lengál, A Rogalewicz, J Šimáček, T Vojnar Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017 | 6 | 2017 |
libVATA-a C++ library for efficient manipulation with non-deterministic finite (tree) automata O Lengál, J Simácek, T Vojnar, M Hruska, L Holık URL: https://github. com/ondrik/libvata, 0 | 6 | |
Reasoning about regular properties: A comparative study T Fiedor, L Holík, M Hruška, A Rogalewicz, J Síč, P Vargovčík International Conference on Automated Deduction, 286-306, 2023 | 2 | 2023 |
Run Forester, Run Backwards! (Competition Contribution) L Holík, M Hruška, O Lengál, A Rogalewicz, J Šimáček, T Vojnar Tools and Algorithms for the Construction and Analysis of Systems: 22nd …, 2016 | 2 | 2016 |
Verification of pointer programs based on forest automata M Hruška MSc. thesis, Brno University of Technology, 2015 | 2 | 2015 |
Run Forester, Run Backwards!(Competition Contribution) L Holık, M Hruška, O Lengál, A Rogalewicz, J Šimácek, T Vojnar Proc. of TACAS 16, 0 | 2 | |
Mata: A Fast and Simple Finite Automata Library D Chocholatý, T Fiedor, V Havlena, L Holík, M Hruška, O Lengál, J Síč International Conference on Tools and Algorithms for the Construction and …, 2024 | 1 | 2024 |
Mata, a Fast and Simple Finite Automata Library (Technical Report) D Chocholatý, T Fiedor, V Havlena, L Holík, M Hruška, O Lengál, J Síč arXiv e-prints, arXiv: 2310.10136, 2023 | 1 | 2023 |
Orchestrating Digital Twins for Distributed Manufacturing Execution Systems T Fiedor, M Hruška, A Smrčka International Conference on Computer Aided Systems Theory, 223-231, 2022 | 1 | 2022 |
Efficient Algorithms for Finite Automata M Hruška Bakalářská práce, FIT VUT, 2013 | 1 | 2013 |
Towards Efficient Shape Analysis with Tree Automata M Hruška, L Holík International Conference on Networked Systems, 206-214, 2021 | | 2021 |
Software pro měření a vyhodnocení výkonnostních parametrů P Čeleda, A Tomči, D Iľkovič, M Madzia, J Ziková, A Smrčka, T Fiedor, ... | | 2021 |
Forester: From Heap Shapes to Automata Predicates L Holík, M Hruška, O Lengál, A Rogalewicz, J Šimáček, T Vojnar International Conference on Tools and Algorithms for the Construction and …, 2017 | | 2017 |
FORESTER: Preserve the Forests!(Competition L Holık, M Hruška, O Lengál, A Rogalewicz, J Šimácek, T Vojnar | | |