Veronika Soková

Orcid: 0000-0003-1980-7245

According to our database1, Veronika Soková authored at least 8 papers between 2016 and 2022.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
Low-Level Bi-Abduction (Artifact).
Dagstuhl Artifacts Ser., 2022

Low-Level Bi-Abduction.
Proceedings of the 36th European Conference on Object-Oriented Programming, 2022

2021
Symbiotic 8: Beyond Symbolic Execution - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

2020
PredatorHP Revamped (Not Only) for Interval-Sized Memory Regions and Memory Reallocation (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

Symbiotic 7: Integration of Predator and More - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

2019
PredatorHP Attacks Interval-Sized Regions.
CoRR, 2019

2016
Optimized PredatorHP and the SV-COMP Heap and Memory Safety Benchmark - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Predator Shape Analysis Tool Suite.
Proceedings of the Hardware and Software: Verification and Testing, 2016


  Loading...