Adam Rogalewicz

Ostatní výsledky

• 2022

  Low-Level Bi-Abduction (Artifact), různé, 2022
  Autoři: ROGALEWICZ, A.; ŠOKOVÁ, V.; VOJNAR, T.; HOLÍK, L.; PERINGER, P.; ZULEGER, F.

  Low-Level Bi-Abduction (technical report), zpráva odborná, 2022
  Autoři: HOLÍK, L.; PERINGER, P.; ROGALEWICZ, A.; ŠOKOVÁ, V.; VOJNAR, T.; ZULEGER, F.

• 2017

  Counterexample Validation and Interpolation-Based Refinement for Forest Automata, zpráva odborná, 2017
  Autoři: HRUŠKA, M.; HOLÍK, L.; LENGÁL, O.; ROGALEWICZ, A.; VOJNAR, T.

• 2013

  Fully Automated Shape Analysis Based on Forest Automata, zpráva odborná, 2013
  Autoři: HOLÍK, L.; LENGÁL, O.; ROGALEWICZ, A.; ŠIMÁČEK, J.; VOJNAR, T.

  The Tree Width of Separation Logic with Recursive Definitions, zpráva odborná, 2013
  Autoři: ROGALEWICZ, A.; ŠIMÁČEK, J.; IOSIF, R.

• 2011

  Forest Automata for Verification of Heap Manipulation, zpráva odborná, 2011
  Autoři: HOLÍK, L.; ROGALEWICZ, A.; ŠIMÁČEK, J.; VOJNAR, T.; HABERMEHL, P.