|
Search the dblp DataBase
Lubos Brim:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Lubos Brim, Jean-Marie Jacquet, David Gilbert, Mojmír Kretínský
A Process Algebra for Synchronous Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP] ALP, 1996, pp:165-178 [Conf]
- Jiri Barnat, Lubos Brim, Ivana Cerná, Pavel Moravec 0002, Petr Rockai, Pavel Simecek
DiVinE - A Tool for Distributed Verification. [Citation Graph (0, 0)][DBLP] CAV, 2006, pp:278-281 [Conf]
- Lubos Brim, Ivana Cerná, Pavel Moravec 0002, Jirí Simsa
Accepting Predecessors Are Better than Back Edges in Distributed LTL Model-Checking. [Citation Graph (0, 0)][DBLP] FMCAD, 2004, pp:352-366 [Conf]
- Jiri Barnat, Lubos Brim, Ivana Cerná
Cluster-Based LTL Model Checking of Large Systems. [Citation Graph (0, 0)][DBLP] FMCO, 2005, pp:259-279 [Conf]
- Lubos Brim, Ivana Cerná, Pavel Krcál, Radek Pelánek
Distributed LTL Model Checking Based on Negative Cycle Detection. [Citation Graph (0, 0)][DBLP] FSTTCS, 2001, pp:96-107 [Conf]
- Jiri Barnat, Lubos Brim, Jakub Chaloupka
Parallel Breadth-First Search LTL Model-Checking. [Citation Graph (0, 0)][DBLP] ASE, 2003, pp:106-115 [Conf]
- Lubos Brim
Modal Logics in Timed Process Algebras. [Citation Graph (0, 0)][DBLP] NAPAW, 1992, pp:13-26 [Conf]
- Lubos Brim, Ivana Cerná, Martin Necesal
Randomization Helps in LTL Model Checking. [Citation Graph (0, 0)][DBLP] PAPM-PROBMIV, 2001, pp:105-119 [Conf]
- Lubos Brim, Ivana Cerná, Lukás Hejtmánek
Distributed Negative Cycle Detection Algorithms. [Citation Graph (0, 0)][DBLP] PARCO, 2003, pp:297-304 [Conf]
- Lubos Brim, David Gilbert, Jean-Marie Jacquet, Mojmír Kretínský
Synchronisation in Scc. [Citation Graph (0, 0)][DBLP] ILPS, 1995, pp:641- [Conf]
- Lubos Brim, Ivana Cerná, Pavel Krcál, Radek Pelánek
How to Employ Reverse Search in Distributed Single Source Shortest Paths. [Citation Graph (0, 0)][DBLP] SOFSEM, 2001, pp:191-200 [Conf]
- Lubos Brim, David Gilbert, Jean-Marie Jacquet, Mojmír Kretínský
Multi-agent Systems as Concurrent Constraint Processes. [Citation Graph (0, 0)][DBLP] SOFSEM, 2001, pp:201-210 [Conf]
- Jiri Barnat, Lubos Brim, Jitka Stríbrná
Distributed LTL Model-Checking in SPIN. [Citation Graph (0, 0)][DBLP] SPIN, 2001, pp:200-216 [Conf]
- Lubos Brim, Mojmír Kretínský, Jean-Marie Jacquet, David Gilbert
Modelling Multi-Agent Systems as Synchronous Concurrent Constraint Processes. [Citation Graph (0, 0)][DBLP] Computers and Artificial Intelligence, 2002, v:21, n:6, pp:- [Journal]
- Jiri Barnat, Lubos Brim, Jakub Chaloupka
From Distributed Memory Cycle Detection to Parallel LTL Model Checking. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:133, n:, pp:21-39 [Journal]
- Lubos Brim, Jiri Barnat
Distribution of Explicit-State LTL Model-Checking. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2003, v:80, n:, pp:- [Journal]
- Lubos Brim, Ivana Cerná, Pavel Moravec 0002, Jirí Simsa
Distributed Partial Order Reduction of State Spaces. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:128, n:3, pp:63-74 [Journal]
- Lubos Brim, Ivana Cerná, Pavel Moravec 0002, Jirí Simsa
How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2006, v:135, n:2, pp:3-18 [Journal]
- Lubos Brim, Jitka Crhova, Karen Yorav
Using Assumptions to Distribute CTL Model Checking. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2002, v:68, n:4, pp:- [Journal]
- Lubos Brim, Orna Grumberg
Preface. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2002, v:68, n:4, pp:- [Journal]
- Lubos Brim, Orna Grumberg
Preface. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2003, v:89, n:1, pp:- [Journal]
- Lubos Brim, Martin Leucker
Preface. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:128, n:3, pp:1-2 [Journal]
- Lubos Brim, Isabelle Linden
Preface. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2006, v:150, n:1, pp:1-2 [Journal]
- Lubos Brim, Jitka Zidkova
Using Assumptions to Distribute Alternation Free Mu-Calculus Model Checking. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2003, v:89, n:1, pp:- [Journal]
- Jean-Marie Jacquet, Lubos Brim, David Gilbert, Mojmír Kretínský
Coordination by Means of Synchronous and Asynchronous Communication in Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2003, v:68, n:3, pp:- [Journal]
- Lubos Brim, Martin Leucker
Foreword. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 2006, v:29, n:2, pp:115-116 [Journal]
- Lubos Brim, Orna Grumberg
Introductory paper. [Citation Graph (0, 0)][DBLP] STTT, 2005, v:7, n:1, pp:1-3 [Journal]
- Lubos Brim, Karen Yorav, Jitka Zidkova
Assumption-based distribution of CTL model checking. [Citation Graph (0, 0)][DBLP] STTT, 2005, v:7, n:1, pp:61-73 [Journal]
- Jiri Barnat, Lubos Brim, Pavel Simecek
I/O Efficient Accepting Cycle Detection. [Citation Graph (0, 0)][DBLP] CAV, 2007, pp:281-293 [Conf]
- Jiri Barnat, Lubos Brim, Martin Leucker
Parallel Model Checking and the FMICS-jETI Platform. [Citation Graph (0, 0)][DBLP] ICECCS, 2007, pp:330-339 [Conf]
- Lubos Brim, Mojmír Kretínský
Model-Checking Large Finite-State Systems and Beyond. [Citation Graph (0, 0)][DBLP] SOFSEM (1), 2007, pp:9-28 [Conf]
- Jiri Barnat, Lubos Brim, Petr Rockai
Scalable Multi-core LTL Model-Checking. [Citation Graph (0, 0)][DBLP] SPIN, 2007, pp:187-203 [Conf]
- Lubos Brim, Jiri Barnat
Tutorial: Parallel Model Checking. [Citation Graph (0, 0)][DBLP] SPIN, 2007, pp:2-3 [Conf]
- Lubos Brim
Distributed Verification: Exploring the Power of Raw Computing Power. [Citation Graph (0, 0)][DBLP] FMICS/PDMC, 2006, pp:23-34 [Conf]
- Lubos Brim, Ivana Cerná, Pavel Moravec 0002, Jirí Simsa
On Combining Partial Order Reduction with Fairness Assumptions. [Citation Graph (0, 0)][DBLP] FMICS/PDMC, 2006, pp:84-99 [Conf]
DiVinE Multi-Core - A Parallel LTL Model-Checker. [Citation Graph (, )][DBLP]
Component-Interaction Automata Approach (CoIn). [Citation Graph (, )][DBLP]
A Time-Optimal On-the-Fly Parallel Algorithm for Model Checking of Weak LTL Properties. [Citation Graph (, )][DBLP]
Partial Order Reduction for State/Event LTL. [Citation Graph (, )][DBLP]
Efficient large-scale model checking. [Citation Graph (, )][DBLP]
Squeeze All the Power Out of Your Hardware to Verify Your Software!. [Citation Graph (, )][DBLP]
Cluster-Based I/O-Efficient LTL Model Checking. [Citation Graph (, )][DBLP]
ProbDiVinE: A Parallel Qualitative LTL Model Checker. [Citation Graph (, )][DBLP]
ProbDiVinE-MC: Multi-core LTL Model Checker for Probabilistic Systems. [Citation Graph (, )][DBLP]
Revisiting Resistance Speeds Up I/O-Efficient LTL Model Checking. [Citation Graph (, )][DBLP]
Local Quantitative LTL Model Checking. [Citation Graph (, )][DBLP]
Can Flash Memory Help in Model Checking? [Citation Graph (, )][DBLP]
Faster Algorithm for Mean-Payoff Games. [Citation Graph (, )][DBLP]
High-performance analysis of biological systems dynamics with the DiVinE model checker. [Citation Graph (, )][DBLP]
BioDiVinE: A Framework for Parallel Analysis of Biological Models [Citation Graph (, )][DBLP]
DiVinE-CUDA - A Tool for GPU Accelerated LTL Model Checking [Citation Graph (, )][DBLP]
Proceedings 8th International Workshop on Parallel and Distributed Methods in verifiCation [Citation Graph (, )][DBLP]
Using Strategy Improvement to Stay Alive [Citation Graph (, )][DBLP]
Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE. [Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.303secs
|