Jaroslav Bendík

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 22

Top Topics

Minimal Subsets

Requirements Analysis

Top Venues

Publications

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