


Остановите войну!
for scientists:
Lubos 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]