Paulína Ayaziová
Orcid: 0000-0003-1072-8137
According to our database1,
Paulína Ayaziová
authored at least 6 papers
between 2020 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Symbiotic 10: Lazy Memory Initialization and Compact Symbolic Execution - (Competition Contribution).
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).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024
Proceedings of the Model Checking Software - 30th International Symposium, 2024
2023
Symbiotic-Witch 2: More Efficient Algorithm and Witness Refutation - (Competition Contribution).
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).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022
2020
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020