Lubos Brim

ORCID

Publication Activity (10 Years)

Years Active: 1992-2023
Publications (10 Years): 40

Top Venues

Publications

Lubos Brim, Samuel Pastva, David Safránek, Eva Smijáková
Temporary and permanent control of partially specified Boolean networks. Biosyst. 223 (2023)
Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek, Eva Smijáková
Phenotype Control of Partially Specified Boolean Networks. CMSB (2023)
Nikola Benes, Lubos Brim, Ondrej Huvar, Samuel Pastva, David Safránek
Boolean network sketches: a unifying framework for logical model inference. Bioinform. 39 (4) (2023)
Matej Troják, David Safránek, Samuel Pastva, Lubos Brim
Rule-based modelling of biological systems using regulated rewriting. Biosyst. 225 (2023)
Matej Troják, David Safránek, Lubos Brim
Biochemical Space Language in Relation to Multiset Rewriting Systems. CoRR (2022)
Lubos Brim, Samuel Pastva, David Safránek, Eva Smijáková
Robust Control of Partially Specified Boolean Networks. CoRR (2022)
Nikola Benes, Lubos Brim, Ondrej Huvar, Samuel Pastva, David Safránek, Eva Smijáková
AEON.py: Python library for attractor analysis in asynchronous Boolean networks. Bioinform. 38 (21) (2022)
Nikola Benes, Lubos Brim, Jakub Kadlecaj, Samuel Pastva, David Safránek
Exploring attractor bifurcations in Boolean networks. BMC Bioinform. 23 (1) (2022)
Matej Troják, David Safránek, Branislav Brozmann, Lubos Brim
eBCSgen 2.0: Modelling and Analysis of Regulated Rule-Based Systems. CMSB (2022)
Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek
BDD-Based Algorithm for SCC Decomposition of Edge-Coloured Graphs. Log. Methods Comput. Sci. 18 (1) (2022)
Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek
Aeon 2021: Bifurcation Decision Trees in Boolean Networks. CMSB (2021)
Matej Troják, Samuel Pastva, David Safránek, Lubos Brim
Regulated Multiset Rewriting Systems. CoRR (2021)
Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek
BDD-Based Algorithm for SCC Decomposition of Edge-Coloured Graphs. CoRR (2021)
Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek
Symbolic Coloured SCC Decomposition. TACAS (2) (2021)
Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek
Computing Bottom SCCs Symbolically Using Transition Guided Reduction. CAV (1) (2021)
Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek
Digital Bifurcation Analysis of Internet Congestion Control Protocols. Int. J. Bifurc. Chaos 30 (13) (2020)
Matej Troják, David Safránek, Lubos Brim, Jakub Salagovic, Jan Cervený
Executable Biochemical Space for Specification and Analysis of Biochemical Systems. SASB (2020)
Nikola Benes, Lubos Brim, Jakub Kadlecaj, Samuel Pastva, David Safránek
AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks. CAV (1) (2020)
Matej Troják, David Safránek, Lubos Brim
Executable Biochemical Space for Specification and Analysis of Biochemical Systems. CoRR (2020)
Eva Smijáková, Samuel Pastva, David Safránek, Lubos Brim
Parallel Parameter Synthesis for Multi-affine Hybrid Systems from Hybrid CTL Specifications. CMSB (2020)
Matej Troják, David Safránek, Lukrécia Mertová, Lubos Brim
Parameter Synthesis and Robustness Analysis of Rule-Based Models. NFM (2020)
Matej Troják, David Safránek, Lukrécia Mertová, Lubos Brim
eBCSgen: A Software Tool for Biochemical Space Language. CMSB (2020)
Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek
Parallel parameter synthesis algorithm for hybrid CTL. Sci. Comput. Program. 185 (2020)
Lubos Brim, Samuel Pastva, David Safránek, Eva Smijakova
Parallel One-Step Control of Parametrised Boolean Networks. CoRR (2020)
Nikola Benes, Lubos Brim, Martin Geletka, Samuel Pastva, David Safránek
Accelerating Parameter Synthesis Using Semi-algebraic Constraints. IFM (2019)
Nikola Benes, Lubos Brim, Samuel Pastva, Jakub Polácek, David Safránek
Formal Analysis of Qualitative Long-Term Behaviour in Parametrised Boolean Networks. ICFEM (2019)
Nikola Benes, Lubos Brim, Jana Drazanová, Samuel Pastva, David Safránek
Facetal abstraction for non-linear dynamical systems based on δ-decidable SMT. HSCC (2019)
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)
Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek
Digital Bifurcation Analysis of TCP Dynamics. TACAS (2) (2019)
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)
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)
Milan Ceska, Frits Dannenberg, Nicola Paoletti, Marta Kwiatkowska, Lubos Brim
Precise parameter synthesis for stochastic biochemical systems. Acta Informatica 54 (6) (2017)
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)
Nikola Benes, Lubos Brim, Martin Demko, Samuel Pastva, David Safránek
A Model Checking Approach to Discrete Bifurcation Analysis. FM (2016)
T. Ded, David Safránek, Matej Troják, Matej Klement, Jakub Salagovic, Lubos Brim
Formal Biochemical Space with Semantics in Kappa and BNGL. Electron. Notes Theor. Comput. Sci. 326 (2016)
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)
Jiri Barnat, Petr Bauch, Nikola Benes, Lubos Brim, Jan Beran, Tomas Kratochvila
Analysing sanity of requirements for avionics systems. Formal Aspects Comput. 28 (1) (2016)
Martin Demko, Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek
High-Performance Symbolic Parameter Synthesis of Biological Models: A Case Study. CMSB (2016)
Petr Rockai, Jiri Barnat, Lubos Brim
Model checking C++ programs with exceptions. Sci. Comput. Program. 128 (2016)
Milan Ceska, Petr Pilar, Nicola Paoletti, Lubos Brim, Marta Z. Kwiatkowska
PRISM-PSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems. TACAS (2016)
Lubos Brim, Martin Demko, Samuel Pastva, David Safránek
High-Performance Discrete Bifurcation Analysis for Piecewise-Affine Dynamical Systems. HSB (2015)
Alessandro Abate, Lubos Brim, Milan Ceska, Marta Z. Kwiatkowska
Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks. CAV (1) (2015)
Jiri Barnat, Petr Bauch, Nikola Benes, Lubos Brim, Jan Beran, Tomas Kratochvila
Analysing Sanity of Requirements for Avionics Systems (Preliminary Version). CoRR (2015)
Lubos Brim, Milan Ceska, Martin Demko, Samuel Pastva, David Safránek
Parameter Synthesis by Parallel Coloured CTL Model Checking. CMSB (2015)
Lubos Brim, J. Niznan, David Safránek
Compact Representation of Photosynthesis Dynamics by Rule-based Models. Electron. Notes Theor. Comput. Sci. 316 (2015)
Lubos Brim, J. Niznan, David Safránek
Compact Representation of Photosynthesis Dynamics by Rule-based Models (Full Version). CoRR (2014)
Lubos Brim, Petr Dluhos, David Safránek, Tomas Vejpustek
: Extending signal temporal logic with signal-value freezing operator. Inf. Comput. 236 (2014)
Petr Rockai, Jiri Barnat, Lubos Brim
Model Checking C++ with Exceptions. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 70 (2014)
Lubos Brim, Milan Ceska, Sven Drazan, David Safránek
On Robustness Analysis of Stochastic Biochemical Systems by Probabilistic Model Checking. CoRR (2013)
Petr Rockai, Jiri Barnat, Lubos Brim
Improved State Space Reductions for LTL Model Checking of C and C++ Programs. NASA Formal Methods (2013)
Jiri Barnat, Lubos Brim, Vojtech Havel, Jan Havlícek, Jan Kriho, Milan Lenco, Petr Rockai, Vladimír Still, Jirí Weiser
DiVinE 3.0 - An Explicit-State Model Checker for Multithreaded C & C++ Programs. CAV (2013)
Lubos Brim, Tomas Vejpustek, David Safránek, Jana Fabriková
Robustness Analysis for Value-Freezing Signal Temporal Logic. HSB (2013)
S. Van Goethem, Jean-Marie Jacquet, Lubos Brim, David Safránek
Timed Modelling of Gene Networks with Arbitrarily Precise Expression Discretization. Electron. Notes Theor. Comput. Sci. 293 (2013)
Lubos Brim, Vilém Ded, David Safránek
Qualitative modelling and analysis of Photosystem II. BioPPN@Petri Nets (2013)
Lubos Brim, Milan Ceska, Sven Drazan, David Safránek
Exploring Parameter Space of Stochastic Biochemical Systems Using Quantitative Model Checking. CAV (2013)
Lubos Brim, Milan Ceska, David Safránek
Model Checking of Biological Systems. SFM (2013)
Jiri Barnat, Lubos Brim, Vojtech Havel
LTL Model Checking of Parallel Programs with Under-Approximated TSO Memory Model. ACSD (2013)
Jiri Barnat, Lubos Brim, Jan Beran, Tomas Kratochvila, Italo R. Oliveira
Executing Model Checking Counterexamples in Simulink. TASE (2012)
Jiri Barnat, Lubos Brim, Petr Rockai
Towards LTL Model Checking of Unmodified Thread-Based C & C++ Programs. NASA Formal Methods (2012)
Jiri Barnat, Petr Bauch, Lubos Brim
Checking Sanity of Software Requirements. SEFM (2012)
Lubos Brim, Jana Fabriková, Sven Drazan, David Safránek
On Approximative Reachability Analysis of Biochemical Dynamical Systems. Trans. Comp. Sys. Biology 14 (2012)
Jiri Barnat, Petr Bauch, Lubos Brim, Milan Ceska
Designing fast LTL model checking algorithms for many-core GPUs. J. Parallel Distributed Comput. 72 (9) (2012)
Jiri Barnat, Jan Beran, Lubos Brim, Tomas Kratochvila, Petr Rockai
Tool Chain to Support Automated Formal Verification of Avionics Simulink Designs. FMICS (2012)
Petr Dluhos, Lubos Brim, David Safránek
On Expressing and Monitoring Oscillatory Dynamics HSB (2012)
Lubos Brim, Jakub Chaloupka
Using Strategy Improvement to Stay Alive. Int. J. Found. Comput. Sci. 23 (3) (2012)
Jiri Barnat, Lubos Brim, Petr Rockai
On-the-fly parallel model checking algorithm that is optimal for verification of weak LTL properties. Sci. Comput. Program. 77 (12) (2012)
Jiri Barnat, Lubos Brim, Adam Krejci, Adam Streck, David Safránek, Martin Vejnar, Tomas Vejpustek
On Parameter Synthesis by Parallel Model Checking. IEEE ACM Trans. Comput. Biol. Bioinform. 9 (3) (2012)
Lubos Brim, Jana Fabriková, Sven Drazan, David Safránek
Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation CoRR (2011)
Lubos Brim, Jana Fabriková, Sven Drazan, David Safránek
Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation (extended abstract) CompMod (2011)
Jiri Barnat, Petr Bauch, Lubos Brim, Milan Ceska
Computing Strongly Connected Components in Parallel on CUDA. IPDPS (2011)
Lubos Brim, Jakub Chaloupka, Laurent Doyen, Raffaella Gentilini, Jean-François Raskin
Faster algorithms for mean-payoff games. Formal Methods Syst. Des. 38 (2) (2011)
Jiri Barnat, Petr Bauch, Lubos Brim, Milan Ceska
Computing Optimal Cycle Mean in Parallel on CUDA PDMC (2011)
David Safránek, Jan Cervený, Matej Klement, Jana Pospísilová, Lubos Brim, Dusan Lazar, Ladislav Nedbal
E-photosynthesis: Web-based platform for modeling of complex photosynthetic processes. Biosyst. 103 (2) (2011)
Lubos Brim, Jiri Barnat
Platform Dependent Verification: On Engineering Verification Tools for 21st Century PDMC (2011)
Nikola Benes, Lubos Brim, Barbora Buhnova, Ivana Cerná, Jiri Sochor, Pavlína Vareková
Partial order reduction for state/event LTL with application to component-interaction automata. Sci. Comput. Program. 76 (10) (2011)
Stefan Edelkamp, Damian Sulewski, Jiri Barnat, Lubos Brim, Pavel Simecek
Flash memory efficient LTL model checking. Sci. Comput. Program. 76 (2) (2011)
Jiri Barnat, Lubos Brim, David Safránek
High-performance analysis of biological systems dynamics with the DiVinE model checker. Briefings Bioinform. 11 (3) (2010)
Jiri Barnat, Petr Bauch, Lubos Brim, Milan Ceska
Employing Multiple CUDA Devices to Accelerate LTL Model Checking. ICPADS (2010)
Lubos Brim, Jakub Chaloupka
Using Strategy Improvement to Stay Alive GANDALF (2010)
Jiri Barnat, Lubos Brim, Petr Rockai
Parallel Partial Order Reduction with Topological Sort Proviso. SEFM (2010)
Jiri Barnat, Lubos Brim, Petr Rockai
Scalable shared memory LTL model checking. Int. J. Softw. Tools Technol. Transf. 12 (2) (2010)
Jiri Barnat, Lubos Brim, Petr Rockai
A Time-Optimal On-the-Fly Parallel Algorithm for Model Checking of Weak LTL Properties. ICFEM (2009)
Jakub Chaloupka, Lubos Brim
Faster Algorithm for Mean-Payoff Games. MEMICS (2009)
Jiri Barnat, Lubos Brim, Ivana Cerná, Sven Drazan, Jana Fabriková, David Safránek
On algorithmic analysis of transcriptional regulation by LTL model checking. Theor. Comput. Sci. 410 (33-34) (2009)
Jiri Barnat, Lubos Brim, Milan Ceska, Tomas Lamr
CUDA Accelerated LTL Model Checking. ICPADS (2009)
Lubos Brim, Stefan Edelkamp, Eric A. Hansen, Peter Sanders
09491 Abstracts Collection - Graph Search Engineering. Graph Search Engineering (2009)
Jiri Barnat, Lubos Brim, Ivana Cerná, Sven Drazan, Jana Fabriková, Jan Láník, David Safránek, Hongwu Ma
BioDiVinE: A Framework for Parallel Analysis of Biological Models COMPMOD (2009)
Jiri Barnat, Lubos Brim, Pavel Simecek
Cluster-Based I/O-Efficient LTL Model Checking. ASE (2009)
Nikola Benes, Lubos Brim, Ivana Cerná, Jiri Sochor, Pavlína Vareková, Barbora Zimmerova
Partial Order Reduction for State/Event LTL. IFM (2009)
Jiri Barnat, Lubos Brim, Milan Ceska
DiVinE-CUDA - A Tool for GPU Accelerated LTL Model Checking PDMC (2009)
Kees Verstoep, Henri E. Bal, Jiri Barnat, Lubos Brim
Efficient large-scale model checking. IPDPS (2009)
Jiri Barnat, Lubos Brim, Petr Rockai
DiVinE Multi-Core - A Parallel LTL Model-Checker. ATVA (2008)
Jiri Barnat, Lubos Brim, Pavel Simecek, M. Weber
Revisiting Resistance Speeds Up I/O-Efficient LTL Model Checking. TACAS (2008)
Jiri Barnat, Lubos Brim, Stefan Edelkamp, Damian Sulewski, Pavel Simecek
Can Flash Memory Help in Model Checking? FMICS (2008)
Jiri Barnat, Lubos Brim, Ivana Cerná, Sven Drazan, David Safránek
Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE. Electron. Notes Theor. Comput. Sci. 194 (3) (2008)
Kees Verstoep, Henri E. Bal, Jiri Barnat, Lubos Brim
Efficient Large-Scale Model Checking. Distributed Verification and Grid Computing (2008)
Jiri Barnat, Lubos Brim
Squeeze All the Power Out of Your Hardware to Verify Your Software!. ISoLA (2008)
Henri E. Bal, Lubos Brim, Martin Leucker
08332 Abstracts Collection - Distributed Verification and Grid Computing. Distributed Verification and Grid Computing (2008)
Henri E. Bal, Lubos Brim, Martin Leucker
08332 Executive Summary - Distributed Verification and Grid Computing. Distributed Verification and Grid Computing (2008)
Jiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska, Jana Tumova
Local Quantitative LTL Model Checking. FMICS (2008)

Lubos Brim.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Lubos Brim