prof. RNDr. Luboš Brim, CSc.

2021

• Computing Bottom SCCs Symbolically Using Transition Guided Reduction

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

  Article in Proceedings

  Computer Aided Verification - 33rd International Conference, CAV 2021, year: 2021

• Symbolic Coloured SCC Decomposition

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

  Article in Proceedings

  Tools and Algorithms for the Construction and Analysis of Systems, 27th International Conference, TACAS 2021, year: 2021

2020

• AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks

  BENEŠ Nikola BRIM Luboš KADLECAJ Jakub PASTVA Samuel ŠAFRÁNEK David

  Article in Proceedings

  Computer Aided Verification. CAV 2020, year: 2020

• Digital Bifurcation Analysis of Internet Congestion Control Protocols

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

  Article in Periodical

  International Journal of Bifurcation and Chaos, year: 2020, volume: 30, edition: 13, DOI

• eBCSgen: A Software Tool for Biochemical Space Language

  TROJÁK Matej ŠAFRÁNEK David MERTOVÁ Lukrécia BRIM Luboš

  Article in Proceedings

  18th International Conference on Computational Methods in Systems Biology, CMSB 2020, year: 2020

• Executable Biochemical Space for Specification and Analysis of Biochemical Systems

  TROJÁK Matej ŠAFRÁNEK David BRIM Luboš ŠALAGOVIČ Jakub ČERVENÝ Jan

  Article in Proceedings

  9th International Workshop on Static Analysis and Systems Biology (SASB), year: 2020

• Executable Biochemical Space for Specification and Analysis of Biochemical Systems

  TROJÁK Matej ŠAFRÁNEK David MERTOVÁ Lukrécia BRIM Luboš

  Appeared in Conference without Proceedings

  Year: 2020, type: Appeared in Conference without Proceedings

• Executable Biochemical Space for Specification and Analysis of Biochemical Systems

  TROJÁK Matej ŠAFRÁNEK David MERTOVÁ Lukrécia BRIM Luboš

  Article in Periodical

  PLOS ONE, year: 2020, volume: 15, edition: 9, DOI

• Parallel parameter synthesis algorithm for hybrid CTL

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

  Article in Periodical

  Science of Computer Programming, year: 2020, volume: 185, edition: 102321, DOI

• Parallel Parameter Synthesis for Multi-affine Hybrid Systems from Hybrid CTL Specifications.

  ŠMIJÁKOVÁ Eva PASTVA Samuel ŠAFRÁNEK David BRIM Luboš

  Article in Proceedings

  Computational Methods in Systems Biology. CMSB 2020. Lecture Notes in Computer Science, vol 12314, year: 2020