Jiri Barnat

2008
20	EE	Jiri Barnat, Lubos Brim, Petr Rockai: DiVinE Multi-Core - A Parallel LTL Model-Checker. ATVA 2008: 234-239
19	EE	Jiri Barnat, Lubos Brim: Squeeze All the Power Out of Your Hardware to Verify Your Software!. ISoLA 2008: 604-618
18	EE	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	EE	Jiri Barnat, Lubos Brim, Pavel Simecek, M. Weber: Revisiting Resistance Speeds Up I/O-Efficient LTL Model Checking. TACAS 2008: 48-62
16	EE	Jiri Barnat, Lubos Brim, Ivana Cerná, S. 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	EE	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	EE	Jiri Barnat, Petr Rockai: Shared Hash Tables in Parallel Model Checking. Electr. Notes Theor. Comput. Sci. 198(1): 79-91 (2008)
2007
13	EE	Jiri Barnat, Lubos Brim, Pavel Simecek: I/O Efficient Accepting Cycle Detection. CAV 2007: 281-293
12	EE	Jiri Barnat, Lubos Brim, Martin Leucker: Parallel Model Checking and the FMICS-jETI Platform. ICECCS 2007: 330-339
11	EE	Jiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska, Jana Tumova: ProbDiVinE: A Parallel Qualitative LTL Model Checker. QEST 2007: 215-216
10	EE	Jiri Barnat, Lubos Brim, Petr Rockai: Scalable Multi-core LTL Model-Checking. SPIN 2007: 187-203
9	EE	Lubos Brim, Jiri Barnat: Tutorial: Parallel Model Checking. SPIN 2007: 2-3
2006
8	EE	Jiri Barnat, Lubos Brim, Ivana Cerná, Pavel Moravec, Petr Rockai, Pavel Simecek: DiVinE - A Tool for Distributed Verification. CAV 2006: 278-281
7	EE	Jiri Barnat, Pavel Moravec: Parallel Algorithms for Finding SCCs in Implicitly Given Graphs. FMICS/PDMC 2006: 316-330
6	EE	Jiri Barnat, Ivana Cerná: Distributed breadth-first search LTL model checking. Formal Methods in System Design 29(2): 117-134 (2006)
2005
5	EE	Jiri Barnat, Lubos Brim, Ivana Cerná: Cluster-Based LTL Model Checking of Large Systems. FMCO 2005: 259-279
4	EE	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	EE	Jiri Barnat, Lubos Brim, Jakub Chaloupka: Parallel Breadth-First Search LTL Model-Checking. ASE 2003: 106-115
2	EE	Lubos Brim, Jiri Barnat: Distribution of Explicit-State LTL Model-Checking. Electr. Notes Theor. Comput. Sci. 80: (2003)
2001
1	EE	Jiri Barnat, Lubos Brim, Jitka Stríbrná: Distributed LTL Model-Checking in SPIN. SPIN 2001: 200-216

Coauthor Index

1	Lubos Brim	[1] [2] [3] [4] [5] [8] [9] [10] [11] [12] [13] [16] [17] [18] [19] [20]
2	Ivana Cerná (Ivana Cerna)	[5] [6] [8] [11] [16] [18]
3	Milan Ceska	[11] [18]
4	Jakub Chaloupka	[3] [4] [15]
5	S. Drazan	[16]
6	Martin Leucker	[12]
7	Pavel Moravec	[7] [8]
8	Jaco van de Pol	[15]
9	Petr Rockai	[8] [10] [14] [20]
10	David Safránek	[16]
11	Pavel Simecek	[8] [13] [17]
12	Jitka Stríbrná	[1]
13	Jana Tumova	[11] [18]
14	M. Weber	[17]