| Symbiotic 7: Integration of Predator and More: (Competition Contribution) M Chalupa, T Jašek, L Tomovič, M Hruška, V Šoková, P Ayaziová, ... Tools and Algorithms for the Construction and Analysis of Systems: 26th …, 2020 | 15 | 2020 |
| Symbiotic-Witch: A Klee-Based Violation Witness Checker: (Competition Contribution) P Ayaziová, M Chalupa, J Strejček International Conference on Tools and Algorithms for the Construction and …, 2022 | 8 | 2022 |
| Symbiotic 10: Lazy Memory Initialization and Compact Symbolic Execution: (Competition Contribution) M Jonáš, K Kumor, J Novák, J Sedláček, M Trtík, L Zaoral, P Ayaziová, ... International Conference on Tools and Algorithms for the Construction and …, 2024 | 6 | 2024 |
| Software verification witnesses 2.0 P Ayaziová, D Beyer, M Lingsch-Rosenfeld, M Spiessl, J Strejček Proc. SPIN. Springer, 2024 | 6 | 2024 |
| Symbiotic-Witch 2: More Efficient Algorithm and Witness Refutation: (Competition Contribution) P Ayaziová, J Strejček International Conference on Tools and Algorithms for the Construction and …, 2023 | 6 | 2023 |
| Witch 3: Validation of Violation Witnesses in the Witness Format 2.0: (Competition Contribution) P Ayaziová, J Strejček International Conference on Tools and Algorithms for the Construction and …, 2024 | 2 | 2024 |
| Symbiotic-Witch 2 P Ayaziová, J Strejček | 1 | 2023 |
| Klee-based error witness checker P Ayaziová Bachelor’s thesis, Masaryk University, 2021 | 1 | 2021 |
