Follow
Martin Hruška
Title
Cited by
Cited by
Year
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
132020
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
122020
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
112018
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
92015
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
72017
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
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: (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
62017
Reasoning about Regular Properties: A Comparative Study
T Fiedor, L Holík, M Hruška, A Rogalewicz, J Síč, P Vargovčík
arXiv preprint arXiv:2304.05064, 2023
22023
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
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
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
12023
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íč
arXiv preprint arXiv:2310.10136, 2023
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
2022
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
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
The system can't perform the operation now. Try again later.
Articles 1–20