dblp.uni-trier.dewww.uni-trier.de

Lubos Brim Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
52EENikola Benes, Lubos Brim, Ivana Cerná, Jiri Sochor, Pavlína Vareková, Barbora Zimmerova: Partial Order Reduction for State/Event LTL. IFM 2009: 307-321
51EEKees Verstoep, Henri E. Bal, Jiri Barnat, Lubos Brim: Efficient large-scale model checking. IPDPS 2009: 1-12
50EEJiri 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 CoRR abs/0910.0928: (2009)
49EEJiri 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)
2008
48EEJiri Barnat, Lubos Brim, Petr Rockai: DiVinE Multi-Core - A Parallel LTL Model-Checker. ATVA 2008: 234-239
47EEJiri Barnat, Lubos Brim, Stefan Edelkamp, Damian Sulewski, Pavel Simecek: Can Flash Memory Help in Model Checking? FMICS 2008: 150-165
46EEJiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska, Jana Tumova: Local Quantitative LTL Model Checking. FMICS 2008: 53-68
45EEJiri Barnat, Lubos Brim: Squeeze All the Power Out of Your Hardware to Verify Your Software!. ISoLA 2008: 604-618
44EEJiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska, Jana Tumova: ProbDiVinE-MC: Multi-core LTL Model Checker for Probabilistic Systems. QEST 2008: 77-78
43EEJiri Barnat, Lubos Brim, Pavel Simecek, M. Weber: Revisiting Resistance Speeds Up I/O-Efficient LTL Model Checking. TACAS 2008: 48-62
42EEJiri Barnat, Lubos Brim, Ivana Cerná, Sven Drazan, David Safránek: Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE. Electr. Notes Theor. Comput. Sci. 194(3): 35-50 (2008)
2007
41 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 Springer 2007
40EEJiri Barnat, Lubos Brim, Pavel Simecek: I/O Efficient Accepting Cycle Detection. CAV 2007: 281-293
39EEBarbora Zimmerova, Pavlína Vareková, Nikola Benes, Ivana Cerná, Lubos Brim, Jiri Sochor: Component-Interaction Automata Approach (CoIn). CoCoME 2007: 146-176
38EEJiri Barnat, Lubos Brim, Martin Leucker: Parallel Model Checking and the FMICS-jETI Platform. ICECCS 2007: 330-339
37EEJiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska, Jana Tumova: ProbDiVinE: A Parallel Qualitative LTL Model Checker. QEST 2007: 215-216
36EELubos Brim, Mojmír Kretínský: Model-Checking Large Finite-State Systems and Beyond. SOFSEM (1) 2007: 9-28
35EEJiri Barnat, Lubos Brim, Petr Rockai: Scalable Multi-core LTL Model-Checking. SPIN 2007: 187-203
34EELubos Brim, Jiri Barnat: Tutorial: Parallel Model Checking. SPIN 2007: 2-3
2006
33EEJiri Barnat, Lubos Brim, Ivana Cerná, Pavel Moravec, Petr Rockai, Pavel Simecek: DiVinE - A Tool for Distributed Verification. CAV 2006: 278-281
32EELubos Brim: Distributed Verification: Exploring the Power of Raw Computing Power. FMICS/PDMC 2006: 23-34
31EELubos Brim, Ivana Cerná, Pavel Moravec, Jirí Simsa: On Combining Partial Order Reduction with Fairness Assumptions. FMICS/PDMC 2006: 84-99
30EELubos Brim, Ivana Cerná, Pavlína Vareková, Barbora Zimmerova: Component-interaction automata as a verification-oriented component-based system specification. ACM SIGSOFT Software Engineering Notes 31(2): (2006)
29EELubos Brim, Ivana Cerná, Pavel Moravec, Jirí Simsa: How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors. Electr. Notes Theor. Comput. Sci. 135(2): 3-18 (2006)
28EELubos Brim, Isabelle Linden: Preface. Electr. Notes Theor. Comput. Sci. 150(1): 1-2 (2006)
27EELubos Brim, Martin Leucker: Foreword. Formal Methods in System Design 29(2): 115-116 (2006)
2005
26EEJiri Barnat, Lubos Brim, Ivana Cerná: Cluster-Based LTL Model Checking of Large Systems. FMCO 2005: 259-279
25EELubos Brim, Martin Leucker: Preface. Electr. Notes Theor. Comput. Sci. 128(3): 1-2 (2005)
24EELubos Brim, Ivana Cerná, Pavel Moravec, Jirí Simsa: Distributed Partial Order Reduction of State Spaces. Electr. Notes Theor. Comput. Sci. 128(3): 63-74 (2005)
23EEJiri Barnat, Lubos Brim, Jakub Chaloupka: From Distributed Memory Cycle Detection to Parallel LTL Model Checking. Electr. Notes Theor. Comput. Sci. 133: 21-39 (2005)
22EELubos Brim, Orna Grumberg: Introductory paper. STTT 7(1): 1-3 (2005)
21EELubos Brim, Karen Yorav, Jitka Zidkova: Assumption-based distribution of CTL model checking. STTT 7(1): 61-73 (2005)
2004
20EELubos Brim, Ivana Cerná, Pavel Moravec, Jirí Simsa: Accepting Predecessors Are Better than Back Edges in Distributed LTL Model-Checking. FMCAD 2004: 352-366
2003
19EEJiri Barnat, Lubos Brim, Jakub Chaloupka: Parallel Breadth-First Search LTL Model-Checking. ASE 2003: 106-115
18 Lubos Brim, Ivana Cerná, Lukás Hejtmánek: Distributed Negative Cycle Detection Algorithms. PARCO 2003: 297-304
17EEJean-Marie Jacquet, Lubos Brim, David Gilbert, Mojmír Kretínský: Coordination by Means of Synchronous and Asynchronous Communication in Concurrent Constraint Programming. Electr. Notes Theor. Comput. Sci. 68(3): (2003)
16EELubos Brim, Jiri Barnat: Distribution of Explicit-State LTL Model-Checking. Electr. Notes Theor. Comput. Sci. 80: (2003)
15EELubos Brim, Orna Grumberg: Preface. Electr. Notes Theor. Comput. Sci. 89(1): (2003)
14EELubos Brim, Jitka Zidkova: Using Assumptions to Distribute Alternation Free Mu-Calculus Model Checking. Electr. Notes Theor. Comput. Sci. 89(1): (2003)
2002
13 Lubos Brim, Petr Jancar, Mojmír Kretínský, Antonín Kucera: CONCUR 2002 - Concurrency Theory, 13th International Conference, Brno, Czech Republic, August 20-23, 2002, Proceedings Springer 2002
12 Lubos Brim, Mojmír Kretínský, Jean-Marie Jacquet, David Gilbert: Modelling Multi-Agent Systems as Synchronous Concurrent Constraint Processes. Computers and Artificial Intelligence 21(6): (2002)
11EELubos Brim, Orna Grumberg: Preface. Electr. Notes Theor. Comput. Sci. 68(4): (2002)
10EELubos Brim, Jitka Crhova, Karen Yorav: Using Assumptions to Distribute CTL Model Checking. Electr. Notes Theor. Comput. Sci. 68(4): (2002)
2001
9EELubos Brim, Ivana Cerná, Pavel Krcál, Radek Pelánek: Distributed LTL Model Checking Based on Negative Cycle Detection. FSTTCS 2001: 96-107
8EELubos Brim, Ivana Cerná, Martin Necesal: Randomization Helps in LTL Model Checking. PAPM-PROBMIV 2001: 105-119
7EELubos Brim, Ivana Cerná, Pavel Krcál, Radek Pelánek: How to Employ Reverse Search in Distributed Single Source Shortest Paths. SOFSEM 2001: 191-200
6EELubos Brim, David Gilbert, Jean-Marie Jacquet, Mojmír Kretínský: Multi-agent Systems as Concurrent Constraint Processes. SOFSEM 2001: 201-210
5EEJiri Barnat, Lubos Brim, Jitka Stríbrná: Distributed LTL Model-Checking in SPIN. SPIN 2001: 200-216
1998
4 Lubos Brim, Jozef Gruska, Jirí Zlatuska: Mathematical Foundations of Computer Science 1998, 23rd International Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings Springer 1998
1996
3EELubos Brim, Jean-Marie Jacquet, David Gilbert, Mojmír Kretínský: A Process Algebra for Synchronous Concurrent Constraint Programming. ALP 1996: 165-178
1995
2 Lubos Brim, David Gilbert, Jean-Marie Jacquet, Mojmír Kretínský: Synchronisation in Scc. ILPS 1995: 641
1992
1 Lubos Brim: Modal Logics in Timed Process Algebras. NAPAW 1992: 13-26

