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

2025

• Tools at the Frontiers of Quantitative Verification QComp 2023 Competition Report

  ANDRIUSHCHENKO Roman BORK Alexander BUDDE Carlos E. ČEŠKA Milan GROVER Kush HAHN Ernst Moritz HARTMANNS Arnd ISRAELSEN Bryant JANSEN Nils JEPPSON Joshua JUNGES Sebastian KOEHL Maximilian A. KOENIGHOFER Bettina KŘETÍNSKÝ Jan MEGGENDORFER Tobias PARKER David PRANGER Stefan QUATMANN Tim RUIJTERS Enno TAYLOR Landon VOLK Matthias WEININGER Maximilian ZHANG Zhen

  Paper in proceedings

  TOOLYMPICS CHALLENGE 2023, year: 2025, DOI

2024

• Abstraction-based segmental simulation of reaction networks using adaptive memoization

  HELFRICH Martin ANDRIUSHCHENKO Roman ČEŠKA Milan KŘETÍNSKÝ Jan MARTIČEK Štefan ŠAFRÁNEK David

  Peer-reviewed scientific article

  BMC Bioinformatics, year: 2024, volume: 25, edition: 350, DOI

2022

• Abstraction-Based Segmental Simulation of Chemical Reaction Networks

  HELFRICH Martin ČEŠKA Milan KŘETÍNSKÝ Jan MARTICEK Stefan

  Paper in proceedings

  Computational Methods in Systems Biology - 20th International Conference, CMSB 2022, Bucharest, Romania, September 14-16, 2022, Proceedings, year: 2022, DOI

2020

• SeQuaiA: A Scalable Tool for Semi-Quantitative Analysis of Chemical Reaction Networks

  ČEŠKA Milan CHAU Calvin KŘETÍNSKÝ Jan

  Paper in proceedings

  Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I, year: 2020, DOI

2019

• Semi-quantitative Abstraction and Analysis of Chemical Reaction Networks

  ČEŠKA Milan KŘETÍNSKÝ Jan

  Paper in proceedings

  Computer Aided Verification - 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I, year: 2019, DOI

• Semi-quantitative Abstraction and Analysis of Chemical Reaction Networks (Extended Abstract)

  ČEŠKA Milan KŘETÍNSKÝ Jan

  Paper in proceedings

  Computational Methods in Systems Biology - 17th International Conference, CMSB 2019, Trieste, Italy, September 18-20, 2019, Proceedings, year: 2019, DOI

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

  Paper in proceedings

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

• Precise parameter synthesis for stochastic biochemical systems

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

  Peer-reviewed scientific article

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

• Precise parameter synthesis for stochastic biochemical systems

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

  Peer-reviewed scientific article

  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

  Paper in proceedings

  22nd International Conference, TACAS 2016, year: 2016, DOI