Symbiotic 7: Integration of Predator and More - (Competition Contribution). - Marek Chalupa; Tomás Jasek; Lukás Tomovic; Martin Hruska; Veronika Soková; Paulína Ayaziová; Jan Strejcek; Tomás Vojnar (TACAS (2), 2020)

Symbiotic-Witch: A Klee-Based Violation Witness Checker - (Competition Contribution). - Paulína Ayaziová; Marek Chalupa; Jan Strejcek (TACAS (2), 2022)

Symbiotic-Witch 2: More Efficient Algorithm and Witness Refutation - (Competition Contribution). - Paulína Ayaziová; Jan Strejcek (TACAS (2), 2023)

Reproduction Package for FSE 2024 Submission 'Verification Witnesses Version 2'. - Paulína Ayaziová; Dirk Beyer 001; Marian Lingsch Rosenfeld; Martin Spiessl; Jan Strejcek (Zenodo, 2023)

Software Verification Witnesses 2.0. - Paulína Ayaziová; Dirk Beyer 001; Marian Lingsch Rosenfeld; Martin Spiessl; Jan Strejcek (SPIN, 2024)

Witch 3: Validation of Violation Witnesses in the Witness Format 2.0 - (Competition Contribution). - Paulína Ayaziová; Jan Strejcek (TACAS (3), 2024)

Symbiotic 10: Lazy Memory Initialization and Compact Symbolic Execution - (Competition Contribution). - Martin Jonás; Kristián Kumor; Jakub Novák; Jindrich Sedlácek; Marek Trtík; Lukás Zaoral; Paulína Ayaziová; Jan Strejcek (TACAS (3), 2024)

Reproduction Package for SPIN 2024 Submission 'Verification Witnesses Version 2'. - Paulína Ayaziová; Dirk Beyer 001; Marian Lingsch Rosenfeld; Martin Spiessl; Jan Strejcek (Zenodo, 2024)

Reproduction Package for SPIN 2024 Submission 'Verification Witnesses Version 2'. - Paulína Ayaziová; Dirk Beyer 001; Marian Lingsch Rosenfeld; Martin Spiessl; Jan Strejcek (Zenodo, 2024)

Reproduction Package for SPIN 2024 Article 'Verification Witnesses Version 2'. - Paulína Ayaziová; Dirk Beyer 001; Marian Lingsch Rosenfeld; Martin Spiessl; Jan Strejcek (Zenodo, 2024)