doc. RNDr. Milan Češka, Ph.D.

2017

• Parametric multi-step scheme for GPU-accelerated graph decomposition into strongly connected components

  ALDEGHERI Stefano BARNAT Jiří BOMBIERI Nicola BUSATO Federico ČEŠKA Milan

  Article in Proceedings

  22nd International Conference on Parallel and Distributed Computing, Euro-Par 2016, year: 2017

• Precise parameter synthesis for stochastic biochemical systems

  ČEŠKA Milan DANNENBERG Frits KWIATKOWSKA Marta BRIM Luboš

  Article in Periodical

  Acta informatica, year: 2017, volume: 54, edition: 6, DOI

2016

• PRISM-PSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems

  ČEŠKA Milan PILAŘ Petr PAOLETTI Nikola BRIM Luboš KWIATKOWSKA Marta

  Article in Proceedings

  22nd International Conference, TACAS 2016, year: 2016

2015

• Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks

  ABATE Alessandro ČEŠKA Milan BRIM Luboš KWIATKOWSKA Marta

  Article in Proceedings

  27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, year: 2015

• Parameter Synthesis by Parallel Coloured CTL Model Checking

  BRIM Luboš ČEŠKA Milan DEMKO Martin PASTVA Samuel ŠAFRÁNEK David

  Article in Proceedings

  Computational Methods in Systems Biology, year: 2015

• Stochastic Modelling of the Interface between Regulatory Enzymes and Transcription Initiation at Inducible Genes

  ČEŠKA Milan SCHNEIDER Caroline ALESSANDRO Abate ŠAFRÁNEK David MAHADEVAN Louis KWIATKOWSKA Marta

  Appeared in Conference without Proceedings

  Year: 2015, type: Appeared in Conference without Proceedings

2014

• Precise Parameter Synthesis for Stochastic Biochemical Systems

  ČEŠKA Milan DANNENBERG Frits KWIATKOWSKA Marta PAOLETTI Nicola

  Article in Proceedings

  Computational Methods in Systems Biology, year: 2014

• Robustness Analysis of Stochastic Biochemical Systems

  ČEŠKA Milan ŠAFRÁNEK David DRAŽAN Sven BRIM Luboš

  Article in Periodical

  Plos One, year: 2014, volume: 9, edition: 4, DOI

2013

• Exploring Parameter Space of Stochastic Biochemical Systems Using Quantitative Model Checking

  BRIM Luboš ČEŠKA Milan DRAŽAN Sven ŠAFRÁNEK David

  Article in Proceedings

  25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings, year: 2013

• Model Checking of Biological Systems

  BRIM Luboš ČEŠKA Milan ŠAFRÁNEK David

  Article in Proceedings

  Formal Methods for Dynamical Systems, year: 2013