AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Jiří Barnat

Jiří Barnat

Masaryk University in Brno - Brno / Czech Republic
Engineering & Technology / Earth Sciences
AD Scientific Index ID: 1605120
Masaryk University
person_outline Jiří Barnat's MOST POPULAR ARTICLES
1-) Distributed LTL model-checking in SPIN Model Checking Software, 200-216, 2001
2-) DiVinE 3.0–an explicit-state model checker for multithreaded C & C++ programs International Conference on Computer Aided Verification, 863-868, 2013
3-) Temporal logic control of discrete-time piecewise affine systems IEEE Transactions on Automatic Control 57 (6), 1491-1504, 2011
4-) DiVinE–a tool for distributed verification Computer Aided Verification, 278-281, 2006
5-) Computing strongly connected components in parallel on CUDA 2011 IEEE International Parallel & Distributed Processing Symposium, 544-555, 2011