prof. RNDr. Luboš Brim, CSc.

2016

• Model checking C++ programs with exceptions

  ROČKAI Petr BARNAT Jiří BRIM Luboš

  Článek v odborném periodiku

  Science of Computer Programming, rok: 2016, ročník: 128, vydání: 15 October 2016, DOI

• Parallel SMT-Based Parameter Synthesis with Application to Piecewise Multi-Affine Systems

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

  Článek ve sborníku

  Automated Technology for Verification and Analysis. ATVA 2016, rok: 2016

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

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

  Článek ve sborníku

  22nd International Conference, TACAS 2016, rok: 2016

• Toward Modelling and Analysis of Transient and Sustained Behaviour of Signalling Pathways

  HAJNAL Matej ŠAFRÁNEK David DEMKO Martin PASTVA Samuel KREJČÍ Pavel BRIM Luboš

  Článek ve sborníku

  Hybrid Systems Biology. HSB 2016, rok: 2016

2015

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

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

  Článek ve sborníku

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

• Biochemical Space: A Language for Formal Description and Annotation of Complex Biological Processes

  TROJÁK Matej ŠAFRÁNEK David KLEMENT Matej DĚD Tadeáš ČERVENÝ Jan BRIM Luboš

  Další prezentace na konferencích

  Rok: 2015, druh: Další prezentace na konferencích

• Coloured Model Checking Approach to Parameter Synthesis for Executable Models in Synthetic Biology

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

  Konferenční abstrakty

  Rok: 2015, druh: Konferenční abstrakty

• Compact Representation of Photosynthesis Dynamics by Rule-based Models

  BRIM Luboš NIŽNAN Juraj ŠAFRÁNEK David

  Článek ve sborníku

  5th International Workshop on Static Analysis and Systems Biology (SASB 2014), rok: 2015

• High-Performance Discrete Bifurcation Analysis for Piecewise-Affine Dynamical Systems

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

  Článek ve sborníku

  Hybrid Systems Biology Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised Selected Papers, rok: 2015

• Parameter Synthesis by Parallel Coloured CTL Model Checking

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

  Článek ve sborníku

  Computational Methods in Systems Biology, rok: 2015