Adam Rogalewicz
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
17
Venues
8
Active years
2006–2025
Best venue rank
A*
Where they publish
Papers
17 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ESOP | Compositional Shape Analysis with Shared Abduction and Biabductive Loop Acceleration. | Florian Sextl, Adam Rogalewicz, Toms Vojnar, Florian Zuleger |
| 2024 | TACAS | Deciding Boolean Separation Logic via Small Models. | Toms Dack, Adam Rogalewicz, Toms Vojnar, Florian Zuleger |
| 2023 | CADE | Reasoning About Regular Properties: A Comparative Study. | Toms Fiedor, Luks Holk, Martin Hruska, Adam Rogalewicz, Juraj Sc, Pavol Vargovck |
| 2022 | ECOOP | Low-Level Bi-Abduction. | Luks Holk, Petr Peringer, Adam Rogalewicz, Veronika Sokov, Toms Vojnar, Florian Zuleger |
| 2019 | TACAS | SL-COMP: Competition of Solvers for Separation Logic. | Mihaela Sighireanu, Juan Antonio Navarro Prez, 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, Toms Vojnar, Constantin Enea, Ondrej Lengl, Chong Gao, Zhilin Wu |
| 2018 | VMCAI | From Shapes to Amortized Complexity. | Toms Fiedor, Luks Holk, Adam Rogalewicz, Moritz Sinn, Toms Vojnar, Florian Zuleger |
| 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 |
| 2016 | TACAS | Abstraction Refinement and Antichains for Trace Inclusion of Infinite State Systems. | Radu Iosif, Adam Rogalewicz, Toms Vojnar |
| 2015 | TACAS | Forester: Shape Analysis Using Tree Automata - (Competition Contribution). | Luks Holk, Martin Hruska, Ondrej Lengl, Adam Rogalewicz, Jir Simcek, Toms Vojnar |
| 2014 | ATVA | Deciding Entailments in Inductive Separation Logic with Tree Automata. | Radu Iosif, Adam Rogalewicz, Toms Vojnar |
| 2013 | CADE | The Tree Width of Separation Logic with Recursive Definitions. | Radu Iosif, Adam Rogalewicz, Jir Simcek |
| 2013 | CAV | Fully Automated Shape Analysis Based on Forest Automata. | Luks Holk, Ondrej Lengl, Adam Rogalewicz, Jir Simcek, Toms Vojnar |
| 2011 | CAV | Forest Automata for Verification of Heap Manipulation. | Peter Habermehl, Luks Holk, Adam Rogalewicz, Jir Simcek, Toms Vojnar |
| 2007 | ATVA | Proving Termination of Tree Manipulating Programs. | Peter Habermehl, Radu Iosif, Adam Rogalewicz, Toms Vojnar |
| 2006 | SAS | Abstract Regular Tree Model Checking of Complex Dynamic Data Structures. | Ahmed Bouajjani, Peter Habermehl, Adam Rogalewicz, Toms Vojnar |