Milan Ceska

Cited by

	All	Since 2016
Citations	915	578
h-index	18	14
i10-index	21	18

160

120

200820092010201120122013201420152016201720182019202020213 3 22 39 61 70 60 68 112 63 126 142 105 29

Public access

View all

4 articles

1 article

available

not available

Based on funding mandates

Co-authors

Luboš BrimMasaryk university, Faculty of InformaticsVerified email at fi.muni.cz
Jiří BarnatMasaryk University, Faculty of InformaticsVerified email at fi.muni.cz
Marta KwiatkowskaProfessor of Computing Systems, University of OxfordVerified email at comlab.ox.ac.uk
Nicola PaolettiLecturer, Department of Computer Science, Royal Holloway University LondonVerified email at stonybrook.edu
David Safranekassistant professor, Masaryk university, Faculty of informaticsVerified email at safranek.cz
Tomas VojnarFIT, Brno University of TechnologyVerified email at fit.vutbr.cz
Alessandro AbateProfessor of Verification and Control, University of OxfordVerified email at cs.ox.ac.uk
Vojtech MrazekPost-doc researcher, Brno University of TechnologyVerified email at fit.vutbr.cz
Simos GerasimouLecturer in Computer Science, University of YorkVerified email at york.ac.uk
Radu CalinescuReader, Department of Computer Science, University of YorkVerified email at york.ac.uk
Jana TumovaKTHVerified email at kth.se
Lukas SekaninaProfessor of Computer Science and Engineering, Brno University of TechnologyVerified email at fit.vutbr.cz
Zdenek VasicekBrno University of TechnologyVerified email at fit.vutbr.cz
Petr RočkaiFaculty of Informatics, Masaryk University in BrnoVerified email at mornfall.net
Luca CardelliUniversity of OxfordVerified email at cs.ox.ac.uk
Luca LaurentiTU DelftVerified email at tudelft.nl
Ivana CernaMasaryk University, Brno, Czech RepublicVerified email at fi.muni.cz
Frits DannenbergVerified email at caltech.edu
Sebastian JungesPostDoc at the University of California, BerkeleyVerified email at berkeley.edu
Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteVerified email at cs.rwth-aachen.de

Milan Ceska

Brno University of Technology

Verified email at fit.vutbr.cz - Homepage

Formal methods parameter synthesis computational systems biology parallel algorithms


Title Sort by citations Sort by year Sort by 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	116	2010
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	109	2011
Precise parameter synthesis for stochastic biochemical systems M Češka, F Dannenberg, P Nicola, M Kwiatkowska, L Brim Acta Informatica, 1-35, 2016	82	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	82	2014
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	57	2009
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	54	2012
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	51	2013
Model checking of biological systems L Brim, M Češka, D Šafránek International School on Formal Methods for the Design of Computer …, 2013	47	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	36	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	36	2008
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	33	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	32	2010
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	29	2017
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	28	2015
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	24	2015
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	23	2018
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	21	2017
Robustness analysis of stochastic biochemical systems M Česka, D Šafránek, S Dražan, L Brim PloS one 9 (4), e94553, 2014	18	2014
DiVinE-CUDA-A tool for GPU accelerated LTL model checking J Barnat, L Brim, M Češka arXiv preprint arXiv:0912.2555, 2009	18	2009
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	14	2017

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors