The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Lubos Brim: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. Jiri Barnat, Lubos Brim, Jakub Chaloupka
    Parallel Breadth-First Search LTL Model-Checking. [Citation Graph (0, 0)][DBLP]
    ASE, 2003, pp:106-115 [Conf]
  7. Lubos Brim
    Modal Logics in Timed Process Algebras. [Citation Graph (0, 0)][DBLP]
    NAPAW, 1992, pp:13-26 [Conf]
  8. Lubos Brim, Ivana Cerná, Martin Necesal
    Randomization Helps in LTL Model Checking. [Citation Graph (0, 0)][DBLP]
    PAPM-PROBMIV, 2001, pp:105-119 [Conf]
  9. Lubos Brim, Ivana Cerná, Lukás Hejtmánek
    Distributed Negative Cycle Detection Algorithms. [Citation Graph (0, 0)][DBLP]
    PARCO, 2003, pp:297-304 [Conf]
  10. Lubos Brim, David Gilbert, Jean-Marie Jacquet, Mojmír Kretínský
    Synchronisation in Scc. [Citation Graph (0, 0)][DBLP]
    ILPS, 1995, pp:641- [Conf]
  11. 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]
  12. 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]
  13. Jiri Barnat, Lubos Brim, Jitka Stríbrná
    Distributed LTL Model-Checking in SPIN. [Citation Graph (0, 0)][DBLP]
    SPIN, 2001, pp:200-216 [Conf]
  14. 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]
  15. 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]
  16. 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]
  17. 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]
  18. 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]
  19. 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]
  20. Lubos Brim, Orna Grumberg
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:68, n:4, pp:- [Journal]
  21. Lubos Brim, Orna Grumberg
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:89, n:1, pp:- [Journal]
  22. Lubos Brim, Martin Leucker
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:128, n:3, pp:1-2 [Journal]
  23. Lubos Brim, Isabelle Linden
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:150, n:1, pp:1-2 [Journal]
  24. 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]
  25. 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]
  26. Lubos Brim, Martin Leucker
    Foreword. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2006, v:29, n:2, pp:115-116 [Journal]
  27. Lubos Brim, Orna Grumberg
    Introductory paper. [Citation Graph (0, 0)][DBLP]
    STTT, 2005, v:7, n:1, pp:1-3 [Journal]
  28. 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]
  29. Jiri Barnat, Lubos Brim, Pavel Simecek
    I/O Efficient Accepting Cycle Detection. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:281-293 [Conf]
  30. 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]
  31. 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]
  32. Jiri Barnat, Lubos Brim, Petr Rockai
    Scalable Multi-core LTL Model-Checking. [Citation Graph (0, 0)][DBLP]
    SPIN, 2007, pp:187-203 [Conf]
  33. Lubos Brim, Jiri Barnat
    Tutorial: Parallel Model Checking. [Citation Graph (0, 0)][DBLP]
    SPIN, 2007, pp:2-3 [Conf]
  34. Lubos Brim
    Distributed Verification: Exploring the Power of Raw Computing Power. [Citation Graph (0, 0)][DBLP]
    FMICS/PDMC, 2006, pp:23-34 [Conf]
  35. 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]

  36. DiVinE Multi-Core - A Parallel LTL Model-Checker. [Citation Graph (, )][DBLP]


  37. Component-Interaction Automata Approach (CoIn). [Citation Graph (, )][DBLP]


  38. A Time-Optimal On-the-Fly Parallel Algorithm for Model Checking of Weak LTL Properties. [Citation Graph (, )][DBLP]


  39. Partial Order Reduction for State/Event LTL. [Citation Graph (, )][DBLP]


  40. Efficient large-scale model checking. [Citation Graph (, )][DBLP]


  41. Squeeze All the Power Out of Your Hardware to Verify Your Software!. [Citation Graph (, )][DBLP]


  42. Cluster-Based I/O-Efficient LTL Model Checking. [Citation Graph (, )][DBLP]


  43. ProbDiVinE: A Parallel Qualitative LTL Model Checker. [Citation Graph (, )][DBLP]


  44. ProbDiVinE-MC: Multi-core LTL Model Checker for Probabilistic Systems. [Citation Graph (, )][DBLP]


  45. Revisiting Resistance Speeds Up I/O-Efficient LTL Model Checking. [Citation Graph (, )][DBLP]


  46. Local Quantitative LTL Model Checking. [Citation Graph (, )][DBLP]


  47. Can Flash Memory Help in Model Checking? [Citation Graph (, )][DBLP]


  48. Faster Algorithm for Mean-Payoff Games. [Citation Graph (, )][DBLP]


  49. High-performance analysis of biological systems dynamics with the DiVinE model checker. [Citation Graph (, )][DBLP]


  50. BioDiVinE: A Framework for Parallel Analysis of Biological Models [Citation Graph (, )][DBLP]


  51. DiVinE-CUDA - A Tool for GPU Accelerated LTL Model Checking [Citation Graph (, )][DBLP]


  52. Proceedings 8th International Workshop on Parallel and Distributed Methods in verifiCation [Citation Graph (, )][DBLP]


  53. Using Strategy Improvement to Stay Alive [Citation Graph (, )][DBLP]


  54. Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.007secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002