Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Jiri Barnat
2010 – today
- 2013
[j18]Boyan Yordanov, Jana Tumova, Ivana Cerná, Jiri Barnat, Calin Belta: Formal analysis of piecewise affine systems through formula-guided refinement. Automatica 49(1): 261-266 (2013)- [j17]Jiri Barnat, Jan Havlícek, Petr Rockai: Distributed LTL Model Checking with Hash Compaction. Electr. Notes Theor. Comput. Sci. 296: 79-93 (2013)
- [c38]Jiri Barnat, Lubos Brim, Vojtech Havel, Jan Havlícek, Jan Kriho, Milan Lenco, Petr Rockai, Vladimír Still, Jirí Weiser: DiVinE 3.0 - An Explicit-State Model Checker for Multithreaded C & C++ Programs. CAV 2013: 863-868
- [c37]Petr Rockai, Jiri Barnat, Lubos Brim: Improved State Space Reductions for LTL Model Checking of C and C++ Programs. NASA Formal Methods 2013: 1-15
- [i2]Jiri Barnat, Petr Bauch: Control Explicit---Data Symbolic Model Checking: An Introduction. CoRR abs/1303.7379 (2013)
- 2012
- [j16]Jiri Barnat, Ivana Cerná, Jana Tumova: Verification of Systems with Degradation. Computing and Informatics 31(3): 507- (2012)
- [j15]Jiri Barnat, Petr Bauch, Lubos Brim, Milan Ceska: Designing fast LTL model checking algorithms for many-core GPUs. J. Parallel Distrib. Comput. 72(9): 1083-1097 (2012)
- [j14]Jiri Barnat, Lubos Brim, Petr Rockai: On-the-fly parallel model checking algorithm that is optimal for verification of weak LTL properties. Sci. Comput. Program. 77(12): 1272-1288 (2012)
- [j13]Boyan Yordanov, Jana Tumova, Ivana Cerna, Jiri Barnat, Calin Belta: Temporal Logic Control of Discrete-Time Piecewise Affine Systems. IEEE Trans. Automat. Contr. 57(6): 1491-1504 (2012)
- [j12]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)
- [c36]Maria Svorenova, Jana Tumova, Jiri Barnat, Ivana Cerna: Attraction-based receding horizon path planning with temporal logic constraints. CDC 2012: 6749-6754
- [c35]Jiri Barnat, Jan Beran, Lubos Brim, Tomas Kratochvila, Petr Rockai: Tool Chain to Support Automated Formal Verification of Avionics Simulink Designs. FMICS 2012: 78-92
- [c34]Jiri Barnat, Lubos Brim, Petr Rockai: Towards LTL Model Checking of Unmodified Thread-Based C & C++ Programs. NASA Formal Methods 2012: 252-266
- [c33]
- [c32]Jiri Barnat, Lubos Brim, Jan Beran, Tomas Kratochvila, Italo R. Oliveira: Executing Model Checking Counterexamples in Simulink. TASE 2012: 245-248
- [i1]Maria Svorenova, Jana Tumova, Jiri Barnat, Ivana Cerna: Attraction-Based Receding Horizon Path Planning with Temporal Logic Constraints. CoRR abs/1208.5855 (2012)
- 2011
- [j11]Jiri Barnat, Jakub Chaloupka, Jaco van de Pol: Distributed Algorithms for SCC Decomposition. J. Log. Comput. 21(1): 23-44 (2011)
- [j10]Stefan Edelkamp, Damian Sulewski, Jiri Barnat, Lubos Brim, Pavel Simecek: Flash memory efficient LTL model checking. Sci. Comput. Program. 76(2): 136-157 (2011)
- [c31]Jiri Barnat, Petr Bauch, Lubos Brim, Milan Ceska: Computing Strongly Connected Components in Parallel on CUDA. IPDPS 2011: 544-555
- [c30]Jiri Barnat, Ivana Cerná, Jana Tumova: Timed Automata Approach to Verification of Systems with Degradation. MEMICS 2011: 84-93
- [c29]Lubos Brim, Jiri Barnat: Platform Dependent Verification: On Engineering Verification Tools for 21st Century. PDMC 2011: 1-12
- [c28]Jiri Barnat, Petr Bauch, Lubos Brim, Milan Ceska: Computing Optimal Cycle Mean in Parallel on CUDA. PDMC 2011: 68-83
- [e1]Jiri Barnat, Keijo Heljanko (Eds.): Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation. EPTCS 72, 2011
- 2010
- [j9]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)
- [j8]Jiri Barnat, Lubos Brim, Petr Rockai: Scalable shared memory LTL model checking. STTT 12(2): 139-153 (2010)
- [c27]Jana Tumova, Boyan Yordanov, Calin Belta, Ivana Cerna, Jiri Barnat: A symbolic approach to controlling piecewise affine systems. CDC 2010: 4230-4235
- [c26]Boyan Yordanov, Jana Tumova, Calin Belta, Ivana Cerna, Jiri Barnat: Formal analysis of piecewise affine systems through formula-guided refinement. CDC 2010: 5899-5904
- [c25]Jiri Barnat, Petr Bauch, Lubos Brim, Milan Ceska: Employing Multiple CUDA Devices to Accelerate LTL Model Checking. ICPADS 2010: 259-266
- [c24]Jiri Barnat, Lubos Brim, Petr Rockai: Parallel Partial Order Reduction with Topological Sort Proviso. SEFM 2010: 222-231
2000 – 2009
- 2009
- [j7]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)
- [c23]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
- [c22]Jiri Barnat, Lubos Brim, Milan Ceska, Tomas Lamr: CUDA Accelerated LTL Model Checking. ICPADS 2009: 34-41
- [c21]Kees Verstoep, Henri E. Bal, Jiri Barnat, Lubos Brim: Efficient large-scale model checking. IPDPS 2009: 1-12
- [c20]Jiri Barnat, Lubos Brim, Pavel Simecek: Cluster-Based I/O-Efficient LTL Model Checking. ASE 2009: 635-639
- [c19]Jiri Barnat, Ivana Cerná, Jana Tumova: Quantitative Model Checking of Systems with Degradation. QEST 2009: 21-30
- [c18]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
- [c17]Jiri Barnat, Lubos Brim, Milan Ceska: DiVinE-CUDA - A Tool for GPU Accelerated LTL Model Checking. PDMC 2009: 107-111
- 2008
- [j6]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)
- [j5]Jiri Barnat, Jakub Chaloupka, Jaco van de Pol: Improved Distributed Algorithms for SCC Decomposition. Electr. Notes Theor. Comput. Sci. 198(1): 63-77 (2008)
- [j4]Jiri Barnat, Petr Rockai: Shared Hash Tables in Parallel Model Checking. Electr. Notes Theor. Comput. Sci. 198(1): 79-91 (2008)
- [c16]Jiri Barnat, Lubos Brim, Petr Rockai: DiVinE Multi-Core - A Parallel LTL Model-Checker. ATVA 2008: 234-239
- [c15]Jiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska, Jana Tumova: Local Quantitative LTL Model Checking. FMICS 2008: 53-68
- [c14]Jiri Barnat, Lubos Brim, Stefan Edelkamp, Damian Sulewski, Pavel Simecek: Can Flash Memory Help in Model Checking? FMICS 2008: 150-165
- [c13]Jiri Barnat, Lubos Brim: Squeeze All the Power Out of Your Hardware to Verify Your Software!. ISoLA 2008: 604-618
- [c12]Jiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska, Jana Tumova: ProbDiVinE-MC: Multi-core LTL Model Checker for Probabilistic Systems. QEST 2008: 77-78
- [c11]Jiri Barnat, Lubos Brim, Pavel Simecek, M. Weber: Revisiting Resistance Speeds Up I/O-Efficient LTL Model Checking. TACAS 2008: 48-62
- 2007
- [c10]
- [c9]Jiri Barnat, Lubos Brim, Martin Leucker: Parallel Model Checking and the FMICS-jETI Platform. ICECCS 2007: 330-339
- [c8]Jiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska, Jana Tumova: ProbDiVinE: A Parallel Qualitative LTL Model Checker. QEST 2007: 215-216
- [c7]
- [c6]
- 2006
- [j3]Jiri Barnat, Ivana Cerná: Distributed breadth-first search LTL model checking. Formal Methods in System Design 29(2): 117-134 (2006)
- [c5]Jiri Barnat, Lubos Brim, Ivana Cerná, Pavel Moravec, Petr Rockai, Pavel Simecek: DiVinE - A Tool for Distributed Verification. CAV 2006: 278-281
- [c4]Jiri Barnat, Pavel Moravec: Parallel Algorithms for Finding SCCs in Implicitly Given Graphs. FMICS/PDMC 2006: 316-330
- 2005
- [j2]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)
- [c3]Jiri Barnat, Lubos Brim, Ivana Cerná: Cluster-Based LTL Model Checking of Large Systems. FMCO 2005: 259-279
- 2003
- [j1]Lubos Brim, Jiri Barnat: Distribution of Explicit-State LTL Model-Checking. Electr. Notes Theor. Comput. Sci. 80: 273-278 (2003)
- [c2]Jiri Barnat, Lubos Brim, Jakub Chaloupka: Parallel Breadth-First Search LTL Model-Checking. ASE 2003: 106-115
- 2001
- [c1]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:23 CEST by the dblp team