Lubos Brim

	2012
74		Jiri Barnat, Lubos Brim, Petr Rockai: Towards LTL Model Checking of Unmodified Thread-Based C & C++ Programs. NASA Formal Methods 2012: 252-266
73		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. Biology Bioinform. 9(3): 693-705 (2012)
	2011
72		Lubos Brim, Jana Fabriková, Sven Drazan, David Safránek: Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation (extended abstract) CompMod 2011: 97-112
71		Jiri Barnat, Petr Bauch, Lubos Brim, Milan Ceska: Computing Strongly Connected Components in Parallel on CUDA. IPDPS 2011: 544-555
70		Lubos Brim, Jiri Barnat: Platform Dependent Verification: On Engineering Verification Tools for 21st Century PDMC 2011: 1-12
69		Jiri Barnat, Petr Bauch, Lubos Brim, Milan Ceska: Computing Optimal Cycle Mean in Parallel on CUDA PDMC 2011: 68-83
68		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. Biosystems 103(2): 115-124 (2011)
67		Lubos Brim, Jana Fabriková, Sven Drazan, David Safránek: Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation CoRR abs/1107.5924: (2011)
66		Lubos Brim, Jakub Chaloupka, Laurent Doyen, Raffaella Gentilini, Jean-François Raskin: Faster algorithms for mean-payoff games. Formal Methods in System Design 38(2): 97-118 (2011)
65		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)
64		Stefan Edelkamp, Damian Sulewski, Jiri Barnat, Lubos Brim, Pavel Simecek: Flash memory efficient LTL model checking. Sci. Comput. Program. 76(2): 136-157 (2011)
	2010
63		Lubos Brim, Jakub Chaloupka: Using Strategy Improvement to Stay Alive GANDALF 2010: 40-54
62		Jiri Barnat, Petr Bauch, Lubos Brim, Milan Ceska: Employing Multiple CUDA Devices to Accelerate LTL Model Checking. ICPADS 2010: 259-266
61		Jiri Barnat, Lubos Brim, Petr Rockai: Parallel Partial Order Reduction with Topological Sort Proviso. SEFM 2010: 222-231
60		Jiri Barnat, Lubos Brim, David Safránek: High-performance analysis of biological systems dynamics with the DiVinE model checker. Briefings in Bioinformatics 11(3): 301-312 (2010)
59		Jiri Barnat, Lubos Brim, Petr Rockai: Scalable shared memory LTL model checking. STTT 12(2): 139-153 (2010)
	2009
58		Lubos Brim, Jaco van de Pol: Proceedings 8th International Workshop on Parallel and Distributed Methods in verifiCation PDMC 2009
57		Jiri Barnat, Lubos Brim, Pavel Simecek: Cluster-Based I/O-Efficient LTL Model Checking. ASE 2009: 635-639
56		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
55		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
54		Jiri Barnat, Lubos Brim, Milan Ceska, Tomas Lamr: CUDA Accelerated LTL Model Checking. ICPADS 2009: 34-41
53		Nikola Benes, Lubos Brim, Ivana Cerná, Jiri Sochor, Pavlína Vareková, Barbora Zimmerova: Partial Order Reduction for State/Event LTL. IFM 2009: 307-321
52		Kees Verstoep, Henri E. Bal, Jiri Barnat, Lubos Brim: Efficient large-scale model checking. IPDPS 2009: 1-12
51		Jakub Chaloupka, Lubos Brim: Faster Algorithm for Mean-Payoff Games. MEMICS 2009
50		Jiri Barnat, Lubos Brim, Milan Ceska: DiVinE-CUDA - A Tool for GPU Accelerated LTL Model Checking PDMC 2009: 107-111
49		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)
	2008
