Robustness analysis of stochastic biochemical systems by Česka, M, Šafránek, D, Dražan, S, Brim, L

Exploring Parameter Space of Stochastic Biochemical Systems Using Quantitative Model Checking by Brim, L, Češka, M, Dražan, S, Šafránek, D

Designing Fast LTL Model Checking Algorithms for Many−Core GPUs by Barnat, J, Bauch, P, Brim, L, Češka, M

Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks by Abate, A, Brim, L, Ceska, M, Kwiatkowska, M

Computing Strongly Connected Components in Parallel on CUDA by Barnat, J, Bauch, P, Brim, L, Češka, M

Precise parameter synthesis for stochastic biochemical systems by Kwiatkowska, M, Ceska, M, Dannenberg, F, Paoletti, N, Brim, L

PRISM-PSY: Precise GPU-accelerated parameter synthesis for stochastic systems by Češka, M, Pilar, P, Paoletti, N, Brim, L, Kwiatkowska, M