Vincent Mihalkovic

According to our database, Vincent Mihalkovic authored at least 2 papers between 2022 and 2026.

Collaborative distances:

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

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

2022

Symbiotic 9: String Analysis and Backward Symbolic Execution with Loop Folding - (Competition Contribution).

Marek Chalupa, Vincent Mihalkovic, Anna Rechtácková, Lukás Zaoral, Jan Strejcek

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