Adam Rogalewicz

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Reasoning About Regular Properties: A Comparative Study	2024-04-26	Paper
Abstraction refinement and antichains for trace inclusion of infinite state systems Formal Methods in System Design	2021-02-08	Paper
From Shapes to Amortized Complexity Lecture Notes in Computer Science	2020-07-07	Paper
Abstraction refinement and antichains for trace inclusion of infinite state systems Tools and Algorithms for the Construction and Analysis of Systems	2019-09-17	Paper
Automata-based termination proofs	2018-04-05	Paper
Counterexample validation and interpolation-based refinement for forest automata Lecture Notes in Computer Science	2017-02-21	Paper
Deciding entailments in inductive separation logic with tree automata Automated Technology for Verification and Analysis	2015-12-17	Paper
Forest automata for verification of heap manipulation Formal Methods in System Design	2014-03-28	Paper
Abstract regular tree model checking	2013-10-07	Paper
The tree width of separation logic with recursive definitions Automated Deduction – CADE-24	2013-06-14	Paper
Automata-Based Termination Proofs Implementation and Application of Automata	2009-07-09	Paper
Abstract Regular Tree Model Checking of Complex Dynamic Data Structures Static Analysis	2009-03-12	Paper
Proving Termination of Tree Manipulating Programs Automated Technology for Verification and Analysis	2008-07-03	Paper

Research outcomes over time

This page was built for person: Adam Rogalewicz