Jiri Barnat

	2009
27		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
26		Kees Verstoep, Henri E. Bal, Jiri Barnat, Lubos Brim: Efficient large-scale model checking. IPDPS 2009: 1-12
25		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 CoRR abs/0910.0928: (2009)
24		Jiri Barnat, Lubos Brim, Milan Ceska: DiVinE-CUDA - A Tool for GPU Accelerated LTL Model Checking CoRR abs/0912.2555: (2009)
23		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
22		Jiri Barnat, Lubos Brim, Petr Rockai: DiVinE Multi-Core - A Parallel LTL Model-Checker. ATVA 2008: 234-239
21		Jiri Barnat, Lubos Brim, Stefan Edelkamp, Damian Sulewski, Pavel Simecek: Can Flash Memory Help in Model Checking? FMICS 2008: 150-165
20		Jiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska, Jana Tumova: Local Quantitative LTL Model Checking. FMICS 2008: 53-68
19		Jiri Barnat, Lubos Brim: Squeeze All the Power Out of Your Hardware to Verify Your Software!. ISoLA 2008: 604-618
18		Jiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska, Jana Tumova: ProbDiVinE-MC: Multi-core LTL Model Checker for Probabilistic Systems. QEST 2008: 77-78
17		Jiri Barnat, Lubos Brim, Pavel Simecek, M. Weber: Revisiting Resistance Speeds Up I/O-Efficient LTL Model Checking. TACAS 2008: 48-62
16		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)
15		Jiri Barnat, Jakub Chaloupka, Jaco van de Pol: Improved Distributed Algorithms for SCC Decomposition. Electr. Notes Theor. Comput. Sci. 198(1): 63-77 (2008)
14		Jiri Barnat, Petr Rockai: Shared Hash Tables in Parallel Model Checking. Electr. Notes Theor. Comput. Sci. 198(1): 79-91 (2008)
	2007
13		Jiri Barnat, Lubos Brim, Pavel Simecek: I/O Efficient Accepting Cycle Detection. CAV 2007: 281-293
12		Jiri Barnat, Lubos Brim, Martin Leucker: Parallel Model Checking and the FMICS-jETI Platform. ICECCS 2007: 330-339
11		Jiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska, Jana Tumova: ProbDiVinE: A Parallel Qualitative LTL Model Checker. QEST 2007: 215-216
10		Jiri Barnat, Lubos Brim, Petr Rockai: Scalable Multi-core LTL Model-Checking. SPIN 2007: 187-203
9		Lubos Brim, Jiri Barnat: Tutorial: Parallel Model Checking. SPIN 2007: 2-3
	2006
8		Jiri Barnat, Lubos Brim, Ivana Cerná, Pavel Moravec, Petr Rockai, Pavel Simecek: DiVinE - A Tool for Distributed Verification. CAV 2006: 278-281
7		Jiri Barnat, Pavel Moravec: Parallel Algorithms for Finding SCCs in Implicitly Given Graphs. FMICS/PDMC 2006: 316-330
6		Jiri Barnat, Ivana Cerná: Distributed breadth-first search LTL model checking. Formal Methods in System Design 29(2): 117-134 (2006)
	2005
5		Jiri Barnat, Lubos Brim, Ivana Cerná: Cluster-Based LTL Model Checking of Large Systems. FMCO 2005: 259-279
4		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)
	2003
3		Jiri Barnat, Lubos Brim, Jakub Chaloupka: Parallel Breadth-First Search LTL Model-Checking. ASE 2003: 106-115
2		Lubos Brim, Jiri Barnat: Distribution of Explicit-State LTL Model-Checking. Electr. Notes Theor. Comput. Sci. 80: (2003)
	2001
1		Jiri Barnat, Lubos Brim, Jitka Stríbrná: Distributed LTL Model-Checking in SPIN. SPIN 2001: 200-216

Coauthor Index

1	Henri E. Bal	[26]
2	Lubos Brim	[1] [2] [3] [4] [5] [8] [9] [10] [11] [12] [13] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27]
3	Ivana Cerná (Ivana Cerna)	[5] [6] [8] [11] [16] [18] [20] [23] [25]
4	Milan Ceska	[11] [18] [20] [24]
5	Jakub Chaloupka	[3] [4] [15]
6	Sven Drazan	[16] [23] [25]
7	Stefan Edelkamp	[21]
8	Jana Fabriková	[23] [25]
9	Jan Láník	[25]
10	Martin Leucker	[12]
11	Hongwu Ma	[25]
12	Pavel Moravec	[7] [8]
13	Jaco van de Pol	[15]
14	Petr Rockai	[8] [10] [14] [22] [27]
15	David Safránek	[16] [23] [25]
16	Pavel Simecek	[8] [13] [17] [21]
17	Jitka Stríbrná	[1]
18	Damian Sulewski	[21]
19	Jana Tumova	[11] [18] [20]
20	Kees Verstoep	[26]
21	M. Weber	[17]