Stop the war!Остановите войну!
for scientists:
Google
Google Scholar
Semantic Scholar
IA Scholar
CiteSeerX
ORCIDLubos Brim
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
[j41]Nikola Benes, Lubos Brim, Jakub Kadlecaj, Samuel Pastva, David Safránek:
Exploring attractor bifurcations in Boolean networks. BMC Bioinform. 23(1): 173 (2022)- [j40]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) - [i14]Matej Troják, David Safránek, Lubos Brim:
Biochemical Space Language in Relation to Multiset Rewriting Systems. CoRR abs/2201.08817 (2022) - [i13]Lubos Brim, Samuel Pastva, David Safránek, Eva Smijáková:
Robust Control of Partially Specified Boolean Networks. CoRR abs/2202.13440 (2022) - 2021
- [c80]Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek:
Computing Bottom SCCs Symbolically Using Transition Guided Reduction. CAV (1) 2021: 505-528 - [c79]Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek:
Aeon 2021: Bifurcation Decision Trees in Boolean Networks. CMSB 2021: 230-237 - [c78]Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek:
Symbolic Coloured SCC Decomposition. TACAS (2) 2021: 64-83 - [i12]Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek:
BDD-Based Algorithm for SCC Decomposition of Edge-Coloured Graphs. CoRR abs/2108.13113 (2021) - [i11]Matej Troják, Samuel Pastva, David Safránek, Lubos Brim:
Regulated Multiset Rewriting Systems. CoRR abs/2111.13036 (2021) - 2020
- [j39]Nikola Benes, Lubos Brim, Samuel Pastva
, David Safránek:
Digital Bifurcation Analysis of Internet Congestion Control Protocols. Int. J. Bifurc. Chaos 30(13): 2030038:1-2030038:18 (2020) - [j38]Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek:
Parallel parameter synthesis algorithm for hybrid CTL. Sci. Comput. Program. 185 (2020) - [c77]Nikola Benes, Lubos Brim, Jakub Kadlecaj, Samuel Pastva, David Safránek:
AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks. CAV (1) 2020: 569-581 - [c76]Eva Smijáková, Samuel Pastva, David Safránek, Lubos Brim:
Parallel Parameter Synthesis for Multi-affine Hybrid Systems from Hybrid CTL Specifications. CMSB 2020: 280-297 - [c75]Matej Troják, David Safránek, Lukrécia Mertová, Lubos Brim:
eBCSgen: A Software Tool for Biochemical Space Language. CMSB 2020: 356-361 - [c74]Matej Troják, David Safránek, Lukrécia Mertová, Lubos Brim:
Parameter Synthesis and Robustness Analysis of Rule-Based Models. NFM 2020: 41-59 - [c73]Matej Troják, David Safránek, Lubos Brim, Jakub Salagovic, Jan Cervený:
Executable Biochemical Space for Specification and Analysis of Biochemical Systems. SASB 2020: 91-116 - [i10]Matej Troják, David Safránek, Lubos Brim:
Executable Biochemical Space for Specification and Analysis of Biochemical Systems. CoRR abs/2002.00731 (2020) - [i9]Lubos Brim, Samuel Pastva, David Safránek, Eva Smijakova:
Parallel One-Step Control of Parametrised Boolean Networks. CoRR abs/2009.00359 (2020)
2010 – 2019
- 2019
- [c72]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 - [c71]Nikola Benes, Lubos Brim, Jana Drazanová, Samuel Pastva, David Safránek:
Facetal abstraction for non-linear dynamical systems based on δ-decidable SMT. HSCC 2019: 99-108 - [c70]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: 353-369 - [c69]Nikola Benes, Lubos Brim, Martin Geletka, Samuel Pastva, David Safránek:
Accelerating Parameter Synthesis Using Semi-algebraic Constraints. IFM 2019: 27-45 - [c68]Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek:
Digital Bifurcation Analysis of TCP Dynamics. TACAS (2) 2019: 339-356 - [p1]Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek:
Model Checking Approach to the Analysis of Biological Systems. Automated Reasoning for Systems Biology and Medicine 2019: 3-35 - 2017
- [j37]Milan Ceska, Frits Dannenberg, Nicola Paoletti, Marta Kwiatkowska, Lubos Brim:
Precise parameter synthesis for stochastic biochemical systems. Acta Informatica 54(6): 589-623 (2017) - [c67]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 - [c66]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
- [j36]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: 27-49 (2016) - [j35]Jiri Barnat, Petr Bauch, Nikola Benes, Lubos Brim, Jan Beran, Tomas Kratochvila:
Analysing sanity of requirements for avionics systems. Formal Aspects Comput. 28(1): 45-63 (2016) - [j34]Petr Rockai, Jiri Barnat, Lubos Brim:
Model checking C++ programs with exceptions. Sci. Comput. Program. 128: 68-85 (2016) - [c65]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 - [c64]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 - [c63]Nikola Benes, Lubos Brim, Martin Demko, Samuel Pastva, David Safránek:
A Model Checking Approach to Discrete Bifurcation Analysis. FM 2016: 85-101 - [c62]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 - [c61]Milan Ceska, Petr Pilar, Nicola Paoletti, Lubos Brim, Marta Z. Kwiatkowska:
PRISM-PSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems. TACAS 2016: 367-384 - 2015
- [j33]Lubos Brim, J. Niznan, David Safránek:
Compact Representation of Photosynthesis Dynamics by Rule-based Models. Electron. Notes Theor. Comput. Sci. 316: 17-27 (2015) - [c60]Alessandro Abate, Lubos Brim, Milan Ceska, Marta Z. Kwiatkowska:
Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks. CAV (1) 2015: 195-213 - [c59]Lubos Brim, Milan Ceska, Martin Demko, Samuel Pastva, David Safránek:
Parameter Synthesis by Parallel Coloured CTL Model Checking. CMSB 2015: 251-263 - [c58]Lubos Brim, Martin Demko, Samuel Pastva, David Safránek:
High-Performance Discrete Bifurcation Analysis for Piecewise-Affine Dynamical Systems. HSB 2015: 58-74 - [i8]Jiri Barnat, Petr Bauch, Nikola Benes, Lubos Brim, Jan Beran, Tomas Kratochvila:
Analysing Sanity of Requirements for Avionics Systems (Preliminary Version). CoRR abs/1510.02669 (2015) - 2014
- [j32]Petr Rockai, Jiri Barnat, Lubos Brim:
Model Checking C++ with Exceptions. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 70 (2014) - [j31]Lubos Brim, Petr Dluhos, David Safránek, Tomas Vejpustek:
STL⁎: Extending signal temporal logic with signal-value freezing operator. Inf. Comput. 236: 52-67 (2014) - [i7]Lubos Brim, J. Niznan, David Safránek:
Compact Representation of Photosynthesis Dynamics by Rule-based Models (Full Version). CoRR abs/1410.3632 (2014) - 2013
- [j30]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: 67-81 (2013) - [c57]Jiri Barnat, Lubos Brim, Vojtech Havel:
LTL Model Checking of Parallel Programs with Under-Approximated TSO Memory Model. ACSD 2013: 51-59 - [c56]Lubos Brim, Vilém Ded, David Safránek:
Qualitative modelling and analysis of Photosystem II. BioPPN@Petri Nets 2013: 17-29 - [c55]Lubos Brim, Milan Ceska, Sven Drazan, David Safránek:
Exploring Parameter Space of Stochastic Biochemical Systems Using Quantitative Model Checking. CAV 2013: 107-123 - [c54]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: 863-868 - [c53]Petr Rockai, Jiri Barnat, Lubos Brim:
Improved State Space Reductions for LTL Model Checking of C and C++ Programs. NASA Formal Methods 2013: 1-15 - [c52]Lubos Brim, Milan Ceska, David Safránek:
Model Checking of Biological Systems. SFM 2013: 63-112 - [c51]Lubos Brim, Tomas Vejpustek, David Safránek, Jana Fabriková:
Robustness Analysis for Value-Freezing Signal Temporal Logic. HSB 2013: 20-36 - [i6]Lubos Brim, Milan Ceska, Sven Drazan, David Safránek:
On Robustness Analysis of Stochastic Biochemical Systems by Probabilistic Model Checking. CoRR abs/1310.4734 (2013) - 2012
- [j29]Lubos Brim, Jakub Chaloupka:
Using Strategy Improvement to Stay Alive. Int. J. Found. Comput. Sci. 23(3): 585-608 (2012) - [j28]Jiri Barnat, Petr Bauch, Lubos Brim, Milan Ceska:
Designing fast LTL model checking algorithms for many-core GPUs. J. Parallel Distributed Comput. 72(9): 1083-1097 (2012) - [j27]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): 1272-1288 (2012) - [j26]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): 693-705 (2012) - [j25]Lubos Brim, Jana Fabriková, Sven Drazan, David Safránek:
On Approximative Reachability Analysis of Biochemical Dynamical Systems. Trans. Comp. Sys. Biology 14: 77-101 (2012) - [c50]Jiri Barnat, Jan Beran, Lubos Brim, Tomas Kratochvila, Petr Rockai:
Tool Chain to Support Automated Formal Verification of Avionics Simulink Designs. FMICS 2012: 78-92 - [c49]Jiri Barnat, Lubos Brim, Petr Rockai:
Towards LTL Model Checking of Unmodified Thread-Based C & C++ Programs. NASA Formal Methods 2012: 252-266 - [c48]Jiri Barnat, Petr Bauch, Lubos Brim:
Checking Sanity of Software Requirements. SEFM 2012: 48-62 - [c47]Jiri Barnat, Lubos Brim, Jan Beran, Tomas Kratochvila, Italo R. Oliveira:
Executing Model Checking Counterexamples in Simulink. TASE 2012: 245-248 - [c46]Petr Dluhos, Lubos Brim, David Safránek:
On Expressing and Monitoring Oscillatory Dynamics. HSB 2012: 73-87 - 2011
- [j24]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): 115-124 (2011) - [j23]Lubos Brim, Jakub Chaloupka, Laurent Doyen, Raffaella Gentilini, Jean-François Raskin:
Faster algorithms for mean-payoff games. Formal Methods Syst. Des. 38(2): 97-118 (2011) - [j22]Stefan Edelkamp, Damian Sulewski, Jiri Barnat, Lubos Brim, Pavel Simecek:
Flash memory efficient LTL model checking. Sci. Comput. Program. 76(2): 136-157 (2011) - [j21]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): 877-890 (2011) - [c45]Jiri Barnat, Petr Bauch, Lubos Brim, Milan Ceska:
Computing Strongly Connected Components in Parallel on CUDA. IPDPS 2011: 544-555 - [c44]Lubos Brim, Jiri Barnat:
Platform Dependent Verification: On Engineering Verification Tools for 21st Century. PDMC 2011: 1-12 - [c43]Jiri Barnat, Petr Bauch, Lubos Brim, Milan Ceska:
Computing Optimal Cycle Mean in Parallel on CUDA. PDMC 2011: 68-83 - [c42]Lubos Brim, Jana Fabriková, Sven Drazan, David Safránek:
Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation (extended abstract). CompMod 2011: 97-112 - [i5]Lubos Brim, Jana Fabriková, Sven Drazan, David Safránek:
Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation. CoRR abs/1107.5924 (2011) - 2010
- [j20]Jiri Barnat, Lubos Brim, David Safránek:
High-performance analysis of biological systems dynamics with the DiVinE model checker. Briefings Bioinform. 11(3): 301-312 (2010) - [j19]Jiri Barnat, Lubos Brim, Petr Rockai:
Scalable shared memory LTL model checking. Int. J. Softw. Tools Technol. Transf. 12(2): 139-153 (2010) - [c41]Jiri Barnat, Petr Bauch, Lubos Brim, Milan Ceska:
Employing Multiple CUDA Devices to Accelerate LTL Model Checking. ICPADS 2010: 259-266 - [c40]Jiri Barnat, Lubos Brim, Petr Rockai:
Parallel Partial Order Reduction with Topological Sort Proviso. SEFM 2010: 222-231 - [c39]Lubos Brim, Jakub Chaloupka:
Using Strategy Improvement to Stay Alive. GANDALF 2010: 40-54
2000 – 2009
- 2009
- [j18]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): 3128-3148 (2009) - [c38]Jiri Barnat, Lubos Brim, Petr Rockai:
A Time-Optimal On-the-Fly Parallel Algorithm for Model Checking of Weak LTL Properties. ICFEM 2009: 407-425 - [c37]Jiri Barnat, Lubos Brim, Milan Ceska, Tomas Lamr:
CUDA Accelerated LTL Model Checking. ICPADS 2009: 34-41 - [c36]Nikola Benes, Lubos Brim, Ivana Cerná, Jiri Sochor, Pavlína Vareková, Barbora Zimmerova:
Partial Order Reduction for State/Event LTL. IFM 2009: 307-321 - [c35]Kees Verstoep, Henri E. Bal, Jiri Barnat, Lubos Brim:
Efficient large-scale model checking. IPDPS 2009: 1-12 - [c34]Jiri Barnat, Lubos Brim, Pavel Simecek:
Cluster-Based I/O-Efficient LTL Model Checking. ASE 2009: 635-639 - [c33]Jakub Chaloupka, Lubos Brim:
Faster Algorithm for Mean-Payoff Games. MEMICS 2009 - [c32]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: 31-45 - [c31]Jiri Barnat, Lubos Brim, Milan Ceska:
DiVinE-CUDA - A Tool for GPU Accelerated LTL Model Checking. PDMC 2009: 107-111 - [e6]Lubos Brim, Stefan Edelkamp, Eric A. Hansen, Peter Sanders:
Graph Search Engineering, 29.11. - 04.12.2009. Dagstuhl Seminar Proceedings 09491, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2009 [contents] - [e5]Lubos Brim, Jaco van de Pol:
Proceedings 8th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2009, Eindhoven, The Netherlands, 4th November 2009. EPTCS 14, 2009 [contents] - [i4]Lubos Brim, Stefan Edelkamp, Eric A. Hansen, Peter Sanders:
09491 Abstracts Collection - Graph Search Engineering. Graph Search Engineering 2009 - 2008
- [j17]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): 35-50 (2008) - [c30]Jiri Barnat, Lubos Brim, Petr Rockai:
DiVinE Multi-Core - A Parallel LTL Model-Checker. ATVA 2008: 234-239 - [c29]Jiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska, Jana Tumova:
Local Quantitative LTL Model Checking. FMICS 2008: 53-68 - [c28]Jiri Barnat, Lubos Brim, Stefan Edelkamp, Damian Sulewski, Pavel Simecek:
Can Flash Memory Help in Model Checking? FMICS 2008: 150-165 - [c27]Jiri Barnat, Lubos Brim:
Squeeze All the Power Out of Your Hardware to Verify Your Software!. ISoLA 2008: 604-618 - [c26]Jiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska, Jana Tumova:
ProbDiVinE-MC: Multi-core LTL Model Checker for Probabilistic Systems. QEST 2008: 77-78 - [c25]Jiri Barnat, Lubos Brim, Pavel Simecek, M. Weber:
Revisiting Resistance Speeds Up I/O-Efficient LTL Model Checking. TACAS 2008: 48-62 - [e4]Henri E. Bal, Lubos Brim, Martin Leucker:
Distributed Verification and Grid Computing, 10.08. - 14.08.2008. Dagstuhl Seminar Proceedings 08332, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2008 [contents] - [i3]Henri E. Bal, Lubos Brim, Martin Leucker:
08332 Abstracts Collection - Distributed Verification and Grid Computing. Distributed Verification and Grid Computing 2008 - [i2]Henri E. Bal, Lubos Brim, Martin Leucker:
08332 Executive Summary - Distributed Verification and Grid Computing. Distributed Verification and Grid Computing 2008 - [i1]Kees Verstoep, Henri E. Bal, Jiri Barnat, Lubos Brim:
Efficient Large-Scale Model Checking. Distributed Verification and Grid Computing 2008 - 2007
- [c24]Jiri Barnat, Lubos Brim, Pavel Simecek:
I/O Efficient Accepting Cycle Detection. CAV 2007: 281-293 - [c23]Barbora Zimmerova, Pavlína Vareková, Nikola Benes, Ivana Cerná, Lubos Brim, Jiri Sochor:
Component-Interaction Automata Approach (CoIn). CoCoME 2007: 146-176 - [c22]Jiri Barnat, Lubos Brim, Martin Leucker:
Parallel Model Checking and the FMICS-jETI Platform. ICECCS 2007: 330-339 - [c21]Jiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska, Jana Tumova:
ProbDiVinE: A Parallel Qualitative LTL Model Checker. QEST 2007: 215-216 - [c20]Lubos Brim, Mojmír Kretínský:
Model-Checking Large Finite-State Systems and Beyond. SOFSEM (1) 2007: 9-28 - [c19]Lubos Brim, Jiri Barnat:
Tutorial: Parallel Model Checking. SPIN 2007: 2-3 - [c18]Jiri Barnat, Lubos Brim, Petr Rockai:
Scalable Multi-core LTL Model-Checking. SPIN 2007: 187-203 - [e3]Lubos Brim, Boudewijn R. Haverkort, Martin Leucker, Jaco van de Pol:
Formal Methods: Applications and Technology, 11th International Workshop, FMICS 2006 and 5th International Workshop PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected Papers. Lecture Notes in Computer Science 4346, Springer 2007, ISBN 978-3-540-70951-0 [contents] - 2006
- [j16]Lubos Brim, Ivana Cerná, Pavel Moravec, Jirí Simsa:
How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors. Electron. Notes Theor. Comput. Sci. 135(2): 3-18 (2006) - [j15]Lubos Brim, Isabelle Linden:
Preface. Electron. Notes Theor. Comput. Sci. 150(1): 1-2 (2006) - [j14]Lubos Brim, Martin Leucker:
Foreword. Formal Methods Syst. Des. 29(2): 115-116 (2006) - [j13]Lubos Brim, Ivana Cerná, Pavlína Vareková, Barbora Zimmerova:
Component-interaction automata as a verification-oriented component-based system specification. ACM SIGSOFT Softw. Eng. Notes 31(2) (2006) - [c17]Jiri Barnat, Lubos Brim, Ivana Cerná, Pavel Moravec, Petr Rockai, Pavel Simecek:
DiVinE - A Tool for Distributed Verification. CAV 2006: 278-281 - [c16]Lubos Brim:
Distributed Verification: Exploring the Power of Raw Computing Power. FMICS/PDMC 2006: 23-34 - [c15]Lubos Brim, Ivana Cerná, Pavel Moravec, Jirí Simsa:
On Combining Partial Order Reduction with Fairness Assumptions. FMICS/PDMC 2006: 84-99 - 2005
- [j12]Lubos Brim, Martin Leucker:
Preface. Electron. Notes Theor. Comput. Sci. 128(3): 1-2 (2005) - [j11]Lubos Brim, Ivana Cerná, Pavel Moravec, Jirí Simsa:
Distributed Partial Order Reduction of State Spaces. Electron. Notes Theor. Comput. Sci. 128(3): 63-74 (2005) - [j10]Jiri Barnat, Lubos Brim, Jakub Chaloupka:
From Distributed Memory Cycle Detection to Parallel LTL Model Checking. Electron. Notes Theor. Comput. Sci. 133: 21-39 (2005) - [j9]Lubos Brim, Orna Grumberg:
Introductory paper. Int. J. Softw. Tools Technol. Transf. 7(1): 1-3 (2005) - [j8]Lubos Brim, Karen Yorav, Jitka Zidkova:
Assumption-based distribution of CTL model checking. Int. J. Softw. Tools Technol. Transf. 7(1): 61-73 (2005) - [c14]Jiri Barnat, Lubos Brim, Ivana Cerná:
Cluster-Based LTL Model Checking of Large Systems. FMCO 2005: 259-279 - [c13]