Lubos Brim

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Martin Demko

> Home > Persons > Lubos Brim

Publications

2019
[c87]
- view
  authority control:
- export record
  dblp key:
  - conf/cmsb/SafranekTBVPDPP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmsb/SafranekTBVPDPP19
David Safránek, Matej Troják, Vojtech Bruza, Tomás Vejpustek, Jan Papousek, Martin Demko, Samuel Pastva, Ales Pejznoch, Lubos Brim:
Barbaric Robustness Monitoring Revisited for STL* in Parasim. CMSB 2019: 356-359
2017
[c82]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/BenesBDPS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BenesBDPS17
Nikola Benes, Lubos Brim, Martin Demko, Samuel Pastva, David Safránek:
Pithya: A Parallel Tool for Parameter Synthesis of Piecewise Multi-affine Dynamical Systems. CAV (1) 2017: 591-598
[c81]
- view
  authority control:
- export record
  dblp key:
  - conf/cmsb/BarnatBBDHPS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmsb/BarnatBBDHPS17
Jiri Barnat, Nikola Benes, Lubos Brim, Martin Demko, Matej Hajnal, Samuel Pastva, David Safránek:
Detecting Attractors in Biological Models with Uncertain Parameters. CMSB 2017: 40-56
2016
[c80]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/BenesBDPS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/BenesBDPS16
Nikola Benes, Lubos Brim, Martin Demko, Samuel Pastva, David Safránek:
Parallel SMT-Based Parameter Synthesis with Application to Piecewise Multi-affine Systems. ATVA 2016: 192-208
[c79]
- view
  authority control:
- export record
  dblp key:
  - conf/cmsb/DemkoBBPS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmsb/DemkoBBPS16
Martin Demko, Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek:
High-Performance Symbolic Parameter Synthesis of Biological Models: A Case Study. CMSB 2016: 82-97
[c78]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/BenesBDPS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/BenesBDPS16
Nikola Benes, Lubos Brim, Martin Demko, Samuel Pastva, David Safránek:
A Model Checking Approach to Discrete Bifurcation Analysis. FM 2016: 85-101
[c77]
- view
  authority control:
- export record
  dblp key:
  - conf/hsb/HajnalSDPKB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hsb/HajnalSDPKB16
Matej Hajnal, David Safránek, Martin Demko, Samuel Pastva, Pavel Krejcí, Lubos Brim:
Toward Modelling and Analysis of Transient and Sustained Behaviour of Signalling Pathways. HSB 2016: 57-66
2015
[c74]
- view
  authority control:
- export record
  dblp key:
  - conf/cmsb/BrimCDPS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmsb/BrimCDPS15
Lubos Brim, Milan Ceska, Martin Demko, Samuel Pastva, David Safránek:
Parameter Synthesis by Parallel Coloured CTL Model Checking. CMSB 2015: 251-263
[c73]
- view
  authority control:
- export record
  dblp key:
  - conf/hsb/BrimDPS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hsb/BrimDPS15
Lubos Brim, Martin Demko, Samuel Pastva, David Safránek:
High-Performance Discrete Bifurcation Analysis for Piecewise-Affine Dynamical Systems. HSB 2015: 58-74

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.