4 citations · 4 across the 3 of their papers we have counts for
3 papers
cs.SE2015
Analysing Sanity of Requirements for Avionics Systems (Preliminary Version)
Jiří Barnat, Petr Bauch, Nikola Beneš +3
In the last decade it became a common practice to formalise software requirements to improve the clarity of users' expectations. In this work we build on the fact that functional r…
cs.SE2013★ 4 cited
Control Explicit---Data Symbolic Model Checking: An Introduction
Jiri Barnat, Petr Bauch
A comprehensive verification of parallel software imposes three crucial requirements on the procedure that implements it. Apart from accepting real code as program input and tempor…
cs.DC2011
Computing Optimal Cycle Mean in Parallel on CUDA
Jiří Barnat, Petr Bauch, Luboš Brim +1
Computation of optimal cycle mean in a directed weighted graph has many applications in program analysis, performance verification in particular. In this paper we propose a data-pa…