Luboš Brim


Ontology type: schema:Person     


Person Info

NAME

Luboš

SURNAME

Brim

Publications in SciGraph latest 50 shown

  • 2021-09-13 Aeon 2021: Bifurcation Decision Trees in Boolean Networks in COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY
  • 2021-07-15 Computing Bottom SCCs Symbolically Using Transition Guided Reduction in COMPUTER AIDED VERIFICATION
  • 2021-03-23 Symbolic Coloured SCC Decomposition in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
  • 2020-09-29 Parallel Parameter Synthesis for Multi-affine Hybrid Systems from Hybrid CTL Specifications in COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY
  • 2020-09-29 eBCSgen: A Software Tool for Biochemical Space Language in COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY
  • 2020-08-10 Parameter Synthesis and Robustness Analysis of Rule-Based Models in NASA FORMAL METHODS
  • 2020-07-14 AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks in COMPUTER AIDED VERIFICATION
  • 2019-11-22 Accelerating Parameter Synthesis Using Semi-algebraic Constraints in INTEGRATED FORMAL METHODS
  • 2019-10-28 Formal Analysis of Qualitative Long-Term Behaviour in Parametrised Boolean Networks in FORMAL METHODS AND SOFTWARE ENGINEERING
  • 2019-09-17 Barbaric Robustness Monitoring Revisited for STL* in Parasim in COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY
  • 2019-06-12 Model Checking Approach to the Analysis of Biological Systems in AUTOMATED REASONING FOR SYSTEMS BIOLOGY AND MEDICINE
  • 2019-04-03 Digital Bifurcation Analysis of TCP Dynamics in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
  • 2017-09-01 Detecting Attractors in Biological Models with Uncertain Parameters in COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY
  • 2017-07-13 Pithya: A Parallel Tool for Parameter Synthesis of Piecewise Multi-affine Dynamical Systems in COMPUTER AIDED VERIFICATION
  • 2016-11-08 A Model Checking Approach to Discrete Bifurcation Analysis in FM 2016: FORMAL METHODS
  • 2016-09-25 Toward Modelling and Analysis of Transient and Sustained Behaviour of Signalling Pathways in HYBRID SYSTEMS BIOLOGY
  • 2016-09-22 Parallel SMT-Based Parameter Synthesis with Application to Piecewise Multi-affine Systems in AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS
  • 2016-09-04 High-Performance Symbolic Parameter Synthesis of Biological Models: A Case Study in COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY
  • 2016-04-09 PRISM-PSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
  • 2016-03-28 Precise parameter synthesis for stochastic biochemical systems in ACTA INFORMATICA
  • 2016-01-04 Analysing sanity of requirements for avionics systems in FORMAL ASPECTS OF COMPUTING
  • 2015-09-02 Parameter Synthesis by Parallel Coloured CTL Model Checking in COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY
  • 2015-07-16 Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks in COMPUTER AIDED VERIFICATION
  • 2015 High-Performance Discrete Bifurcation Analysis for Piecewise-Affine Dynamical Systems in HYBRID SYSTEMS BIOLOGY
  • 2013 DiVinE 3.0 – An Explicit-State Model Checker for Multithreaded C & C++ Programs in COMPUTER AIDED VERIFICATION
  • 2013 Model Checking of Biological Systems in FORMAL METHODS FOR DYNAMICAL SYSTEMS
  • 2013 Exploring Parameter Space of Stochastic Biochemical Systems Using Quantitative Model Checking in COMPUTER AIDED VERIFICATION
  • 2013 Improved State Space Reductions for LTL Model Checking of C and C++ Programs in NASA FORMAL METHODS
  • 2012 Tool Chain to Support Automated Formal Verification of Avionics Simulink Designs in FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS
  • 2012 On Approximative Reachability Analysis of Biochemical Dynamical Systems in TRANSACTIONS ON COMPUTATIONAL SYSTEMS BIOLOGY XIV
  • 2012 Checking Sanity of Software Requirements in SOFTWARE ENGINEERING AND FORMAL METHODS
  • 2012 Towards LTL Model Checking of Unmodified Thread-Based C & C++ Programs in NASA FORMAL METHODS
  • 2010-12-08 Faster algorithms for mean-payoff games in FORMAL METHODS IN SYSTEM DESIGN
  • 2010-02-03 Scalable shared memory LTL model checking in INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER
  • 2009 Partial Order Reduction for State/Event LTL in INTEGRATED FORMAL METHODS
  • 2009 A Time-Optimal On-the-Fly Parallel Algorithm for Model Checking of Weak LTL Properties in FORMAL METHODS AND SOFTWARE ENGINEERING
  • 2009 Can Flash Memory Help in Model Checking? in FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS
  • 2009 Local Quantitative LTL Model Checking in FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS
  • 2008 Squeeze All the Power Out of Your Hardware to Verify Your Software! in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION
  • 2008-01-01 Revisiting Resistance Speeds Up I/O-Efficient LTL Model Checking in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
  • 2008 DiVinE Multi-Core – A Parallel LTL Model-Checker in AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS
  • 2008-01-01 Component-Interaction Automata Approach (CoIn) in THE COMMON COMPONENT MODELING EXAMPLE
  • 2007 Model-Checking Large Finite-State Systems and Beyond in SOFSEM 2007: THEORY AND PRACTICE OF COMPUTER SCIENCE
  • 2007 On Combining Partial Order Reduction with Fairness Assumptions in FORMAL METHODS: APPLICATIONS AND TECHNOLOGY
  • 2007 Tutorial: Parallel Model Checking in MODEL CHECKING SOFTWARE
  • 2007 Distributed Verification: Exploring the Power of Raw Computing Power in FORMAL METHODS: APPLICATIONS AND TECHNOLOGY
  • 2007-01-01 I/O Efficient Accepting Cycle Detection in COMPUTER AIDED VERIFICATION
  • 2007-01-01 Scalable Multi-core LTL Model-Checking in MODEL CHECKING SOFTWARE
  • 2006-07-08 Foreword in FORMAL METHODS IN SYSTEM DESIGN
  • 2006 DiVinE – A Tool for Distributed Verification in COMPUTER AIDED VERIFICATION
  • JSON-LD is the canonical representation for SciGraph data.

    TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

    [
      {
        "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
        "affiliation": [
          {
            "affiliation": {
              "id": "http://www.grid.ac/institutes/grid.10267.32", 
              "type": "Organization"
            }, 
            "isCurrent": true, 
            "type": "OrganizationRole"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.28577.3f", 
            "type": "Organization"
          }
        ], 
        "familyName": "Brim", 
        "givenName": "Lubo\u0161", 
        "id": "sg:person.0645117057.83", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.0645117057.83"
        ], 
        "sdDataset": "persons", 
        "sdDatePublished": "2022-01-01T19:58", 
        "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
        "sdPublisher": {
          "name": "Springer Nature - SN SciGraph project", 
          "type": "Organization"
        }, 
        "sdSource": "s3://com-springernature-scigraph/baseset/20220101/entities/gbq_results/person/person_942.jsonl", 
        "type": "Person"
      }
    ]
     

    Download the RDF metadata as:  json-ld nt turtle xml License info

    HOW TO GET THIS DATA PROGRAMMATICALLY:

    JSON-LD is a popular format for linked data which is fully compatible with JSON.

    curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/person.0645117057.83'

    N-Triples is a line-based linked data format ideal for batch operations.

    curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/person.0645117057.83'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/person.0645117057.83'

    RDF/XML is a standard XML format for linked data.

    curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/person.0645117057.83'


     




    Preview window. Press ESC to close (or click here)


    ...