Petr Bauch
Masaryk University(CZ)
Publications by Year
Research Areas
Formal Methods in Verification, Software Testing and Debugging Techniques, Software Reliability and Analysis Research, Parallel Computing and Optimization Techniques, Embedded Systems Design Techniques
Most-Cited Works
- → Computing Strongly Connected Components in Parallel on CUDA(2011)98 cited
- → Designing fast LTL model checking algorithms for many-core GPUs(2011)48 cited
- → Analysing sanity of requirements for avionics systems(2016)24 cited
- → Employing Multiple CUDA Devices to Accelerate LTL Model Checking(2010)24 cited
- → SymDIVINE: Tool for Control-Explicit Data-Symbolic State Space Exploration(2016)12 cited
- → Checking Sanity of Software Requirements(2012)11 cited
- → LTL Model Checking of LLVM Bitcode with Symbolic Data(2014)10 cited
- → Temporal Verification of Simulink Diagrams(2014)8 cited
- → Model Checking Parallel Programs with Inputs(2014)7 cited
- → Control Explicit---Data Symbolic Model Checking: An Introduction(2013)4 cited