Travelled to:1 × Italy
1 × Russia
1 × USA
1 × United Kingdom
Collaborated with:J.Barnat L.Brim V.Still I.Cerná P.Moravec P.Simecek V.Havel J.Havlícek J.Kriho M.Lenco J.Weiser
Talks about:model (2) vin (2) multithread (1) distribut (1) techniqu (1) parallel (1) explicit (1) topolog (1) proviso (1) program (1)
Person: Petr Rockai
DBLP: Rockai:Petr
Contributed to:
2015
201320102006Wrote 4 papers:
- SEFM-2015-RockaiSB #c #c++ #model checking
- Techniques for Memory-Efficient Model Checking of C and C++ Code (PR, VS, JB), pp. 268–282.
- CAV-2013-BarnatBHHKLRSW #c #c++ #model checking #parallel #source code #thread
- DiVinE 3.0 — An Explicit-State Model Checker for Multithreaded C & C++ Programs (JB, LB, VH, JH, JK, ML, PR, VS, JW), pp. 863–868.
- SEFM-2010-BarnatBR #parallel #partial order #reduction
- Parallel Partial Order Reduction with Topological Sort Proviso (JB, LB, PR), pp. 222–231.
- CAV-2006-BarnatBCMRS #distributed #named #verification
- DiVinE — A Tool for Distributed Verification (JB, LB, IC, PM, PR, PS), pp. 278–281.