Paulína Ayaziová

According to our database, Paulína Ayaziová authored at least 16 papers between 2020 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Goblitch: Combining Abstract Interpretation with Symbolic Execution via Witnesses - (Competition Contribution).

Karoliine Holter, Paulína Ayaziová, Simmo Saan, Jan Strejcek, Vesal Vojdani

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2026

Symbiotic 11 Predicate Abstraction Joins the Party - (Competition Contribution).

Paulína Ayaziová, Martin Jonás, Vincent Mihalkovic, Jindrich Sedlácek, Jan Strejcek

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2026

2025

Non-termination Witnesses in Format 2.1 for ASE 2025 Article 'Non-termination Witnesses and Their Validation'.

Zsófia Ádám, Paulína Ayaziová, Levente Bajczi, Dirk Beyer, Marek Jankola, Marian Lingsch Rosenfeld, Jan Strejcek

Dataset, October, 2025

Non-termination Witnesses in Format 2.1 for ASE 2025 Article 'Non-termination Witnesses and Their Validation'.

Zsófia Ádám, Paulína Ayaziová, Levente Bajczi, Dirk Beyer, Marek Jankola, Marian Lingsch Rosenfeld, Jan Strejcek

Dataset, October, 2025

Reproduction Package for ASE 2025 Paper "Non-termination Witnesses and Their Validation".

Zsófia Ádám, Paulína Ayaziová, Levente Bajczi, Dirk Beyer, Marek Jankola, Marian Lingsch Rosenfeld, Jan Strejcek

Dataset, October, 2025

Non-termination Witnesses and Their Validation.

Zsófia Ádám, Paulína Ayaziová, Levente Bajczi, Dirk Beyer, Marek Jankola, Marian Lingsch Rosenfeld, Jan Strejcek

Proceedings of the 40th IEEE/ACM International Conference on Automated Software Engineering, 2025

2024

Reproduction Package for SPIN 2024 Article 'Verification Witnesses Version 2'.

Paulína Ayaziová, Dirk Beyer, Marian Lingsch Rosenfeld, Martin Spiessl, Jan Strejcek

Dataset, March, 2024

Reproduction Package for SPIN 2024 Submission 'Verification Witnesses Version 2'.

Paulína Ayaziová, Dirk Beyer, Marian Lingsch Rosenfeld, Martin Spiessl, Jan Strejcek

Dataset, February, 2024

Reproduction Package for SPIN 2024 Submission 'Verification Witnesses Version 2'.

Paulína Ayaziová, Dirk Beyer, Marian Lingsch Rosenfeld, Martin Spiessl, Jan Strejcek

Dataset, January, 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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

Witch 3: Validation of Violation Witnesses in the Witness Format 2.0 - (Competition Contribution).

Paulína Ayaziová, Jan Strejcek

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

Software Verification Witnesses 2.0.

Paulína Ayaziová, Dirk Beyer, Marian Lingsch Rosenfeld, Martin Spiessl, Jan Strejcek

Proceedings of the Model Checking Software - 30th International Symposium, 2024

2023

Reproduction Package for FSE 2024 Submission 'Verification Witnesses Version 2'.

Paulína Ayaziová, Dirk Beyer, Marian Lingsch Rosenfeld, Martin Spiessl, Jan Strejcek

Dataset, October, 2023

Symbiotic-Witch 2: More Efficient Algorithm and Witness Refutation - (Competition Contribution).

Paulína Ayaziová, Jan Strejcek

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

2022

Symbiotic-Witch: A Klee-Based Violation Witness Checker - (Competition Contribution).

Paulína Ayaziová, Marek Chalupa, Jan Strejcek

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

2020

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020