Jindrich Sedlácek

According to our database, Jindrich Sedlácek authored at least 2 papers between 2024 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

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