Lubos Brim

According to our database1, Lubos Brim
  • authored at least 110 papers between 1992 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Precise parameter synthesis for stochastic biochemical systems.
Acta Inf., 2017

Detecting Attractors in Biological Models with Uncertain Parameters.
Proceedings of the Computational Methods in Systems Biology, 2017

Pithya: A Parallel Tool for Parameter Synthesis of Piecewise Multi-affine Dynamical Systems.
Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016
Model checking C++ programs with exceptions.
Sci. Comput. Program., 2016

Analysing sanity of requirements for avionics systems.
Formal Asp. Comput., 2016

Formal Biochemical Space with Semantics in Kappa and BNGL.
Electr. Notes Theor. Comput. Sci., 2016

PRISM-PSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Toward Modelling and Analysis of Transient and Sustained Behaviour of Signalling Pathways.
Proceedings of the Hybrid Systems Biology - 5th International Workshop, 2016

A Model Checking Approach to Discrete Bifurcation Analysis.
Proceedings of the FM 2016: Formal Methods, 2016

High-Performance Symbolic Parameter Synthesis of Biological Models: A Case Study.
Proceedings of the Computational Methods in Systems Biology, 2016

Parallel SMT-Based Parameter Synthesis with Application to Piecewise Multi-affine Systems.
Proceedings of the Automated Technology for Verification and Analysis, 2016

2015
Compact Representation of Photosynthesis Dynamics by Rule-based Models.
Electr. Notes Theor. Comput. Sci., 2015

Analysing Sanity of Requirements for Avionics Systems (Preliminary Version).
CoRR, 2015

High-Performance Discrete Bifurcation Analysis for Piecewise-Affine Dynamical Systems.
Proceedings of the Hybrid Systems Biology - Fourth International Workshop, 2015

Parameter Synthesis by Parallel Coloured CTL Model Checking.
Proceedings of the Computational Methods in Systems Biology, 2015

Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks.
Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014
STL: Extending signal temporal logic with signal-value freezing operator.
Inf. Comput., 2014

Model Checking C++ with Exceptions.
ECEASST, 2014

Compact Representation of Photosynthesis Dynamics by Rule-based Models (Full Version).
CoRR, 2014

2013
Timed Modelling of Gene Networks with Arbitrarily Precise Expression Discretization.
Electr. Notes Theor. Comput. Sci., 2013

Robustness Analysis for Value-Freezing Signal Temporal Logic.
Proceedings of the Proceedings Second International Workshop on Hybrid Systems and Biology, 2013

On Robustness Analysis of Stochastic Biochemical Systems by Probabilistic Model Checking.
CoRR, 2013

Model Checking of Biological Systems.
Proceedings of the Formal Methods for Dynamical Systems, 2013

Improved State Space Reductions for LTL Model Checking of C and C++ Programs.
Proceedings of the NASA Formal Methods, 2013

Exploring Parameter Space of Stochastic Biochemical Systems Using Quantitative Model Checking.
Proceedings of the Computer Aided Verification - 25th International Conference, 2013

DiVinE 3.0 - An Explicit-State Model Checker for Multithreaded C & C++ Programs.
Proceedings of the Computer Aided Verification - 25th International Conference, 2013

Qualitative modelling and analysis of Photosystem II.
Proceedings of the International Workshop on Biological Processes & Petri Nets, 2013

LTL Model Checking of Parallel Programs with Under-Approximated TSO Memory Model.
Proceedings of the 13th International Conference on Application of Concurrency to System Design, 2013

2012
On Approximative Reachability Analysis of Biochemical Dynamical Systems.
Trans. Computational Systems Biology, 2012

On Parameter Synthesis by Parallel Model Checking.
IEEE/ACM Trans. Comput. Biology Bioinform., 2012

On-the-fly parallel model checking algorithm that is optimal for verification of weak LTL properties.
Sci. Comput. Program., 2012

Designing fast LTL model checking algorithms for many-core GPUs.
J. Parallel Distrib. Comput., 2012

Using Strategy Improvement to Stay Alive.
Int. J. Found. Comput. Sci., 2012

On Expressing and Monitoring Oscillatory Dynamics
Proceedings of the Proceedings First International Workshop on Hybrid Systems and Biology, 2012

Executing Model Checking Counterexamples in Simulink.
Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

Checking Sanity of Software Requirements.
Proceedings of the Software Engineering and Formal Methods - 10th International Conference, 2012

