Suivre
Milan Ceska
Titre
Citée par
Citée par
Année
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
1352011
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
1252010
Precise parameter synthesis for stochastic biochemical systems
M Češka, F Dannenberg, P Nicola, M Kwiatkowska, L Brim
Acta Informatica, 1-35, 2016
1212016
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
1212014
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
682017
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
642018
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
642012
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
622013
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
612009
Model checking of biological systems
L Brim, M Češka, D Šafránek
International School on Formal Methods for the Design of Computer …, 2013
532013
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
452016
Petriho sítě: úvod do teorie a nástrojů pro aplikaci Petriho sítí
M Češka
CERM, 1994
421994
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
402008
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
392019
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
372015
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
352017
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
342017
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
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
302020
PAYNT: A tool for inductive synthesis of probabilistic programs
R Andriushchenko, M Češka, S Junges, JP Katoen, Š Stupinský
International Conference on Computer Aided Verification, 856-869, 2021
282021
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20