prof. RNDr. Luboš Brim, CSc.


Kancelář: A411
Botanická 554/68a
602 00 Brno

Zobrazit na mapě

Telefon: 549 49 3647
E‑mail:
Publikace

2016

A Model Checking Approach to Discrete Bifurcation Analysis

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

A Model Checking Approach to Dynamical Systems Analysis

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

Analysing Sanity of Requirements for Avionics Systems

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

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

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

Model checking C++ programs with exceptions

ROČKAI Petr BARNAT Jiří BRIM Luboš

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

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

Precise parameter synthesis for stochastic biochemical systems

ČEŠKA Milan — DANNENBERG Frits — KWIATKOWSKA Marta — BRIM Luboš

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

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

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

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

2015

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

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

Předchozí 1 2 3 4 5 6 7 17 Další

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info