Michal Kotoun

Publication Activity (10 Years)

Years Active: 2016-2019
Publications (10 Years): 3

Top Topics

Malicious Attacks

Top Venues

Haifa Verification Conference

Publications

Michal Kotoun, Petr Peringer, Veronika Soková, Tomás Vojnar
PredatorHP Attacks Interval-Sized Regions. CoRR (2019)
Lukás Holík, Michal Kotoun, Petr Peringer, Veronika Soková, Marek Trtík, Tomás Vojnar
Predator Shape Analysis Tool Suite. Haifa Verification Conference (2016)
Michal Kotoun, Petr Peringer, Veronika Soková, Tomás Vojnar
Optimized PredatorHP and the SV-COMP Heap and Memory Safety Benchmark - (Competition Contribution). TACAS (2016)