prof. RNDr. Luboš Brim, CSc.
profesor – Katedra teorie programování
kancelář: A411
Botanická 554/68a
602 00 Brno
telefon: | 549 49 3647 |
---|---|
e‑mail: |
sociální a akademické sítě: |
---|
Počet publikací: 198
2016
-
Parallel SMT-Based Parameter Synthesis with Application to Piecewise Multi-Affine Systems
Automated Technology for Verification and Analysis. ATVA 2016, rok: 2016
-
PRISM-PSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems
22nd International Conference, TACAS 2016, rok: 2016
-
Toward Modelling and Analysis of Transient and Sustained Behaviour of Signalling Pathways
Hybrid Systems Biology. HSB 2016, rok: 2016
2015
-
Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks
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
Rok: 2015, druh: Další prezentace na konferencích
-
Coloured Model Checking Approach to Parameter Synthesis for Executable Models in Synthetic Biology
Rok: 2015, druh: Konferenční abstrakty
-
Compact Representation of Photosynthesis Dynamics by Rule-based Models
5th International Workshop on Static Analysis and Systems Biology (SASB 2014), rok: 2015
-
High-Performance Discrete Bifurcation Analysis for Piecewise-Affine Dynamical Systems
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
Computational Methods in Systems Biology, rok: 2015
2014
-
Model Checking C++ with Exceptions
Electronic Communications of the EASST, rok: 2014, ročník: 70, vydání: Listopad, DOI