Lubos Brim
Orcid: 0000-0001-9393-7545
According to our database1,
Lubos Brim
authored at least 137 papers
between 1992 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2023
Bioinform., April, 2023
Biosyst., March, 2023
Biosyst., January, 2023
Proceedings of the Computational Methods in Systems Biology, 2023
2022
Bioinform., October, 2022
Log. Methods Comput. Sci., 2022
Proceedings of the Computational Methods in Systems Biology, 2022
2021
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021
Proceedings of the Computational Methods in Systems Biology, 2021
Proceedings of the Computer Aided Verification - 33rd International Conference, 2021
2020
Int. J. Bifurc. Chaos, 2020
CoRR, 2020
Proceedings of SASB 2018, the Ninth International Workshop on Static Analysis and Systems Biology, Freiburg, Germany, 2020
Proceedings of the NASA Formal Methods - 12th International Symposium, 2020
Proceedings of the Computational Methods in Systems Biology, 2020
Parallel Parameter Synthesis for Multi-affine Hybrid Systems from Hybrid CTL Specifications.
Proceedings of the Computational Methods in Systems Biology, 2020
Proceedings of the Computer Aided Verification - 32nd International Conference, 2020
2019
Proceedings of the Automated Reasoning for Systems Biology and Medicine, 2019
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019
Proceedings of the Integrated Formal Methods - 15th International Conference, 2019
Proceedings of the Formal Methods and Software Engineering, 2019
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019
Proceedings of the Computational Methods in Systems Biology, 2019
2017
Acta Informatica, 2017
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
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
Proceedings of the FM 2016: Formal Methods, 2016
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
Proceedings of the 6th International Workshop on Static Analysis and Systems Biology, 2015
CoRR, 2015
High-Performance Discrete Bifurcation Analysis for Piecewise-Affine Dynamical Systems.
Proceedings of the Hybrid Systems Biology - Fourth International Workshop, 2015
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<sup>⁎</sup>: Extending signal temporal logic with signal-value freezing operator.
Inf. Comput., 2014
Proceedings of the 5th International Workshop on Static Analysis and Systems Biology, 2014
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014
Compact Representation of Photosynthesis Dynamics by Rule-based Models (Full Version).
CoRR, 2014
2013
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
Proceedings of the Formal Methods for Dynamical Systems, 2013
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
Proceedings of the Computer Aided Verification - 25th International Conference, 2013
Proceedings of the International Workshop on Biological Processes & Petri Nets, 2013
Proceedings of the 13th International Conference on Application of Concurrency to System Design, 2013
2012
Trans. Comp. Sys. Biology, 2012
IEEE ACM Trans. Comput. Biol. Bioinform., 2012
On-the-fly parallel model checking algorithm that is optimal for verification of weak LTL properties.
Sci. Comput. Program., 2012
J. Parallel Distributed Comput., 2012
Proceedings of the Third International Workshop on Interactions Between Computer Science and Biology, 2012
Proceedings of the Proceedings First International Workshop on Hybrid Systems and Biology, 2012
Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012
Proceedings of the Software Engineering and Formal Methods - 10th International Conference, 2012
Proceedings of the NASA Formal Methods, 2012
Proceedings of the Formal Methods for Industrial Critical Systems, 2012
2011
Partial order reduction for state/event LTL with application to component-interaction automata.
Sci. Comput. Program., 2011
Proceedings of the Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation, 2011
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
CoRR, 2011
E-photosynthesis: Web-based platform for modeling of complex photosynthetic processes.
Biosyst., 2011
Proceedings of the 25th IEEE International Symposium on Parallel and Distributed Processing, 2011
2010
Int. J. Softw. Tools Technol. Transf., 2010
Proceedings of the Proceedings First Symposium on Games, 2010
High-performance analysis of biological systems dynamics with the DiVinE model checker.
Briefings Bioinform., 2010
Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods, 2010
Proceedings of the 16th IEEE International Conference on Parallel and Distributed Systems, 2010
2009
Theor. Comput. Sci., 2009
Proceedings of the Proceedings 8th International Workshop on Parallel and Distributed Methods in verifiCation, 2009
Proceedings of the Proceedings Second International Workshop on Computational Models for Cell Processes, 2009
Proceedings of the Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, 2009
Proceedings of the Integrated Formal Methods, 7th International Conference, 2009
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
Proceedings of the Graph Search Engineering, 29.11. - 04.12.2009, 2009
2008
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008
Proceedings of the Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 2008
Proceedings of the Leveraging Applications of Formal Methods, 2008
Proceedings of the Formal Methods for Industrial Critical Systems, 2008
Proceedings of the Formal Methods for Industrial Critical Systems, 2008
Proceedings of the Distributed Verification and Grid Computing, 10.08. - 14.08.2008, 2008
Proceedings of the Distributed Verification and Grid Computing, 10.08. - 14.08.2008, 2008
Proceedings of the Distributed Verification and Grid Computing, 10.08. - 14.08.2008, 2008
Proceedings of the Automated Technology for Verification and Analysis, 2008
2007
Proceedings of the First Workshop "From Biology To Concurrency and back", 2007
Proceedings of the Model Checking Software, 2007
Proceedings of the SOFSEM 2007: Theory and Practice of Computer Science, 2007
Proceedings of the Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 2007
Proceedings of the 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 2007
Proceedings of the Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, 2007
Proceedings of the Computer Aided Verification, 19th International Conference, 2007
2006
Component-interaction automata as a verification-oriented component-based system specification.
ACM SIGSOFT Softw. Eng. Notes, 2006
Proceedings of the Formal Methods: Applications and Technology, 2006
Proceedings of the Formal Methods: Applications and Technology, 2006
Proceedings of the Computer Aided Verification, 18th International Conference, 2006
2005
Int. J. Softw. Tools Technol. Transf., 2005
Proceedings of the First International Workshop on Methods and Tools for Coordinating Concurrent, 2005
How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors.
Proceedings of the 4th International Workshop on Parallel and Distributed Methods in Verification, 2005
Proceedings of the 10th international workshop on Formal methods for industrial critical systems, 2005
Proceedings of the Formal Methods for Components and Objects, 4th International Symposium, 2005
2004
Proceedings of the 3rd International Workshop on Parallel and Distributed Methods in Verification, 2004
Proceedings of the 3rd International Workshop on Parallel and Distributed Methods in Verification, 2004
Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems, 2004
Proceedings of the Formal Methods in Computer-Aided Design, 5th International Conference, 2004
2003
Proceedings of the 2nd International Workshop on Parallel and Distributed Model Checking, 2003
Proceedings of the 2nd International Workshop on Parallel and Distributed Model Checking, 2003
Proceedings of the Eighth International Workshop on Formal Methods for Industrial Critical Systems, 2003
Distributed Negative Cycle Detection Algorithms.
Proceedings of the Parallel Computing: Software Technology, 2003
Proceedings of the 18th IEEE International Conference on Automated Software Engineering (ASE 2003), 2003
2002
Coordination by Means of Synchronous and Asynchronous Communication in Concurrent Constraint Programming.
Proceedings of the Foundations of Coordination Languages and Software Architectures, 2002
Proceedings of the Parallel and Distributed Model Checking, 2002
Comput. Artif. Intell., 2002
2001
Proceedings of the Model Checking Software, 2001
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
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
Proceedings of the Process Algebra and Probabilistic Methods, 2001
Proceedings of the FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science, 2001
1996
Proceedings of the Algebraic and Logic Programming, 5th International Conference, 1996
1995
1992