RNDr. Petr Ročkai, Ph.D.
Assistant professor, Department of Computer Systems and Communications
Publications
Total number of publications: 45
2012
-
On-the-fly Parallel Model Checking Algorithm that is Optimal for Verification of Weak LTL Properties
Science of Computer Programming, year: 2012, volume: 77, edition: 12, DOI
-
Tool Chain to Support Automated Formal Verification of Avionics Simulink Designs
Formal Methods for Industrial Critical Systems (FMICS 2012), year: 2012
-
Towards LTL Model Checking of Unmodified Thread-Based C & C++ Programs
NASA Formal Methods, year: 2012
2010
-
DiVinE 2.4
Year: 2010
-
DiVinE: Parallel Distributed Model Checker (Tool paper)
Proceedings of joint HiBi/PDMC workshop (HiBi/PDMC 2010), year: 2010
-
Parallel Partial Order Reduction with Topological Sort Proviso
Software Engineering and Formal Methods (SEFM 2010), year: 2010
-
Scalable shared memory LTL model checking
International Journal on Software Tools for Technology Transfer (STTT), year: 2010, volume: 12, edition: 2, DOI
2009
-
A Time-Optimal On-the-Fly Parallel Algorithm for Model Checking of Weak LTL Properties
Formal Methods and Software Engineering, year: 2009
-
DiVinE 2.0
Year: 2009
-
DiVinE 2.0: High-Performance Model Checking
International Workshop on High Performance Computational Systems Biology, year: 2009