Towards LTL Model Checking of Unmodified Thread-Based C & C++ Programs.
Proceedings of the NASA Formal Methods, 2012

Tool Chain to Support Automated Formal Verification of Avionics Simulink Designs.
Proceedings of the Formal Methods for Industrial Critical Systems, 2012

2011
Flash memory efficient LTL model checking.
Sci. Comput. Program., 2011

Partial order reduction for state/event LTL with application to component-interaction automata.
Sci. Comput. Program., 2011

Faster algorithms for mean-payoff games.
Formal Methods in System Design, 2011

Computing Optimal Cycle Mean in Parallel on CUDA
Proceedings of the Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation, 2011

Platform Dependent Verification: On Engineering Verification Tools for 21st Century
Proceedings of the Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation, 2011

Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation (extended abstract)
Proceedings of the Proceedings Third International Workshop on Computational Models for Cell Processes, 2011

Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation
CoRR, 2011

E-photosynthesis: Web-based platform for modeling of complex photosynthetic processes.
Biosystems, 2011

Computing Strongly Connected Components in Parallel on CUDA.
Proceedings of the 25th IEEE International Symposium on Parallel and Distributed Processing, 2011

2010
Scalable shared memory LTL model checking.
STTT, 2010

Using Strategy Improvement to Stay Alive
Proceedings of the Proceedings First Symposium on Games, 2010

High-performance analysis of biological systems dynamics with the DiVinE model checker.
Briefings in Bioinformatics, 2010

Parallel Partial Order Reduction with Topological Sort Proviso.
Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods, 2010

Employing Multiple CUDA Devices to Accelerate LTL Model Checking.
Proceedings of the 16th IEEE International Conference on Parallel and Distributed Systems, 2010

2009
On algorithmic analysis of transcriptional regulation by LTL model checking.
Theor. Comput. Sci., 2009

DiVinE-CUDA - A Tool for GPU Accelerated LTL Model Checking
Proceedings of the Proceedings 8th International Workshop on Parallel and Distributed Methods in verifiCation, 2009

BioDiVinE: A Framework for Parallel Analysis of Biological Models
Proceedings of the Proceedings Second International Workshop on Computational Models for Cell Processes, 2009

Faster Algorithm for Mean-Payoff Games.
Proceedings of the Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, 2009

Cluster-Based I/O-Efficient LTL Model Checking.
Proceedings of the ASE 2009, 2009

Efficient large-scale model checking.
Proceedings of the 23rd IEEE International Symposium on Parallel and Distributed Processing, 2009

Partial Order Reduction for State/Event LTL.
Proceedings of the Integrated Formal Methods, 7th International Conference, 2009

CUDA Accelerated LTL Model Checking.
Proceedings of the 15th IEEE International Conference on Parallel and Distributed Systems, 2009

A Time-Optimal On-the-Fly Parallel Algorithm for Model Checking of Weak LTL Properties.
Proceedings of the Formal Methods and Software Engineering, 2009

09491 Abstracts Collection - Graph Search Engineering.
Proceedings of the Graph Search Engineering, 29.11. - 04.12.2009, 2009

2008
Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE.
Electr. Notes Theor. Comput. Sci., 2008

Revisiting Resistance Speeds Up I/O-Efficient LTL Model Checking.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008

ProbDiVinE-MC: Multi-core LTL Model Checker for Probabilistic Systems.
Proceedings of the Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 2008

Squeeze All the Power Out of Your Hardware to Verify Your Software!.
Proceedings of the Leveraging Applications of Formal Methods, 2008

Can Flash Memory Help in Model Checking?
Proceedings of the Formal Methods for Industrial Critical Systems, 2008

Local Quantitative LTL Model Checking.
Proceedings of the Formal Methods for Industrial Critical Systems, 2008

Efficient Large-Scale Model Checking.
Proceedings of the Distributed Verification and Grid Computing, 10.08. - 14.08.2008, 2008

08332 Executive Summary - Distributed Verification and Grid Computing.
Proceedings of the Distributed Verification and Grid Computing, 10.08. - 14.08.2008, 2008

08332 Abstracts Collection - Distributed Verification and Grid Computing.
Proceedings of the Distributed Verification and Grid Computing, 10.08. - 14.08.2008, 2008

DiVinE Multi-Core - A Parallel LTL Model-Checker.
Proceedings of the Automated Technology for Verification and Analysis, 2008

2007
Tutorial: Parallel Model Checking.
Proceedings of the Model Checking Software, 2007

