Martin Hruska

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 13

Top Topics

Finite Automata

Top Venues

Publications

David Chocholatý, Tomás Fiedor, Vojtech Havlena, Lukás Holík, Martin Hruska, Ondrej Lengál, Juraj Síc
Mata: A Fast and Simple Finite Automata Library. TACAS (2) (2024)
Tomás Fiedor, Lukás Holík, Martin Hruska, Adam Rogalewicz, Juraj Síc, Pavol Vargovcík
Reasoning about Regular Properties: A Comparative Study. CoRR (2023)
David Chocholatý, Tomás Fiedor, Vojtech Havlena, Lukás Holík, Martin Hruska, Ondrej Lengál, Juraj Síc
Mata, a Fast and Simple Finite Automata Library (Technical Report). CoRR (2023)
Tomás Fiedor, Lukás Holík, Martin Hruska, Adam Rogalewicz, Juraj Síc, Pavol Vargovcík
Reasoning About Regular Properties: A Comparative Study. CADE (2023)
Tomás Fiedor, Martin Hruska, Ales Smrcka
Orchestrating Digital Twins for Distributed Manufacturing Execution Systems. EUROCAST (2022)
Martin Hruska, Lukás Holík
Towards Efficient Shape Analysis with Tree Automata. NETYS (2021)
Marek Chalupa, Tomás Jasek, Lukás Tomovic, Martin Hruska, Veronika Soková, Paulína Ayaziová, Jan Strejcek, Tomás Vojnar
Symbiotic 7: Integration of Predator and More - (Competition Contribution). TACAS (2) (2020)
Lesia Piliai, David Tomecek, Martin Hruska, Ivan Khalakhan, Jaroslava Nováková, Premysl Fitl, Roman Yatskiv, Jan Grym, Mykhailo Vorokhta, Iva Matolínová, Martin Vrnata
New Insights towards High-Temperature Ethanol-Sensing Mechanism of ZnO-Based Chemiresistors. Sensors 20 (19) (2020)
Viktor Malík, Martin Hruska, Peter Schrammel, Tomás Vojnar
2LS: Heap Analysis and Memory Safety (Competition Contribution). CoRR (2019)
Viktor Malík, Martin Hruska, Peter Schrammel, Tomás Vojnar
Template-Based Verification of Heap-Manipulating Programs. FMCAD (2018)
Lukás Holík, Martin Hruska, Ondrej Lengál, Adam Rogalewicz, Tomás Vojnar
Counterexample Validation and Interpolation-Based Refinement for Forest Automata. VMCAI (2017)
Lukás Holík, Martin Hruska, Ondrej Lengál, Adam Rogalewicz, Jirí Simácek, Tomás Vojnar
Forester: From Heap Shapes to Automata Predicates - (Competition Contribution). TACAS (2) (2017)
Lukás Holík, Martin Hruska, Ondrej Lengál, Adam Rogalewicz, Jirí Simácek, Tomás Vojnar
Run Forester, Run Backwards! - (Competition Contribution). TACAS (2016)
Lukás Holík, Martin Hruska, Ondrej Lengál, Adam Rogalewicz, Jirí Simácek, Tomás Vojnar
Forester: Shape Analysis Using Tree Automata - (Competition Contribution). TACAS (2015)
Stanislav Holec, Martin Hruska, Jana Raganová
Integrated Science through Computer-aided Experiments. Informatics Educ. 3 (2) (2004)