Petr Bauch

Most-cited papers

1. Computing Strongly Connected Components in Parallel on CUDA

   J. Barnat, Petr Bauch, L. Brim, Milan Češka

   2011IEEE International Parallel and Distributed Processing Symposium101 citations

   Semantic Scholar

   Save

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

   J. Barnat, Petr Bauch, L. Brim, Milan Češka

   2012J. Parallel Distributed Comput.54 citations

   Semantic Scholar

   Save

3. Analysing sanity of requirements for avionics systems

   J. Barnat, Petr Bauch, N. Benes, L. Brim +2 more

   2016Formal Aspects of Computing29 citations Open access

   Semantic Scholar

   Save

4. Employing Multiple CUDA Devices to Accelerate LTL Model Checking

   J. Barnat, Petr Bauch, L. Brim, Milan Češka

   20102010 IEEE 16th International Conference on Parallel and Distributed Systems23 citations

   Semantic Scholar

   Save

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

   J. Mrázek, Petr Bauch, Henrich Lauko, J. Barnat

   2016SPIN17 citations

   Semantic Scholar

   Save

6. Checking Sanity of Software Requirements

   J. Barnat, Petr Bauch, L. Brim

   2012IEEE International Conference on Software Engineering and Formal Methods16 citations

   Semantic Scholar

   Save

7. LTL Model Checking of LLVM Bitcode with Symbolic Data

   Petr Bauch, Vojtech Havel, J. Barnat

   2014Doctoral Workshop on Mathematical and Engineering Methods in Computer Science14 citations

   Semantic Scholar

   Save

8. Model Checking Parallel Programs with Inputs

   J. Barnat, Petr Bauch, Vojtech Havel

   20142014 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing13 citations

   Semantic Scholar

   Save

9. Temporal Verification of Simulink Diagrams

   J. Barnat, Petr Bauch, Vojtech Havel

   2014IEEE International Symposium on High-Assurance Systems Engineering11 citations

   Semantic Scholar

   Save

10. Accelerating temporal verification of Simulink diagrams using satisfiability modulo theories

    Petr Bauch, Vojtech Havel, J. Barnat

    2014Software quality journal6 citations

    Semantic Scholar

    Save

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

    J. Barnat, Petr Bauch

    2013arXiv.org6 citations

    Semantic Scholar

    Save

12. Control Explicit--Data Symbolic Model Checking

    Petr Bauch, Vojtech Havel, J. Barnat

    2016ACM Transactions on Software Engineering and Methodology3 citations

    Semantic Scholar

    Save

13. CUDA Accelerated LTL Model Checking - Revisited

    Petr Bauch, Milan Češka

    2010Doctoral Workshop on Mathematical and Engineering Methods in Computer Science1 citations

    Semantic Scholar

    Save

14. Analysing sanity of requirements for avionics systems

    J. Barnat, Petr Bauch, N. Benes, L. Brim +2 more

    2016Formal Aspects of Computing0 citations Open access

    Semantic Scholar

    Save

15. Automating Software Development with Explicit Model Checking

    Petr Bauch

    20150 citations

    Semantic Scholar

    Save

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

    J. Barnat, Petr Bauch, N. Benes, L. Brim +2 more

    2015arXiv.org0 citations

    Semantic Scholar

    Save

17. Computing Optimal Cycle Mean in Parallel on CUDA

    J. Barnat, Petr Bauch, L. Brim, Milan Češka

    2011PDMC0 citations Open access

    Semantic Scholar

    Save

18. System Performance Analysis Extension of DiVinE

    Petr Bauch

    20110 citations

    Semantic Scholar

    Save