| 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, ... Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013 | 178 | 2013 |
| DiVinE – A Tool for Distributed Verification: (Tool Paper) J Barnat, L Brim, I Černá, P Moravec, P Ročkai, P Šimeček International Conference on Computer Aided Verification, 278-281, 2006 | 170 | 2006 |
| 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 | 122 | 2010 |
| Scalable multi-core LTL model-checking J Barnat, L Brim, P Ročkai Model Checking Software: 14th International SPIN Workshop, Berlin, Germany …, 2007 | 102 | 2007 |
| 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, ... Automated Technology for Verification and Analysis: 15th International …, 2017 | 91 | 2017 |
| DiVinE 2.0: High-performance model checking J Barnat, L Brim, P Rockai 2009 International Workshop on High Performance Computational Systems …, 2009 | 52 | 2009 |
| 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 | 51 | 2010 |
| 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 | 51 | 2009 |
| DiVinE multi-core–A parallel LTL model-checker J Barnat, L Brim, P Ročkai International Symposium on Automated Technology for Verification and …, 2008 | 48 | 2008 |
| 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 | 39 | 2012 |
| Shared hash tables in parallel model checking J Barnat, P Ročkai Electronic Notes in Theoretical Computer Science 198 (1), 79-91, 2008 | 39 | 2008 |
| Symbolic computation via program transformation H Lauko, P Ročkai, J Barnat Theoretical Aspects of Computing–ICTAC 2018: 15th International Colloquium …, 2018 | 32 | 2018 |
| 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 | 30 | 2010 |
| From model checking to runtime verification and back K Kejstová, P Ročkai, J Barnat Runtime Verification: 17th International Conference, RV 2017, Seattle, WA …, 2017 | 29 | 2017 |
| 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 | 25 | 2018 |
| 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 | 24 | 2012 |
| 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 | 23 | 2013 |
| 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 | 20 | 2013 |
| 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 | 16 | 2012 |
| 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 | 13 | 2015 |
Jiří BarnatMasaryk University, Faculty of InformaticsVerified email at fi.muni.cz
Jiří BarnatMasaryk University, Faculty of InformaticsVerified email at fi.muni.cz