48		Jiri Barnat, Lubos Brim, Petr Rockai: DiVinE Multi-Core - A Parallel LTL Model-Checker. ATVA 2008: 234-239
47		Jiri Barnat, Lubos Brim, Stefan Edelkamp, Damian Sulewski, Pavel Simecek: Can Flash Memory Help in Model Checking? FMICS 2008: 150-165
46		Jiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska, Jana Tumova: Local Quantitative LTL Model Checking. FMICS 2008: 53-68
45		Jiri Barnat, Lubos Brim: Squeeze All the Power Out of Your Hardware to Verify Your Software!. ISoLA 2008: 604-618
44		Jiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska, Jana Tumova: ProbDiVinE-MC: Multi-core LTL Model Checker for Probabilistic Systems. QEST 2008: 77-78
43		Jiri Barnat, Lubos Brim, Pavel Simecek, M. Weber: Revisiting Resistance Speeds Up I/O-Efficient LTL Model Checking. TACAS 2008: 48-62
42		Jiri 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
40		Jiri Barnat, Lubos Brim, Pavel Simecek: I/O Efficient Accepting Cycle Detection. CAV 2007: 281-293
39		Barbora Zimmerova, Pavlína Vareková, Nikola Benes, Ivana Cerná, Lubos Brim, Jiri Sochor: Component-Interaction Automata Approach (CoIn). CoCoME 2007: 146-176
38		Jiri Barnat, Lubos Brim, Martin Leucker: Parallel Model Checking and the FMICS-jETI Platform. ICECCS 2007: 330-339
37		Jiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska, Jana Tumova: ProbDiVinE: A Parallel Qualitative LTL Model Checker. QEST 2007: 215-216
36		Lubos Brim, Mojmír Kretínský: Model-Checking Large Finite-State Systems and Beyond. SOFSEM (1) 2007: 9-28
35		Jiri Barnat, Lubos Brim, Petr Rockai: Scalable Multi-core LTL Model-Checking. SPIN 2007: 187-203
34		Lubos Brim, Jiri Barnat: Tutorial: Parallel Model Checking. SPIN 2007: 2-3
	2006
33		Jiri Barnat, Lubos Brim, Ivana Cerná, Pavel Moravec, Petr Rockai, Pavel Simecek: DiVinE - A Tool for Distributed Verification. CAV 2006: 278-281
32		Lubos Brim: Distributed Verification: Exploring the Power of Raw Computing Power. FMICS/PDMC 2006: 23-34
31		Lubos Brim, Ivana Cerná, Pavel Moravec, Jirí Simsa: On Combining Partial Order Reduction with Fairness Assumptions. FMICS/PDMC 2006: 84-99
30		Lubos 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)
29		Lubos 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)
28		Lubos Brim, Isabelle Linden: Preface. Electr. Notes Theor. Comput. Sci. 150(1): 1-2 (2006)
27		Lubos Brim, Martin Leucker: Foreword. Formal Methods in System Design 29(2): 115-116 (2006)
	2005
26		Jiri Barnat, Lubos Brim, Ivana Cerná: Cluster-Based LTL Model Checking of Large Systems. FMCO 2005: 259-279
25		Lubos Brim, Martin Leucker: Preface. Electr. Notes Theor. Comput. Sci. 128(3): 1-2 (2005)
24		Lubos Brim, Ivana Cerná, Pavel Moravec, Jirí Simsa: Distributed Partial Order Reduction of State Spaces. Electr. Notes Theor. Comput. Sci. 128(3): 63-74 (2005)
23		Jiri Barnat, Lubos Brim, Jakub Chaloupka: From Distributed Memory Cycle Detection to Parallel LTL Model Checking. Electr. Notes Theor. Comput. Sci. 133: 21-39 (2005)
22		Lubos Brim, Orna Grumberg: Introductory paper. STTT 7(1): 1-3 (2005)
21		Lubos Brim, Karen Yorav, Jitka Zidkova: Assumption-based distribution of CTL model checking. STTT 7(1): 61-73 (2005)
	2004
20		Lubos Brim, Ivana Cerná, Pavel Moravec, Jirí Simsa: Accepting Predecessors Are Better than Back Edges in Distributed LTL Model-Checking. FMCAD 2004: 352-366
	2003
19		Jiri 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
17		Jean-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): 347-370 (2003)
16		Lubos Brim, Jiri Barnat: Distribution of Explicit-State LTL Model-Checking. Electr. Notes Theor. Comput. Sci. 80: 273-278 (2003)
15		Lubos Brim, Orna Grumberg: Preface. Electr. Notes Theor. Comput. Sci. 89(1): 1-2 (2003)
14		Lubos Brim, Jitka Zidkova: Using Assumptions to Distribute Alternation Free Mu-Calculus Model Checking. Electr. Notes Theor. Comput. Sci. 89(1): 17-32 (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)
11		Lubos Brim, Orna Grumberg: Preface. Electr. Notes Theor. Comput. Sci. 68(4): 483 (2002)
10		Lubos Brim, Jitka Crhova, Karen Yorav: Using Assumptions to Distribute CTL Model Checking. Electr. Notes Theor. Comput. Sci. 68(4): 559-574 (2002)
	2001
