Adam Rogalewicz

According to our database, Adam Rogalewicz authored at least 25 papers between 2006 and 2024.

Collaborative distances:

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

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.

Tomás Dacík, Adam Rogalewicz, Tomás Vojnar, Florian Zuleger

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

2023

Sound One-Phase Shape Analysis with Biabduction.

Florian Sextl, Adam Rogalewicz, Tomás Vojnar, Florian Zuleger

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

Low-Level Bi-Abduction (Artifact).

Lukás Holík, Petr Peringer, Adam Rogalewicz, Veronika Soková, Tomás Vojnar, Florian Zuleger

Dagstuhl Artifacts Ser., 2022

Perun: Performance Version System.

Tomás Fiedor, Jirí Pavela, Adam Rogalewicz, Tomás Vojnar

Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2022

Low-Level Bi-Abduction.

Lukás Holík, Petr Peringer, Adam Rogalewicz, Veronika Soková, Tomás Vojnar, Florian Zuleger

Proceedings of the 36th European Conference on Object-Oriented Programming, 2022

2020

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

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

SL-COMP: Competition of Solvers for Separation Logic.

Mihaela Sighireanu, Juan Antonio Navarro Pérez, Andrey Rybalchenko, Nikos Gorogiannis, Radu Iosif, Andrew Reynolds, Cristina Serban, Jens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger, Wei-Ngan Chin, Quang Loc Le, Quang-Trung Ta, Ton-Chanh Le, Thanh-Toan Nguyen, Siau-Cheng Khoo, Michal Cyprian, Adam Rogalewicz, Tomás Vojnar, Constantin Enea, Ondrej Lengál, Chong Gao, Zhilin Wu

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

2018

From Shapes to Amortized Complexity.

Tomás Fiedor, Lukás Holík, Adam Rogalewicz, Moritz Sinn, Tomás Vojnar, Florian Zuleger

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 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

Abstraction Refinement and Antichains for Trace Inclusion of Infinite State Systems.

Radu Iosif, Adam Rogalewicz, Tomás Vojnar

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 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

2014

Abstraction Refinement for Trace Inclusion of Data Automata.

Radu Iosif, Adam Rogalewicz, Tomás Vojnar

CoRR, 2014

Deciding Entailments in Inductive Separation Logic with Tree Automata.

Radu Iosif, Adam Rogalewicz, Tomás Vojnar

Proceedings of the Automated Technology for Verification and Analysis, 2014

2013

Automata-Based Termination Proofs.

Radu Iosif, Adam Rogalewicz

Comput. Informatics, 2013

Fully Automated Shape Analysis Based on Forest Automata.

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

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

The Tree Width of Separation Logic with Recursive Definitions.

Radu Iosif, Adam Rogalewicz, Jirí Simácek

Proceedings of the Automated Deduction - CADE-24, 2013

2012

Abstract regular (tree) model checking.

Ahmed Bouajjani, Peter Habermehl, Adam Rogalewicz, Tomás Vojnar

Int. J. Softw. Tools Technol. Transf., 2012

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

2007

Proving Termination of Tree Manipulating Programs.

Peter Habermehl, Radu Iosif, Adam Rogalewicz, Tomás Vojnar

Proceedings of the Automated Technology for Verification and Analysis, 2007

2006

Abstract Regular Tree Model Checking of Complex Dynamic Data Structures.

Ahmed Bouajjani, Peter Habermehl, Adam Rogalewicz, Tomás Vojnar

Proceedings of the Static Analysis, 13th International Symposium, 2006