RNDr. Petr Ročkai, Ph.D.

Assistant professor, Department of Computer Systems and Communications

Correspondence Address:
Botanická 554/68a, 602 00 Brno

E‑mail:

social and academic networks:

Basic information

Type

Total number of publications: 45

2008

DiVinE Multi-Core -- A Parallel LTL Model-Checker

BARNAT Jiří BRIM Luboš ROČKAI Petr

Article in Proceedings

Automated Technology for Verification and Analysis, year: 2008
Shared Hash Tables in Parallel Model Checking

BARNAT Jiří ROČKAI Petr

Article in Periodical

Electronic Notes in Theoretical Computer Science, year: 2008, volume: 2008, edition: 198(1)

2007

DiVinE Multi-Core

BARNAT Jiří BRIM Luboš ROČKAI Petr

Year: 2007
Scalable Multi-core LTL Model-Checking

BARNAT Jiří BRIM Luboš ROČKAI Petr

Article in Proceedings

Model Checking Software, year: 2007

2006

DiVinE -- A Tool for Distributed Verification

BARNAT Jiří BRIM Luboš ČERNÁ Ivana MORAVEC Pavel ROČKAI Petr ŠIMEČEK Pavel

Article in Proceedings

Computer Aided Verification, year: 2006