Petr Bauch

2016

Petr Bauch, Vojtěch Havel, and Jiří Barnat:
Accelerating Temporal Verification of Simulink Diagrams Using Satisfiability Modulo Theories,
Software Quality Journal, 2016. [bibtex, url]

Jan Mrázek, Petr Bauch, Henrich Lauko, and Jiří Barnat:
SymDIVINE: Tool for Control-Explicit Data-Symbolic State Space Exploration,
Model Checking Software: 23rd International Symposium, SPIN, Springer International Publishing, 2016, 208–213. [bibtex, pdf, url]

2014

Petr Bauch, Vojtěch Havel, and Jiří Barnat:
LTL Model Checking of LLVM Bitcode with Symbolic Data,
Proceedings of MEMICS’14, Springer, 2014, 47-59. [bibtex, url]

Jiří Barnat, Petr Bauch, and Vojtěch Havel:
Model Checking Parallel Programs with Inputs,
Parallel, Distributed and Network-Based Processing (PDP), 2014 22nd Euromicro International Conference on, 2014, 756-759. [bibtex, url]

Jiří Barnat, Petr Bauch, and Vojtěch Havel:
Temporal Verification of Simulink Diagrams,
Proceedings of HASE 2014, IEEE Computer Society, 2014, 81-88. [bibtex]

2012

Jiří Barnat, Petr Bauch, and Luboš Brim:
Checking Sanity of Software Requirements,
Software Engineering and Formal Methods: 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings, Springer Berlin Heidelberg, 2012, 48–62. [bibtex, url]

Jiří Barnat, Petr Bauch, Luboš Brim, and Milan Češka:
Designing Fast LTL Model Checking Algorithms for Many-core GPUs,
Journal of Parallel and Distributed Computing, 2012. [bibtex, url]

2011

Jiří Barnat, Petr Bauch, Luboš Brim, and Milan Češka:
Computing Optimal Cycle Mean in Parallel on CUDA,
Electronic Proceedings in Theoretical Computer Science, 2011. [bibtex, url]

Jiří Barnat, Petr Bauch, Luboš Brim, and Milan Ceška:
Computing Strongly Connected Components in Parallel on CUDA,
Parallel Distributed Processing Symposium (IPDPS), 2011 IEEE International, 2011, 544-555. [bibtex, url]

2010

Jiří Barnat, Petr Bauch, Luboš Brim, and Milan Češka:
Employing Multiple CUDA Devices to Accelerate LTL Model Checking,
16th International Conference on Parallel and Distributed Systems (ICPADS 2010), IEEE, 2010. [bibtex]