prof. RNDr. Luboš Brim, CSc.

2020

• Parameter Synthesis and Robustness Analysis of Rule-Based Models

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

  Article in Proceedings

  12th International Symposium on NASA Formal Methods, NFM 2020, year: 2020

2019

• Accelerating Parameter Synthesis Using Semi-algebraic Constraints

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

  Article in Proceedings

  Integrated Formal Methods, year: 2019

• Barbaric Robustness Monitoring Revisited for STL* in Parasim

  ŠAFRÁNEK David TROJÁK Matej BRŮŽA Vojtěch VEJPUSTEK Tomáš PAPOUŠEK Jan DEMKO Martin PASTVA Samuel PEJZNOCH Aleš BRIM Luboš

  Article in Proceedings

  Computational Methods in Systems Biology (CMSB 2019), year: 2019

• Digital Bifurcation Analysis of TCP Dynamics

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

  Article in Proceedings

  Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2019, year: 2019

• Facetal Abstraction for Non-linear Dynamical Systems Based on delta-decidable SMT

  BENEŠ Nikola BRIM Luboš DRAŽANOVÁ Jana PASTVA Samuel ŠAFRÁNEK David

  Article in Proceedings

  Proceedings of the 22Nd ACM International Conference on Hybrid Systems: Computation and Control, year: 2019

• Formal Analysis of Qualitative Long-Term Behaviour in Parametrised Boolean Networks.

  BENEŠ Nikola BRIM Luboš PASTVA Samuel POLÁČEK Jakub ŠAFRÁNEK David

  Article in Proceedings

  Formal Methods and Software Engineering - 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings, year: 2019

• Model Checking Approach to the Analysis of Biological Systems

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

  Chapter of a book

  Automated Reasoning for Systems Biology and Medicine, year: 2019, number of pages: 33 s.

2018

• Fully Automated Attractor Analysis of Cyanobacteria Models

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

  Article in Proceedings

  22nd International Conference on System Theory, Control and Computing, year: 2018

• PITHYA

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

  Year: 2018

2017

• Detecting Attractors in Biological Models with Uncertain Parameters

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

  Article in Proceedings

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