Sledovat
Milan Ceska
Název
Citace
Citace
Rok
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
1192010
Precise parameter synthesis for stochastic biochemical systems
M Češka, F Dannenberg, P Nicola, M Kwiatkowska, L Brim
Acta Informatica, 1-35, 2016
1052016
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
1052014
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
582017
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
Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 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
Model checking of biological systems
L Brim, M Češka, D Šafránek
Formal Methods for Dynamical Systems: 13th International School on Formal …, 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
462018
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
392016
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
372008
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
362017
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
342015
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
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
292017
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
252020
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
252019
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
252015
DiVinE-CUDA-A tool for GPU accelerated LTL model checking
J Barnat, L Brim, M Češka
arXiv preprint arXiv:0912.2555, 2009
212009
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.
Články 1–20