9		Lubos Brim, Ivana Cerná, Pavel Krcál, Radek Pelánek: Distributed LTL Model Checking Based on Negative Cycle Detection. FSTTCS 2001: 96-107
8		Lubos Brim, Ivana Cerná, Martin Necesal: Randomization Helps in LTL Model Checking. PAPM-PROBMIV 2001: 105-119
7		Lubos Brim, Ivana Cerná, Pavel Krcál, Radek Pelánek: How to Employ Reverse Search in Distributed Single Source Shortest Paths. SOFSEM 2001: 191-200
6		Lubos Brim, David Gilbert, Jean-Marie Jacquet, Mojmír Kretínský: Multi-agent Systems as Concurrent Constraint Processes. SOFSEM 2001: 201-210
5		Jiri 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
3		Lubos 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

1	Henri E. Bal	[52]
2	Jiri Barnat	[5] [16] [19] [23] [26] [33] [34] [35] [37] [38] [40] [42] [43] [44] [45] [46] [47] [48] [49] [50] [52] [54] [55] [56] [57] [59] [60] [61] [62] [64] [69] [70] [71] [73] [74]
3	Petr Bauch	[62] [69] [71]
4	Nikola Benes	[39] [53] [65]
5	Barbora Buhnova (Barbora Zimmerova)	[30] [39] [53] [65]
6	Ivana Cerná (Ivana Cerna)	[7] [8] [9] [18] [20] [24] [26] [29] [30] [31] [33] [37] [39] [42] [44] [46] [49] [53] [56] [65]
7	Jan Cervený	[68]
8	Milan Ceska	[37] [44] [46] [50] [54] [62] [69] [71]
9	Jakub Chaloupka	[19] [23] [51] [63] [66]
10	Jitka Crhova	[10]
11	Laurent Doyen	[66]
12	Sven Drazan	[42] [49] [56] [67] [72]
13	Stefan Edelkamp	[47] [64]
14	Jana Fabriková	[49] [56] [67] [72]
15	Raffaella Gentilini	[66]
16	David Gilbert (David R. Gilbert)	[2] [3] [6] [12] [17]
17	Orna Grumberg	[11] [15] [22]
18	Jozef Gruska	[4]
19	Boudewijn R. Haverkort	[41]
20	Lukás Hejtmánek	[18]
21	Jean-Marie Jacquet	[2] [3] [6] [12] [17]
22	Petr Jancar	[13]
23	Matej Klement	[68]
24	Pavel Krcál	[7] [9]
25	Adam Krejci	[73]
26	Mojmír Kretínský	[2] [3] [6] [12] [13] [17] [36]
27	Antonín Kucera	[13]
28	Tomas Lamr	[54]
29	Jan Láník	[56]
30	Dusan Lazar	[68]
31	Martin Leucker	[25] [27] [38] [41]
32	Isabelle Linden	[28]
33	Hongwu Ma	[56]
34	Pavel Moravec	[20] [24] [29] [31] [33]
35	Martin Necesal	[8]
36	Ladislav Nedbal	[68]
37	Radek Pelánek	[7] [9]
38	Jaco van de Pol	[41] [58]
39	Jana Pospísilová	[68]
40	Jean-François Raskin	[66]
41	Petr Rockai	[33] [35] [48] [55] [59] [61] [74]
42	David Safránek	[42] [49] [56] [60] [67] [68] [72] [73]
43	Pavel Simecek	[33] [40] [43] [47] [57] [64]
44	Jirí Simsa	[20] [24] [29] [31]
45	Jiri Sochor	[39] [53] [65]
46	Adam Streck	[73]
47	Jitka Stríbrná	[5]
48	Damian Sulewski	[47] [64]
49	Jana Tumova	[37] [44] [46]
50	Pavlína Vareková	[30] [39] [53] [65]
51	Martin Vejnar	[73]
52	Tomas Vejpustek	[73]
53	Kees Verstoep	[52]
54	M. Weber	[43]
55	Karen Yorav (Karen Laster)	[10] [21]
56	Jitka Zidkova	[14] [21]
57	Jirí Zlatuska	[4]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page