| Distributed LTL model-checking in SPIN J Barnat, L Brim, J Stribrna SPIN 2057, 200-216, 2001 | 176 | 2001 |
| 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 | 170 | 2013 |
| DiVinE – A Tool for Distributed Verification: (Tool Paper) J Barnat, L Brim, I Černá, P Moravec, P Ročkai, P Šimeček Computer Aided Verification: 18th International Conference, CAV 2006 …, 2006 | 165 | 2006 |
| Faster algorithms for mean-payoff games L Brim, J Chaloupka, L Doyen, R Gentilini, JF Raskin Formal methods in system design 38, 97-118, 2011 | 149 | 2011 |
| Computing strongly connected components in parallel on CUDA J Barnat, P Bauch, L Brim, M Ceška 2011 IEEE International Parallel & Distributed Processing Symposium, 544-555, 2011 | 122 | 2011 |
| 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 | 119 | 2010 |
| Accepting Predecessors are Better than Back Edges in Distributed LTL Model-Checking L Brim, I Černá, P Moravec, J Šimša Brno: Faculty of Informatics, 2004 | 113 | 2004 |
| Component-interaction automata as a verification-oriented component-based system specification L Brim, I Černá, P Vařeková, B Zimmerova ACM SIGSOFT Software Engineering Notes 31 (2), 4-es, 2005 | 110 | 2005 |
| Precise parameter synthesis for stochastic biochemical systems M Češka, F Dannenberg, N Paoletti, M Kwiatkowska, L Brim Acta Informatica 54, 589-623, 2017 | 105 | 2017 |
| Parallel breadth-first search LTL model-checking J Barnat, L Brim, J Chaloupka 18th IEEE International Conference on Automated Software Engineering, 2003 …, 2003 | 100 | 2003 |
| Scalable multi-core LTL model-checking J Barnat, L Brim, P Ročkai Model Checking Software: 14th International SPIN Workshop, Berlin, Germany …, 2007 | 99 | 2007 |
| Distributed LTL Model-Checking Based on Negative Cycle Detection L Brim, I Černá, P Krčál, R Pelánek FST-TCS 2001, 96-110, 2001 | 95 | 2001 |
| On parameter synthesis by parallel model checking A Streck, A Krejci, L Brim, J Barnat, D Safranek, M Vejnar, T Vejpustek IEEE/ACM Transactions on Computational Biology and Bioinformatics 9 (03 …, 2012 | 77* | 2012 |
| Designing fast LTL model checking algorithms for many-core GPUs J Barnat, P Bauch, L Brim, M Češka Journal of Parallel and Distributed Computing 72 (9), 1083-1097, 2012 | 58 | 2012 |
| Property driven distribution of nested DFS J Barnat, L Brim, I Cerna Proceeding of the 3rd International Workshop on Verification and …, 2002 | 58 | 2002 |
| Exploring parameter space of stochastic biochemical systems using quantitative model checking L Brim, M Češka, S Dražan, D Šafránek Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013 | 57 | 2013 |
| CUDA accelerated LTL model checking J Barnat, L Brim, M Ceška, T Lamr 2009 15th International Conference on Parallel and Distributed Systems, 34-41, 2009 | 57 | 2009 |
| Efficient large-scale model checking K Verstoep, HE Bal, J Barnat, L Brim 2009 IEEE International Symposium on Parallel & Distributed Processing, 1-12, 2009 | 55 | 2009 |
| Model checking of biological systems L Brim, M Češka, D Šafránek Formal Methods for Dynamical Systems: 13th International School on Formal …, 2013 | 51 | 2013 |
| DiVinE 2.0: High-performance model checking J Barnat, L Brim, P Rockai 2009 International Workshop on High Performance Computational Systems …, 2009 | 50 | 2009 |
