Petr Bauch

Publication Activity (10 Years)

Years Active: 2010-2016
Publications (10 Years): 4

Top Topics

Linear Time Temporal Logic

Satisfiability Modulo Theories

Software Requirements

Verification Method

Top Venues

Formal Aspects Comput.

ACM Trans. Softw. Eng. Methodol.

Publications

Petr Bauch, Vojtech Havel, Jiri Barnat
Accelerating temporal verification of Simulink diagrams using satisfiability modulo theories. Softw. Qual. J. 24 (1) (2016)
Jan Mrázek, Petr Bauch, Henrich Lauko, Jiri Barnat
SymDIVINE: Tool for Control-Explicit Data-Symbolic State Space Exploration. SPIN (2016)
Jiri Barnat, Petr Bauch, Nikola Benes, Lubos Brim, Jan Beran, Tomas Kratochvila
Analysing sanity of requirements for avionics systems. Formal Aspects Comput. 28 (1) (2016)
Petr Bauch, Vojtech Havel, Jiri Barnat
Control Explicit-Data Symbolic Model Checking. ACM Trans. Softw. Eng. Methodol. 25 (2) (2016)
Jiri Barnat, Petr Bauch, Nikola Benes, Lubos Brim, Jan Beran, Tomas Kratochvila
Analysing Sanity of Requirements for Avionics Systems (Preliminary Version). CoRR (2015)
Jiri Barnat, Petr Bauch, Vojtech Havel
Temporal Verification of Simulink Diagrams. HASE (2014)
Petr Bauch, Vojtech Havel, Jiri Barnat
LTL Model Checking of LLVM Bitcode with Symbolic Data. MEMICS (2014)
Jiri Barnat, Petr Bauch, Vojtech Havel
Model Checking Parallel Programs with Inputs. PDP (2014)
Jiri Barnat, Petr Bauch
Control Explicit---Data Symbolic Model Checking: An Introduction CoRR (2013)
Jiri Barnat, Petr Bauch, Lubos Brim
Checking Sanity of Software Requirements. SEFM (2012)
Jiri Barnat, Petr Bauch, Lubos Brim, Milan Ceska
Designing fast LTL model checking algorithms for many-core GPUs. J. Parallel Distributed Comput. 72 (9) (2012)
Jiri Barnat, Petr Bauch, Lubos Brim, Milan Ceska
Computing Strongly Connected Components in Parallel on CUDA. IPDPS (2011)
Jiri Barnat, Petr Bauch, Lubos Brim, Milan Ceska
Computing Optimal Cycle Mean in Parallel on CUDA PDMC (2011)
Petr Bauch, Milan Ceska
CUDA Accelerated LTL Model Checking - Revisited. MEMICS (2010)
Jiri Barnat, Petr Bauch, Lubos Brim, Milan Ceska
Employing Multiple CUDA Devices to Accelerate LTL Model Checking. ICPADS (2010)