Jiri Barnat

	2012
45		Jiri Barnat, Lubos Brim, Petr Rockai: Towards LTL Model Checking of Unmodified Thread-Based C & C++ Programs. NASA Formal Methods 2012: 252-266
44		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
43		Jiri Barnat, Keijo Heljanko: Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation PDMC 2011
42		Jiri Barnat, Petr Bauch, Lubos Brim, Milan Ceska: Computing Strongly Connected Components in Parallel on CUDA. IPDPS 2011: 544-555
41		Jiri Barnat, Ivana Cerná, Jana Tumova: Timed Automata Approach to Verification of Systems with Degradation. MEMICS 2011: 84-93
40		Lubos Brim, Jiri Barnat: Platform Dependent Verification: On Engineering Verification Tools for 21st Century PDMC 2011: 1-12
39		Jiri Barnat, Petr Bauch, Lubos Brim, Milan Ceska: Computing Optimal Cycle Mean in Parallel on CUDA PDMC 2011: 68-83
38		Jiri Barnat, Jakub Chaloupka, Jaco van de Pol: Distributed Algorithms for SCC Decomposition. J. Log. Comput. 21(1): 23-44 (2011)
37		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
36		Jana Tumova, Boyan Yordanov, Calin Belta, Ivana Cerna, Jiri Barnat: A symbolic approach to controlling piecewise affine systems. CDC 2010: 4230-4235
35		Boyan Yordanov, Jana Tumova, Calin Belta, Ivana Cerna, Jiri Barnat: Formal analysis of piecewise affine systems through formula-guided refinement. CDC 2010: 5899-5904
34		Jiri Barnat, Petr Bauch, Lubos Brim, Milan Ceska: Employing Multiple CUDA Devices to Accelerate LTL Model Checking. ICPADS 2010: 259-266
33		Jiri Barnat, Lubos Brim, Petr Rockai: Parallel Partial Order Reduction with Topological Sort Proviso. SEFM 2010: 222-231
32		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)
31		Jiri Barnat, Lubos Brim, Petr Rockai: Scalable shared memory LTL model checking. STTT 12(2): 139-153 (2010)
	2009
30		Jiri Barnat, Lubos Brim, Pavel Simecek: Cluster-Based I/O-Efficient LTL Model Checking. ASE 2009: 635-639
29		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
28		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
27		Jiri Barnat, Lubos Brim, Milan Ceska, Tomas Lamr: CUDA Accelerated LTL Model Checking. ICPADS 2009: 34-41
26		Kees Verstoep, Henri E. Bal, Jiri Barnat, Lubos Brim: Efficient large-scale model checking. IPDPS 2009: 1-12
25		Jiri Barnat, Lubos Brim, Milan Ceska: DiVinE-CUDA - A Tool for GPU Accelerated LTL Model Checking PDMC 2009: 107-111
24		Jiri Barnat, Ivana Cerná, Jana Tumova: Quantitative Model Checking of Systems with Degradation. QEST 2009: 21-30
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: 273-278 (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	Petr Bauch	[34] [39] [42]
3	Calin Belta	[35] [36]
4	Lubos Brim	[1] [2] [3] [4] [5] [8] [9] [10] [11] [12] [13] [16] [17] [18] [19] [20] [21] [22] [23] [25] [26] [27] [28] [29] [30] [31] [32] [33] [34] [37] [39] [40] [42] [44] [45]
5	Ivana Cerná (Ivana Cerna)	[5] [6] [8] [11] [16] [18] [20] [23] [24] [29] [35] [36] [41]
6	Milan Ceska	[11] [18] [20] [25] [27] [34] [39] [42]
7	Jakub Chaloupka	[3] [4] [15] [38]
8	Sven Drazan	[16] [23] [29]
9	Stefan Edelkamp	[21] [37]
10	Jana Fabriková	[23] [29]
11	Keijo Heljanko	[43]
12	Adam Krejci	[44]
13	Tomas Lamr	[27]
14	Jan Láník	[29]
15	Martin Leucker	[12]
16	Hongwu Ma	[29]
17	Pavel Moravec	[7] [8]
18	Jaco van de Pol	[15] [38]
19	Petr Rockai	[8] [10] [14] [22] [28] [31] [33] [45]
20	David Safránek	[16] [23] [29] [32] [44]
21	Pavel Simecek	[8] [13] [17] [21] [30] [37]
22	Adam Streck	[44]
23	Jitka Stríbrná	[1]
24	Damian Sulewski	[21] [37]
25	Jana Tumova	[11] [18] [20] [24] [35] [36] [41]
26	Martin Vejnar	[44]
27	Tomas Vejpustek	[44]
28	Kees Verstoep	[26]
29	M. Weber	[17]
30	Boyan Yordanov	[35] [36]

Colors in the list of coauthors

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