prof. RNDr. Luboš Brim, CSc.

2017

• Model Checking Approach to Discrete Bifurcation Analysis

  BENEŠ Nikola BRIM Luboš DEMKO Martin ŠAFRÁNEK David PASTVA Samuel HAJNAL Matej

  Appeared in Conference without Proceedings

  Year: 2017, type: Appeared in Conference without Proceedings

• Parameter Synthesis of Biological Models by Model Checking: A Case Study

  BRIM Luboš ŠAFRÁNEK David BENEŠ Nikola DEMKO Martin PASTVA Samuel HAJNAL Matej

  Appeared in Conference without Proceedings

  Year: 2017, type: Appeared in Conference without Proceedings

• Pithya: A Parallel Tool for Parameter Synthesis of Piecewise Multi-Affine Dynamical Systems

  BENEŠ Nikola BRIM Luboš DEMKO Martin PASTVA Samuel ŠAFRÁNEK David

  Article in Proceedings

  Computer Aided Verification. CAV 2017, year: 2017

• PITHYA: High-Performance Parameter Synthesis for Biological Models

  BRIM Luboš BENEŠ Nikola ŠAFRÁNEK David DEMKO Martin PASTVA Samuel HAJNAL Matej

  Appeared in Conference without Proceedings

  Year: 2017, type: Appeared in Conference without Proceedings

• 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

• A Model Checking Approach to Discrete Bifurcation Analysis

  BENEŠ Nikola BRIM Luboš DEMKO Martin PASTVA Samuel ŠAFRÁNEK David

  Article in Proceedings

  Formal Methods. FM 2016, year: 2016

• Analysing Sanity of Requirements for Avionics Systems

  BARNAT Jiří BAUCH Petr BENEŠ Nikola BRIM Luboš BERAN Jan KRATOCHVÍLA Tomáš

  Article in Periodical

  Formal Aspects of Computing, year: 2016, volume: 28, edition: 1, DOI

• Formal Biochemical Space with Semantics in Kappa and BNGL

  DĚD Tadeáš ŠAFRÁNEK David TROJÁK Matej KLEMENT Matej ŠALAGOVIČ Jakub BRIM Luboš

  Article in Proceedings

  The 6th International Workshop on Static Analysis and Systems Biology, SASB 2015, year: 2016

• High-Performance Symbolic Parameter Synthesis of Biological Models: A Case Study

  DEMKO Martin BENEŠ Nikola BRIM Luboš PASTVA Samuel ŠAFRÁNEK David

  Article in Proceedings

  Computational Methods in Systems Biology. CMSB 2016., year: 2016

• Model checking C++ programs with exceptions

  ROČKAI Petr BARNAT Jiří BRIM Luboš

  Article in Periodical

  Science of Computer Programming, year: 2016, volume: 128, edition: 15 October 2016, DOI