Jaroslav Bendík

2018

Jaroslav Bendík, Elaheh Ghassabani, Michael W. Whalen, and Ivana Černá:
Online Enumeration of All Minimal Inductive Validity Cores,
SEFM, Springer, 2018, volume 10886 of Lecture Notes in Computer Science, 189–204. [bibtex]

2017

Jaroslav Bendík:
Consistency checking in requirements analysis,
ISSTA, ACM, 2017, 408–411. [bibtex]

2016

Jaroslav Bendík:
Algorithms for Finding Maximal Satisfiable Sets of Constraints,
Master’s Thesis, 2016. [bibtex, pdf, url]

Jaroslav Bendík, Nikola Beneš, Jiří Barnat, and Ivana Černá:
Finding Boundary Elements in Ordered Sets with Application to Safety and Requirements Analysis,
Software Engineering and Formal Methods - 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings, 2016, 121–136. [bibtex, url]

Jaroslav Bendík, Nikola Beneš, Ivana Černá, and Jiří Barnat:
Tunable Online MUS/MSS Enumeration,
FSTTCS, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2016, volume 65 of LIPIcs, 50:1–50:13. [bibtex]

2014

Jaroslav Bendík:
Detekce cyklů v dynamických grafech,
Bakalářská práce, 2014. [bibtex, pdf, url]