Coauthor Index

1Henri E. Bal [51]
2Jiri Barnat [5] [16] [19] [23] [26] [33] [34] [35] [37] [38] [40] [42] [43] [44] [45] [46] [47] [48] [49] [50] [51]
3Nikola Benes [39] [52]
4Ivana Cerná (Ivana Cerna) [7] [8] [9] [18] [20] [24] [26] [29] [30] [31] [33] [37] [39] [42] [44] [46] [49] [50] [52]
5Milan Ceska [37] [44] [46]
6Jakub Chaloupka [19] [23]
7Jitka Crhova [10]
8Sven Drazan [42] [49] [50]
9Stefan Edelkamp [47]
10Jana Fabriková [49] [50]
11David Gilbert (David R. Gilbert) [2] [3] [6] [12] [17]
12Orna Grumberg [11] [15] [22]
13Jozef Gruska [4]
14Boudewijn R. Haverkort [41]
15Lukás Hejtmánek [18]
16Jean-Marie Jacquet [2] [3] [6] [12] [17]
17Petr Jancar [13]
18Pavel Krcál [7] [9]
19Mojmír Kretínský [2] [3] [6] [12] [13] [17] [36]
20Antonín Kucera [13]
21Jan Láník [50]
22Martin Leucker [25] [27] [38] [41]
23Isabelle Linden [28]
24Hongwu Ma [50]
25Pavel Moravec [20] [24] [29] [31] [33]
26Martin Necesal [8]
27Radek Pelánek [7] [9]
28Jaco van de Pol [41]
29Petr Rockai [33] [35] [48]
30David Safránek [42] [49] [50]
31Pavel Simecek [33] [40] [43] [47]
32Jirí Simsa [20] [24] [29] [31]
33Jiri Sochor [39] [52]
34Jitka Stríbrná [5]
35Damian Sulewski [47]
36Jana Tumova [37] [44] [46]
37Pavlína Vareková [30] [39] [52]
38Kees Verstoep [51]
39M. Weber [43]
40Karen Yorav (Karen Laster) [10] [21]
41Jitka Zidkova [14] [21]
42Barbora Zimmerova [30] [39] [52]
43Jirí Zlatuska [4]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)