Follow
Martin Hruška
Title
Cited by
Cited by
Year
Symbiotic 7: Integration of predator and more
M Chalupa, T Jašek, L Tomovič, M Hruška, V Šoková, P Ayaziová, ...
International Conference on Tools and Algorithms for the Construction and …, 2020
122020
2LS: heap analysis and memory safety
V Malík, P Schrammel, T Vojnar
International Conference on Tools and Algorithms for the Construction and …, 2020
102020
Forester: Shape analysis using tree automata
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 …, 2015
102015
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
82018
Counterexample validation and interpolation-based refinement for forest automata
L Holík, M Hruška, O Lengál, A Rogalewicz, T Vojnar
International Conference on Verification, Model Checking, and Abstract …, 2017
72017
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, 2012
72012
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
62017
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
42017
Run forester, run backwards!
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 …, 2016
22016
Verification of pointer programs based on forest automata
M Hruška
MSc. thesis, Brno University of Technology, 2015
22015
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
Towards Efficient Shape Analysis with Tree Automata
M Hruška, L Holík
International Conference on Networked Systems, 206-214, 2021
2021
Efficient Algorithms for Finite Automata
M Hruška
Bakalářská práce, FIT VUT, 2013
2013
FORESTER: Preserve the Forests!(Competition
L Holık, M Hruška, O Lengál, A Rogalewicz, J Šimácek, T Vojnar
Testing Equivalence of NFAs using Congruence
M Hruška, O Lengál, T Vojnar
The system can't perform the operation now. Try again later.
Articles 1–15