Jaroslav Bendík

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