Seguir
Martin Hruška
Martin Hruška
Afiliación desconocida
No hay ninguna dirección de correo electrónico verificada.
Título
Citado por
Citado por
Año
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
142020
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
142018
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
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
102015
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
82017
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
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
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
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
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
12022
Efficient Algorithms for Finite Automata
M Hruška
Bakalářská práce, FIT VUT, 2013
12013
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
2024
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20