Výpis publikací

ÁDÁM, Zsófia; Paulína AYAZIOVÁ; Levente BAJCZI; Dirk BEYER; Marek JANKOLA; Marian LINGSCH-ROSENFELD a Jan STREJČEK. Non-termination Witnesses and Their Validation. Online. In Automated Software Engineering, ASE 2025. Los Alamitos (USA): IEEE, 2025, s. 1969-1981. ISBN 979-8-3503-5733-2. Dostupné z: https://doi.org/10.1109/ASE63991.2025.00164.

AYAZIOVÁ, Paulína; Dirk BEYER; Marian LINGSCH-ROSENFELD; Martin SPIESSL a Jan STREJČEK. Software Verification Witnesses 2.0. Online. In Thomas Neele and Anton Wijs. Model Checking Software - 30th International Symposium, SPIN 2024. Cham (Švýcarsko): Springer, 2025, s. 184-203. ISBN 978-3-031-66148-8. Dostupné z: https://doi.org/10.1007/978-3-031-66149-5_11.

JONÁŠ, Martin; Kristián KUMOR; Jakub NOVÁK; Jindřich SEDLÁČEK; Marek TRTÍK; Lukáš ZAORAL; Paulína AYAZIOVÁ a Jan STREJČEK. Symbiotic 10: Lazy Memory Initialization and Compact Symbolic Execution. Online. In Bernd Finkbeiner and Laura Kovács. Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III. Cham (Švýcarsko): Springer, 2024, s. 406-411. ISBN 978-3-031-57255-5. Dostupné z: https://doi.org/10.1007/978-3-031-57256-2_29.

AYAZIOVÁ, Paulína a Jan STREJČEK. Witch 3: Validation of Violation Witnesses in the Witness Format 2.0. Online. In Bernd Finkbeiner and Laura Kovács. Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III. Cham (Švýcarsko): Springer, 2024, s. 341-346. ISBN 978-3-031-57255-5. Dostupné z: https://doi.org/10.1007/978-3-031-57256-2_18.

AYAZIOVÁ, Paulína a Jan STREJČEK. Symbiotic-Witch 2. 2023.

AYAZIOVÁ, Paulína a Jan STREJČEK. Symbiotic-Witch 2: More Efficient Algorithm and Witness Refutation. Online. In Sriram Sankaranarayanan and Natasha Sharygina. Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II. Cham (Švýcarsko): Springer, Cham, 2023, s. 523-528. ISBN 978-3-031-30819-2. Dostupné z: https://doi.org/10.1007/978-3-031-30820-8_30.

AYAZIOVÁ, Paulína; Marek CHALUPA a Jan STREJČEK. Symbiotic-Witch: A Klee-Based Violation Witness Checker. Online. In Dana Fisman and Grigore Rosu. Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part II. Cham (Švýcarsko): Springer, Cham, 2022, s. 468-473. ISBN 978-3-030-99526-3. Dostupné z: https://doi.org/10.1007/978-3-030-99527-0_33.

CHALUPA, Marek; Tomáš JAŠEK; Lukáš TOMOVIČ; Martin HRUŠKA; Veronika ŠOKOVÁ; Paulína AYAZIOVÁ; Jan STREJČEK a Tomáš VOJNAR. Symbiotic 7: Integration of Predator and More (Competition Contribution). In Armin Biere, David Parker. Tools and Algorithms for the Construction and Analysis of Systems. Německo: Springer, 2020, s. 413-417. ISBN 978-3-030-45236-0. Dostupné z: https://doi.org/10.1007/978-3-030-45237-7_31.