| 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 | 136 | 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 | 125 | 2010 |
| Precise parameter synthesis for stochastic biochemical systems M Češka, F Dannenberg, P Nicola, M Kwiatkowska, L Brim Acta Informatica, 1-35, 2016 | 123 | 2016 |
| Precise Parameter Synthesis for Stochastic Biochemical Systems M Češka, F Dannenberg, M Kwiatkowska, N Paoletti Computational Methods in Systems Biology 8859, 86-98, 2014 | 123 | 2014 |
| Approximating complex arithmetic circuits with formal error guarantees: 32-bit multipliers accomplished M Češka, J Matyáš, V Mrazek, L Sekanina, Z Vasicek, T Vojnar 2017 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 416-423, 2017 | 74 | 2017 |
| Efficient synthesis of robust models for stochastic systems R Calinescu, M Češka, S Gerasimou, M Kwiatkowska, N Paoletti Journal of Systems and Software 143, 140-158, 2018 | 67 | 2018 |
| 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 | 65 | 2012 |
| Exploring parameter space of stochastic biochemical systems using quantitative model checking L Brim, M Češka, S Dražan, D Šafránek International Conference on Computer Aided Verification, 107-123, 2013 | 63 | 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 | 61 | 2009 |
| Model checking of biological systems L Brim, M Češka, D Šafránek International School on Formal Methods for the Design of Computer …, 2013 | 53 | 2013 |
| Petriho sítě: úvod do teorie a nástrojů pro aplikaci Petriho sítí M Češka CERM, 1994 | 47 | 1994 |
| PRISM-PSY: precise GPU-accelerated parameter synthesis for stochastic systems M Češka, P Pilař, N Paoletti, L Brim, M Kwiatkowska International Conference on Tools and Algorithms for the Construction and …, 2016 | 46 | 2016 |
| Shepherding hordes of Markov chains M Češka, N Jansen, S Junges, JP Katoen International Conference on Tools and Algorithms for the Construction and …, 2019 | 41 | 2019 |
| ProbDiVinE-MC: Multi-core LTL model checker for probabilistic systems J Barnat, L Brim, I Cerná, M Ceška, J Tumova 2008 Fifth International Conference on Quantitative Evaluation of Systems, 77-78, 2008 | 40 | 2008 |
| Parameter synthesis by parallel coloured CTL model checking L Brim, M Češka, M Demko, S Pastva, D Šafránek International Conference on Computational Methods in Systems Biology, 251-263, 2015 | 37 | 2015 |
| Designing robust software systems through parametric Markov chain synthesis R Calinescu, M Češka, S Gerasimou, M Kwiatkowska, N Paoletti 2017 IEEE International Conference on Software Architecture (ICSA), 131-140, 2017 | 36 | 2017 |
| Syntax-guided optimal synthesis for chemical reaction networks L Cardelli, M Češka, M Fränzle, M Kwiatkowska, L Laurenti, N Paoletti, ... Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017 | 36 | 2017 |
| PAYNT: A tool for inductive synthesis of probabilistic programs R Andriushchenko, M Češka, S Junges, JP Katoen, Š Stupinský International Conference on Computer Aided Verification, 856-869, 2021 | 35 | 2021 |
| Employing multiple CUDA devices to accelerate LTL model checking J Barnat, P Bauch, L Brim, M Češka 2010 IEEE 16th International Conference on Parallel and Distributed Systems …, 2010 | 35 | 2010 |
| Approximate reduction of finite automata for high-speed network intrusion detection M Češka, V Havlena, L Holík, O Lengál, T Vojnar International Journal on Software Tools for Technology Transfer 22 (5), 523-539, 2020 | 30 | 2020 |
Jiří BarnatMasaryk University, Faculty of Informaticsfi.muni.cz의 이메일 확인됨