Petr Ročkai
Petr Ročkai
Faculty of Informatics, Masaryk University in Brno
Verified email at mornfall.net
Title
Cited by
Cited by
Year
DiVinE – A Tool for Distributed Verification
J Barnat, L Brim, I Černá, P Moravec, P Ročkai, P Šimeček
International Conference on Computer Aided Verification, 278-281, 2006
1582006
DiVinE 3.0–an explicit-state model checker for multithreaded C & C++ programs
J Barnat, L Brim, V Havel, J Havlíček, J Kriho, M Lenčo, P Ročkai, V Štill, ...
International Conference on Computer Aided Verification, 863-868, 2013
1452013
Divine: Parallel distributed model checker
J Barnat, L Brim, M Češka, P Ročkai
2010 ninth international workshop on parallel and distributed methods in …, 2010
1162010
Scalable multi-core LTL model-checking
J Barnat, L Brim, P Ročkai
International SPIN Workshop on Model Checking of Software, 187-203, 2007
962007
A time-optimal on-the-fly parallel algorithm for model checking of weak LTL properties
J Barnat, L Brim, P Ročkai
International Conference on Formal Engineering Methods, 407-425, 2009
462009
DiVinE 2.0: High-performance model checking
J Barnat, L Brim, P Rockai
2009 International Workshop on High Performance Computational Systems …, 2009
462009
Model Checking of C and C++ with DIVINE 4
Z Baranová, J Barnat, K Kejstová, T Kučera, H Lauko, J Mrázek, P Ročkai, ...
International Symposium on Automated Technology for Verification and …, 2017
432017
DiVinE multi-core–A parallel LTL model-checker
J Barnat, L Brim, P Ročkai
International Symposium on Automated Technology for Verification and …, 2008
432008
Parallel partial order reduction with topological sort proviso
J Barnat, L Brim, P Ročkai
2010 8th IEEE International Conference on Software Engineering and Formal …, 2010
412010
Shared hash tables in parallel model checking
J Barnat, P Ročkai
Electronic Notes in Theoretical Computer Science 198 (1), 79-91, 2008
362008
Tool chain to support automated formal verification of avionics simulink designs
J Barnat, J Beran, L Brim, T Kratochvíla, P Ročkai
International Workshop on Formal Methods for Industrial Critical Systems, 78-92, 2012
332012
Scalable shared memory LTL model checking
J Barnat, L Brim, P Ročkai
International journal on software tools for technology transfer 12 (2), 139-153, 2010
262010
Towards LTL model checking of unmodified thread-based C & C++ programs
J Barnat, L Brim, P Ročkai
NASA formal methods symposium, 252-266, 2012
232012
Improved state space reductions for LTL model checking of C and C++ programs
P Ročkai, J Barnat, L Brim
NASA Formal Methods Symposium, 1-15, 2013
202013
Symbolic computation via program transformation
H Lauko, P Ročkai, J Barnat
International Colloquium on Theoretical Aspects of Computing, 313-332, 2018
182018
Distributed LTL model checking with hash compaction
J Barnat, J Havlíček, P Ročkai
Electronic Notes in Theoretical Computer Science 296, 79-93, 2013
182013
On-the-fly parallel model checking algorithm that is optimal for verification of weak LTL properties
J Barnat, L Brim, P Ročkai
Science of Computer Programming 77 (12), 1272-1288, 2012
152012
From model checking to runtime verification and back
K Kejstová, P Ročkai, J Barnat
International Conference on Runtime Verification, 225-240, 2017
142017
DiVM: model checking with LLVM and graph memory
P Ročkai, V Štill, I Černá, J Barnat
Journal of Systems and Software 143, 1-13, 2018
132018
Fast, dynamically-sized concurrent hash table
J Barnat, P Ročkai, V Štill, J Weiser
International SPIN Workshop on Model Checking of Software, 49-65, 2015
102015
The system can't perform the operation now. Try again later.
Articles 1–20