Milan Ceska
Title
Cited by
Cited by
Year
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
1162010
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
1092011
Precise parameter synthesis for stochastic biochemical systems
M Češka, F Dannenberg, P Nicola, M Kwiatkowska, L Brim
Acta Informatica, 1-35, 2016
822016
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
822014
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
572009
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
542012
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
512013
Model checking of biological systems
L Brim, M Češka, D ŠafrŠnek
International School on Formal Methods for the Design of Computer†…, 2013
472013
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
362016
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
362008
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
332017
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
322010
Syntax-guided optimal synthesis for chemical reaction networks
L Cardelli, M Češka, M Fršnzle, M Kwiatkowska, L Laurenti, N Paoletti, ...
International Conference on Computer Aided Verification, 375-395, 2017
292017
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
282015
Adaptive aggregation of markov chains: Quantitative analysis of chemical reaction networks
A Abate, L Brim, M Češka, M Kwiatkowska
International Conference on Computer Aided Verification, 195-213, 2015
242015
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
232018
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
212017
Robustness analysis of stochastic biochemical systems
M Česka, D ŠafrŠnek, S Dražan, L Brim
PloS one 9 (4), e94553, 2014
182014
DiVinE-CUDA-A tool for GPU accelerated LTL model checking
J Barnat, L Brim, M Češka
arXiv preprint arXiv:0912.2555, 2009
182009
Reachability computation for switching diffusions: Finite abstractions with certifiable and tuneable precision
L Laurenti, A Abate, L Bortolussi, L Cardelli, M Ceska, M Kwiatkowska
Proceedings of the 20th International Conference on Hybrid Systems†…, 2017
142017
The system can't perform the operation now. Try again later.
Articles 1–20