16 citations · 49 across the 10 of their papers we have counts for
12 papers
Finding Regressions in Projects under Version Control Systems
Jaroslav Bendik, Nikola Benes, Ivana Cerna
Version Control Systems (VCS) are frequently used to support development of large-scale software projects. A typical VCS repository of a large project can contain various intertwin…
Recursive Online Enumeration of All Minimal Unsatisfiable Subsets
Jaroslav Bendik, Ivana Cerna, Nikola Benes
In various areas of computer science, we deal with a set of constraints to be satisfied. If the constraints cannot be satisfied simultaneously, it is desirable to identify the core…
DiVM: Model Checking with LLVM and Graph Memory
Petr Ročkai, Vladimír Štill, Ivana černá +1
In this paper, we introduce the concept of a virtual machine with graph-organised memory as a versatile backend for both explicit-state and abstraction-driven verification of softw…
Tunable Online MUS/MSS Enumeration
Jaroslav Bendik, Nikola Benes, Ivana Cerna +1
In various areas of computer science, the problem of dealing with a set of constraints arises. If the set of constraints is unsatisfiable, one may ask for a minimal description of…
Optimal Observation Mode Scheduling for Systems under Temporal Constraints
Eva Tesarova, Maria Svorenova, Jiri Barnat +1
Autonomous control systems use various sensors to decrease the amount of uncertainty under which they operate. While providing partial observation of the current state of the syste…
Temporal Logic Control for Stochastic Linear Systems using Abstraction Refinement of Probabilistic Games
Maria Svorenova, Jan Kretinsky, Martin Chmelik +3
We consider the problem of computing the set of initial states of a dynamical system such that there exists a control strategy to ensure that the trajectories satisfy a temporal lo…