Seguir
Milan Ceska
Título
Citado por
Citado por
Ano
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
1222011
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
1212010
Precise parameter synthesis for stochastic biochemical systems
M Češka, F Dannenberg, P Nicola, M Kwiatkowska, L Brim
Acta Informatica, 1-35, 2016
962016
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
962014
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
582012
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
572013
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
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
532017
Model checking of biological systems
L Brim, M Češka, D Šafránek
International School on Formal Methods for the Design of Computer …, 2013
512013
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
432018
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
402016
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
382017
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
382008
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
342010
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
332015
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
262017
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
252015
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
242019
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
222020
DiVinE-CUDA-A tool for GPU accelerated LTL model checking
J Barnat, L Brim, M Češka
arXiv preprint arXiv:0912.2555, 2009
212009
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–20