| 2023 | LPAR | Overapproximation of Non-Linear Integer Arithmetic for Smart Contract Verification. | Petra Hozzov, Jaroslav Bendk, Alexander Nutz, Yoav Rodeh |
| 2021 | AAAI | Counting Maximal Satisfiable Subsets. | Jaroslav Bendk, Kuldeep S. Meel |
| 2021 | CAV | Counting Minimal Unsatisfiable Subsets. | Jaroslav Bendk, Kuldeep S. Meel |
| 2021 | FMCAD | On Decomposition of Maximal Satisfiable Subsets. | Jaroslav Bendk |
| 2021 | TACAS | Timed Automata Relaxation for Reachability. | Jaroslav Bendk, Ahmet Sencan, Ebru Aydin Gol, Ivana Cern |
| 2020 | CAV | Approximate Counting of Minimal Unsatisfiable Subsets. | Jaroslav Bendk, Kuldeep S. Meel |
| 2020 | CP | Replication-Guided Enumeration of Minimal Unsatisfiable Subsets. | Jaroslav Bendk, Ivana Cern |
| 2020 | LPAR | Rotation Based MSS/MCS Enumeration. | Jaroslav Bendk, Ivana Cerna |
| 2020 | TACAS | MUST: Minimal Unsatisfiable Subsets Enumeration Tool. | Jaroslav Bendk, Ivana Cern |
| 2018 | ATVA | Recursive Online Enumeration of All Minimal Unsatisfiable Subsets. | Jaroslav Bendk, Ivana Cern, Nikola Benes |
| 2018 | ICSoft | Finding Regressions in Projects under Version Control Systems. | Jaroslav Bendk, Nikola Benes, Ivana Cern |
| 2018 | LPAR | Evaluation of Domain Agnostic Approaches for Enumeration of Minimal Unsatisfiable Subsets. | Jaroslav Bendk, Ivana Cerna |
| 2018 | SEFM | Online Enumeration of All Minimal Inductive Validity Cores. | Jaroslav Bendk, Elaheh Ghassabani, Michael W. Whalen, Ivana Cern |
| 2017 | ISSTA | Consistency checking in requirements analysis. | Jaroslav Bendk |
| 2016 | SEFM | Finding Boundary Elements in Ordered Sets with Application to Safety and Requirements Analysis. | Jaroslav Bendk, Nikola Benes, Jiri Barnat, Ivana Cern |