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 | 135 | 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 | 124 | 2010 |
Precise parameter synthesis for stochastic biochemical systems M Češka, F Dannenberg, P Nicola, M Kwiatkowska, L Brim Acta Informatica, 1-35, 2016 | 120 | 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 | 120 | 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 | 66 | 2017 |
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 | 64 | 2012 |
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 | 62 | 2018 |
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 | 62 | 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 |
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 | 45 | 2016 |
Petriho sítě: úvod do teorie a nástrojů pro aplikaci Petriho sítí M Češka CERM, 1994 | 42 | 1994 |
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 |
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 | 37 | 2019 |
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 |
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 | 35 | 2017 |
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 | 34 | 2017 |
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 | 34 | 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 |
Deep packet inspection in FPGAs via approximate nondeterministic automata M Ceška, V Havlena, L Holík, J Korenek, O Lengál, D Matoušek, ... 2019 IEEE 27th Annual International Symposium on Field-Programmable Custom …, 2019 | 26 | 2019 |