Adam Rogalewicz

Other Results

• 2022

  Low-Level Bi-Abduction (Artifact), other unclassified results, 2022
  Authors: ROGALEWICZ, A.; ŠOKOVÁ, V.; VOJNAR, T.; HOLÍK, L.; PERINGER, P.; ZULEGER, F.

  Low-Level Bi-Abduction (technical report), report, 2022
  Authors: HOLÍK, L.; PERINGER, P.; ROGALEWICZ, A.; ŠOKOVÁ, V.; VOJNAR, T.; ZULEGER, F.

• 2017

  Counterexample Validation and Interpolation-Based Refinement for Forest Automata, report, 2017
  Authors: HRUŠKA, M.; HOLÍK, L.; LENGÁL, O.; ROGALEWICZ, A.; VOJNAR, T.

• 2013

  Fully Automated Shape Analysis Based on Forest Automata, report, 2013
  Authors: HOLÍK, L.; LENGÁL, O.; ROGALEWICZ, A.; ŠIMÁČEK, J.; VOJNAR, T.

  The Tree Width of Separation Logic with Recursive Definitions, report, 2013
  Authors: ROGALEWICZ, A.; ŠIMÁČEK, J.; IOSIF, R.

• 2011

  Forest Automata for Verification of Heap Manipulation, report, 2011
  Authors: HOLÍK, L.; ROGALEWICZ, A.; ŠIMÁČEK, J.; VOJNAR, T.; HABERMEHL, P.