Petr Bauch

According to our database, Petr Bauch authored at least 15 papers between 2010 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Control Explicit-Data Symbolic Model Checking.

Petr Bauch, Vojtech Havel, Jiri Barnat

ACM Trans. Softw. Eng. Methodol., 2016

Accelerating temporal verification of Simulink diagrams using satisfiability modulo theories.

Petr Bauch, Vojtech Havel, Jiri Barnat

Softw. Qual. J., 2016

Analysing sanity of requirements for avionics systems.

Jiri Barnat, Petr Bauch, Nikola Benes, Lubos Brim, Jan Beran, Tomas Kratochvila

Formal Aspects Comput., 2016

SymDIVINE: Tool for Control-Explicit Data-Symbolic State Space Exploration.

Jan Mrázek, Petr Bauch, Henrich Lauko, Jiri Barnat

Proceedings of the Model Checking Software - 23rd International Symposium, 2016

2015

Analysing Sanity of Requirements for Avionics Systems (Preliminary Version).

Jiri Barnat, Petr Bauch, Nikola Benes, Lubos Brim, Jan Beran, Tomas Kratochvila

CoRR, 2015

2014

Model Checking Parallel Programs with Inputs.

Jiri Barnat, Petr Bauch, Vojtech Havel

Proceedings of the 22nd Euromicro International Conference on Parallel, 2014

LTL Model Checking of LLVM Bitcode with Symbolic Data.

Petr Bauch, Vojtech Havel, Jiri Barnat

Proceedings of the Mathematical and Engineering Methods in Computer Science, 2014

Temporal Verification of Simulink Diagrams.

Jiri Barnat, Petr Bauch, Vojtech Havel

Proceedings of the 15th International IEEE Symposium on High-Assurance Systems Engineering, 2014

2013

Control Explicit---Data Symbolic Model Checking: An Introduction

Jiri Barnat, Petr Bauch

CoRR, 2013

2012

Designing fast LTL model checking algorithms for many-core GPUs.

Jiri Barnat, Petr Bauch, Lubos Brim, Milan Ceska

J. Parallel Distributed Comput., 2012

Checking Sanity of Software Requirements.

Jiri Barnat, Petr Bauch, Lubos Brim

Proceedings of the Software Engineering and Formal Methods - 10th International Conference, 2012

2011

Computing Optimal Cycle Mean in Parallel on CUDA

Jiri Barnat, Petr Bauch, Lubos Brim, Milan Ceska

Proceedings of the Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation, 2011

Computing Strongly Connected Components in Parallel on CUDA.

Jiri Barnat, Petr Bauch, Lubos Brim, Milan Ceska

Proceedings of the 25th IEEE International Symposium on Parallel and Distributed Processing, 2011

2010

CUDA Accelerated LTL Model Checking - Revisited.

Petr Bauch, Milan Ceska

Proceedings of the Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, 2010

Employing Multiple CUDA Devices to Accelerate LTL Model Checking.

Jiri Barnat, Petr Bauch, Lubos Brim, Milan Ceska

Proceedings of the 16th IEEE International Conference on Parallel and Distributed Systems, 2010