Milan Ceska
Cited by
Cited by
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
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
Precise parameter synthesis for stochastic biochemical systems
M Češka, F Dannenberg, P Nicola, M Kwiatkowska, L Brim
Acta Informatica, 1-35, 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
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
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
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
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
Model checking of biological systems
L Brim, M Češka, D Šafránek
Formal Methods for Dynamical Systems: 13th International School on Formal …, 2013
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
Petriho sítě: úvod do teorie a nástrojů pro aplikaci Petriho sítí
M Češka
CERM, 1994
PRISM-PSY: precise GPU-accelerated parameter synthesis for stochastic systems
M Češka, P Pilař, N Paoletti, L Brim, M Kwiatkowska
Tools and Algorithms for the Construction and Analysis of Systems: 22nd …, 2016
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
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
Parameter synthesis by parallel coloured CTL model checking
L Brim, M Češka, M Demko, S Pastva, D Šafránek
Computational Methods in Systems Biology: 13th International Conference …, 2015
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
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
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
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
Adaptive aggregation of Markov chains: Quantitative analysis of chemical reaction networks
A Abate, L Brim, M Češka, M Kwiatkowska
Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015
The system can't perform the operation now. Try again later.
Articles 1–20