Martin Hruska
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
4
Active years
2015–2024
Best venue rank
A
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | TACAS | Mata: A Fast and Simple Finite Automata Library. | David Chocholat, Toms Fiedor, Vojtech Havlena, Luks Holk, Martin Hruska, Ondrej Lengl, Juraj Sc |
| 2023 | CADE | Reasoning About Regular Properties: A Comparative Study. | Toms Fiedor, Luks Holk, Martin Hruska, Adam Rogalewicz, Juraj Sc, Pavol Vargovck |
| 2020 | TACAS | Symbiotic 7: Integration of Predator and More - (Competition Contribution). | Marek Chalupa, Toms Jasek, Luks Tomovic, Martin Hruska, Veronika Sokov, Paulna Ayaziov, Jan Strejcek, Toms Vojnar |
| 2018 | FMCAD | Template-Based Verification of Heap-Manipulating Programs. | Viktor Malk, Martin Hruska, Peter Schrammel, Toms Vojnar |
| 2017 | TACAS | Forester: From Heap Shapes to Automata Predicates - (Competition Contribution). | Luks Holk, Martin Hruska, Ondrej Lengl, Adam Rogalewicz, Jir Simcek, Toms Vojnar |
| 2017 | VMCAI | Counterexample Validation and Interpolation-Based Refinement for Forest Automata. | Luks Holk, Martin Hruska, Ondrej Lengl, Adam Rogalewicz, Toms Vojnar |
| 2016 | TACAS | Run Forester, Run Backwards! - (Competition Contribution). | Luks Holk, Martin Hruska, Ondrej Lengl, Adam Rogalewicz, Jir Simcek, Toms Vojnar |
| 2015 | TACAS | Forester: Shape Analysis Using Tree Automata - (Competition Contribution). | Luks Holk, Martin Hruska, Ondrej Lengl, Adam Rogalewicz, Jir Simcek, Toms Vojnar |