Paulína Ayaziová

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

Collaborative distances:

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

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