Abstract Regular Tree Model Checking of Complex Dynamic Data Structures. - Ahmed Bouajjani; Peter Habermehl; Adam Rogalewicz; Tomás Vojnar (SAS, 2006)

Proving Termination of Tree Manipulating Programs. - Peter Habermehl; Radu Iosif; Adam Rogalewicz; Tomás Vojnar (ATVA, 2007)

Forest automata for verification of heap manipulation. - Peter Habermehl; Lukás Holík; Adam Rogalewicz; Jirí Simácek; Tomás Vojnar (Formal Methods Syst. Des., 2012)

Abstract regular (tree) model checking. - Ahmed Bouajjani; Peter Habermehl; Adam Rogalewicz; Tomás Vojnar (Int. J. Softw. Tools Technol. Transf., 2012)

The Tree Width of Separation Logic with Recursive Definitions. - Radu Iosif; Adam Rogalewicz; Jirí Simácek (CADE, 2013)

Fully Automated Shape Analysis Based on Forest Automata. - Lukás Holík; Ondrej Lengál; Adam Rogalewicz; Jirí Simácek; Tomás Vojnar (CAV, 2013)

Automata-Based Termination Proofs. - Radu Iosif; Adam Rogalewicz (Comput. Informatics, 2013)

Deciding Entailments in Inductive Separation Logic with Tree Automata. - Radu Iosif; Adam Rogalewicz; Tomás Vojnar (ATVA, 2014)

Abstraction Refinement for Trace Inclusion of Data Automata. - Radu Iosif; Adam Rogalewicz; Tomás Vojnar (CoRR, 2014)

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 (TACAS, 2015)

Run Forester, Run Backwards! - (Competition Contribution). - Lukás Holík; Martin Hruska; Ondrej Lengál; Adam Rogalewicz; Jirí Simácek; Tomás Vojnar (TACAS, 2016)

Abstraction Refinement and Antichains for Trace Inclusion of Infinite State Systems. - Radu Iosif; Adam Rogalewicz; Tomás Vojnar (TACAS, 2016)

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 (TACAS (2), 2017)

Counterexample Validation and Interpolation-Based Refinement for Forest Automata. - Lukás Holík; Martin Hruska; Ondrej Lengál; Adam Rogalewicz; Tomás Vojnar (VMCAI, 2017)

From Shapes to Amortized Complexity. - Tomás Fiedor; Lukás Holík; Adam Rogalewicz; Moritz Sinn; Tomás Vojnar; Florian Zuleger (VMCAI, 2018)

SL-COMP: Competition of Solvers for Separation Logic. - Mihaela Sighireanu; Juan Antonio Navarro Pérez; Andrey Rybalchenko; Nikos Gorogiannis; Radu Iosif; Andrew Reynolds 001; Cristina Serban; Jens Katelaan; Christoph Matheja; Thomas Noll 001; Florian Zuleger; Wei-Ngan Chin; et al. (TACAS (3), 2019)

Forester Virtual Machine. - Ondrej Lengál; Lukás Holík; Tomás Vojnar; Adam Rogalewicz; Jirí Simácek; Martin Hruska; Peter Habermehl (Zenodo, 2019)

Abstraction refinement and antichains for trace inclusion of infinite state systems. - Lukás Holík; Radu Iosif; Adam Rogalewicz; Tomás Vojnar (Formal Methods Syst. Des., 2020)

Low-Level Bi-Abduction. - Lukás Holík; Petr Peringer; Adam Rogalewicz; Veronika Soková; Tomás Vojnar; Florian Zuleger (ECOOP, 2022)

Perun: Performance Version System. - Tomás Fiedor; Jirí Pavela; Adam Rogalewicz; Tomás Vojnar (ICSME, 2022)

Low-Level Bi-Abduction (Artifact). - Lukás Holík; Petr Peringer; Adam Rogalewicz; Veronika Soková; Tomás Vojnar; Florian Zuleger (Dagstuhl Artifacts Ser., 2022)

Reasoning About Regular Properties: A Comparative Study. - Tomás Fiedor; Lukás Holík; Martin Hruska; Adam Rogalewicz; Juraj Síc; Pavol Vargovcík (CADE, 2023)

Sound One-Phase Shape Analysis with Biabduction. - Florian Sextl; Adam Rogalewicz; Tomás Vojnar; Florian Zuleger (CoRR, 2023)

Deciding Boolean Separation Logic via Small Models: Artifact. - Tomás Dacík; Adam Rogalewicz; Tomás Vojnar; Florian Zuleger (Zenodo, 2023)

Efficient Manipulation of Control Flow Models in Evolving Software. - Tomás Fiedor; Jirí Pavela; Adam Rogalewicz; Tomás Vojnar (EUROCAST (1), 2024)

Deciding Boolean Separation Logic via Small Models. - Tomás Dacík; Adam Rogalewicz; Tomás Vojnar; Florian Zuleger (TACAS (1), 2024)

Deciding Boolean Separation Logic via Small Models (Technical Report). - Tomás Dacík; Adam Rogalewicz; Tomás Vojnar; Florian Zuleger (CoRR, 2024)

Deciding Boolean Separation Logic via Small Models: Artifact. - Tomás Dacík; Adam Rogalewicz; Tomás Vojnar; Florian Zuleger (Zenodo, 2024)

Compositional Shape Analysis with Shared Abduction and Biabductive Loop Acceleration. - Florian Sextl; Adam Rogalewicz; Tomás Vojnar; Florian Zuleger (ESOP (2), 2025)

Artifact for "Compositional Shape Analysis with Shared Abduction and Biabductive Loop Acceleration". - Florian Sextl; Adam Rogalewicz; Tomás Vojnar; Florian Zuleger (Zenodo, 2025)

Artifact for "Compositional Shape Analysis with Shared Abduction and Biabductive Loop Acceleration". - Florian Sextl; Adam Rogalewicz; Tomás Vojnar; Florian Zuleger (Zenodo, 2025)