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

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

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áš

Formal Biochemical Space with Semantics in Kappa and BNGL

DĚD Tadeáš — ŠAFRÁNEK David TROJÁK Matej — KLEMENT Matej — ŠALAGOVIČ Jakub BRIM Luboš

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

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

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

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

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

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

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