Martin Hruska

According to our database, Martin Hruska authored at least 16 papers between 2004 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Automaty ve Verifikaci a Testování Software ; Automata in Software Verification and Testing.

Martin Hruska

PhD thesis, 2024

Mata: A Fast and Simple Finite Automata Library.

David Chocholatý, Tomás Fiedor, Vojtech Havlena, Lukás Holík, Martin Hruska, Ondrej Lengál, Juraj Síc

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

2023

Mata, a Fast and Simple Finite Automata Library (Technical Report).

David Chocholatý, Tomás Fiedor, Vojtech Havlena, Lukás Holík, Martin Hruska, Ondrej Lengál, Juraj Síc

CoRR, 2023

Reasoning About Regular Properties: A Comparative Study.

Tomás Fiedor, Lukás Holík, Martin Hruska, Adam Rogalewicz, Juraj Síc, Pavol Vargovcík

Proceedings of the Automated Deduction - CADE 29, 2023

2022

Orchestrating Digital Twins for Distributed Manufacturing Execution Systems.

Tomás Fiedor, Martin Hruska, Ales Smrcka

Proceedings of the Computer Aided Systems Theory - EUROCAST 2022, 2022

2021

Towards Efficient Shape Analysis with Tree Automata.

Martin Hruska, Lukás Holík

Proceedings of the Networked Systems - 9th International Conference, 2021

2020

New Insights towards High-Temperature Ethanol-Sensing Mechanism of ZnO-Based Chemiresistors.

Lesia Piliai, David Tomecek, Martin Hruska, Ivan Khalakhan, Jaroslava Nováková, Premysl Fitl, Roman Yatskiv, Jan Grym, Mykhailo Vorokhta, Iva Matolínová, Martin Vrnata

Sensors, 2020

Symbiotic 7: Integration of Predator and More - (Competition Contribution).

Marek Chalupa, Tomás Jasek, Lukás Tomovic, Martin Hruska, Veronika Soková, Paulína Ayaziová, Jan Strejcek, Tomás Vojnar

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

2019

Forester Virtual Machine.

Ondrej Lengál, Lukás Holík, Tomás Vojnar, Adam Rogalewicz, Jirí Simácek, Martin Hruska, Peter Habermehl

Dataset, July, 2019

2LS: Heap Analysis and Memory Safety (Competition Contribution).

Viktor Malík, Martin Hruska, Peter Schrammel, Tomás Vojnar

CoRR, 2019

2018

Template-Based Verification of Heap-Manipulating Programs.

Viktor Malík, Martin Hruska, Peter Schrammel, Tomás Vojnar

Proceedings of the 2018 Formal Methods in Computer Aided Design, 2018

2017

Counterexample Validation and Interpolation-Based Refinement for Forest Automata.

Lukás Holík, Martin Hruska, Ondrej Lengál, Adam Rogalewicz, Tomás Vojnar

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017

Forester: From Heap Shapes to Automata Predicates - (Competition Contribution).

Lukás Holík, Martin Hruska, Ondrej Lengál, Adam Rogalewicz, Jirí Simácek, Tomás Vojnar

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

2016

Run Forester, Run Backwards! - (Competition Contribution).

Lukás Holík, Martin Hruska, Ondrej Lengál, Adam Rogalewicz, Jirí Simácek, Tomás Vojnar

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

2015

Forester: Shape Analysis Using Tree Automata - (Competition Contribution).

Lukás Holík, Martin Hruska, Ondrej Lengál, Adam Rogalewicz, Jirí Simácek, Tomás Vojnar

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

2004

Integrated Science through Computer-aided Experiments.

Stanislav Holec, Martin Hruska, Jana Raganová

Informatics Educ., 2004