Scalable Multi-core LTL Model-Checking.
Proceedings of the Model Checking Software, 2007

Model-Checking Large Finite-State Systems and Beyond.
Proceedings of the SOFSEM 2007: Theory and Practice of Computer Science, 2007

ProbDiVinE: A Parallel Qualitative LTL Model Checker.
Proceedings of the Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 2007

Parallel Model Checking and the FMICS-jETI Platform.
Proceedings of the 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 2007

Component-Interaction Automata Approach (CoIn).
Proceedings of the Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, 2007

I/O Efficient Accepting Cycle Detection.
Proceedings of the Computer Aided Verification, 19th International Conference, 2007

2006
Component-interaction automata as a verification-oriented component-based system specification.
ACM SIGSOFT Software Engineering Notes, 2006

Foreword.
Formal Methods in System Design, 2006

Preface.
Electr. Notes Theor. Comput. Sci., 2006

How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors.
Electr. Notes Theor. Comput. Sci., 2006

On Combining Partial Order Reduction with Fairness Assumptions.
Proceedings of the Formal Methods: Applications and Technology, 2006

Distributed Verification: Exploring the Power of Raw Computing Power.
Proceedings of the Formal Methods: Applications and Technology, 2006

DiVinE - A Tool for Distributed Verification.
Proceedings of the Computer Aided Verification, 18th International Conference, 2006

2005
Assumption-based distribution of CTL model checking.
STTT, 2005

Introductory paper.
STTT, 2005

Preface.
Electr. Notes Theor. Comput. Sci., 2005

Distributed Partial Order Reduction of State Spaces.
Electr. Notes Theor. Comput. Sci., 2005

From Distributed Memory Cycle Detection to Parallel LTL Model Checking.
Electr. Notes Theor. Comput. Sci., 2005

Cluster-Based LTL Model Checking of Large Systems.
Proceedings of the Formal Methods for Components and Objects, 4th International Symposium, 2005

2004
Accepting Predecessors Are Better than Back Edges in Distributed LTL Model-Checking.
Proceedings of the Formal Methods in Computer-Aided Design, 5th International Conference, 2004

2003
Coordination by Means of Synchronous and Asynchronous Communication in Concurrent Constraint Programming.
Electr. Notes Theor. Comput. Sci., 2003

Using Assumptions to Distribute Alternation Free Mu-Calculus Model Checking.
Electr. Notes Theor. Comput. Sci., 2003

Preface.
Electr. Notes Theor. Comput. Sci., 2003

Distribution of Explicit-State LTL Model-Checking.
Electr. Notes Theor. Comput. Sci., 2003

Distributed Negative Cycle Detection Algorithms.
Proceedings of the Parallel Computing: Software Technology, 2003

Parallel Breadth-First Search LTL Model-Checking.
Proceedings of the 18th IEEE International Conference on Automated Software Engineering (ASE 2003), 2003

2002
Preface.
Electr. Notes Theor. Comput. Sci., 2002

Using Assumptions to Distribute CTL Model Checking.
Electr. Notes Theor. Comput. Sci., 2002

Modelling Multi-Agent Systems as Synchronous Concurrent Constraint Processes.
Computers and Artificial Intelligence, 2002

2001
Distributed LTL Model-Checking in SPIN.
Proceedings of the Model Checking Software, 2001

Multi-agent Systems as Concurrent Constraint Processes.
Proceedings of the SOFSEM 2001: Theory and Practice of Informatics, 28th Conference on Current Trends in Theory and Practice of Informatics Piestany, Slovak Republic, November 24, 2001

How to Employ Reverse Search in Distributed Single Source Shortest Paths.
Proceedings of the SOFSEM 2001: Theory and Practice of Informatics, 28th Conference on Current Trends in Theory and Practice of Informatics Piestany, Slovak Republic, November 24, 2001

Randomization Helps in LTL Model Checking.
Proceedings of the Process Algebra and Probabilistic Methods, 2001

Distributed LTL Model Checking Based on Negative Cycle Detection.
Proceedings of the FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science, 2001

1996
A Process Algebra for Synchronous Concurrent Constraint Programming.
Proceedings of the Algebraic and Logic Programming, 5th International Conference, 1996

1995
Synchronisation in Scc.
Proceedings of the Logic Programming, 1995

1992
Modal Logics in Timed Process Algebras.
Proceedings of the NAPAW 92, 1992


  Loading...