Petr Bauch

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