Assoc. Prof. RNDr. Jiří Barnat, Ph.D.
BARNAT, Jiří - BAUCH, Petr - BRIM, Luboš - ČEŠKA, Milan.
Designing Fast LTL Model Checking Algorithms for Many-core GPUs. Journal of Parallel and Distributed Computing, Elsevier. ISSN 0743-7315, 2012.
BARNAT, Jiří - BRIM, Luboš - ROČKAI, Petr.
On-the-fly Parallel Model Checking Algorithm that is Optimal for Verification of Weak LTL Properties. Science of Computer Programming, Elsevier. ISSN 0167-6423, 2012, vol. 2011, no. 0.
BARNAT, Jiří - BRIM, Luboš - KREJČÍ, Adam - STRECK, Adam - ŠAFRÁNEK, David - VEJNÁR, Martin - VEJPUSTEK, Tomáš.
On Parameter Synthesis by Parallel Model Checking. IEEE/ACM Transactions on Computational Biology and Bioinformatics, Los Alamitos, IEEE Computer Society. ISSN 1545-5963, 2012, vol. 9, no. 3, pp. 693-705.
YORDANOV, Boyan - TŮMOVÁ, Jana - ČERNÁ, Ivana - BARNAT, Jiří - BELTA, Calin.
Temporal Logic Control of Discrete-Time Piecewise Affine Systems. IEEE Transactions on Automatic Control. ISSN 0018-9286, 2012. In print. Scheduled issue of publication: Volume 57 (2012), Issue 6 (June).
BARNAT, Jiří - ČERNÁ, Ivana - TŮMOVÁ, Jana.
Timed Automata Approach to Verification of Systems with Degradation. In MEMICS 2011. Vyd. LNCS 7119. Heidelberg : Springer, 2012. ISBN 978-3-642-25928-9, pp. 84 - 93. 2012, Lednice.
BARNAT, Jiří - BRIM, Luboš - ROČKAI, Petr.
Towards LTL Model Checking of Unmodified Thread-Based C & C++ Programs. In NASA Formal Methods. : Springer-Verlag Berlin Heidelberg, 2012. ISBN 978-3-642-28890-6, pp. 252-266. 2012, Norfolk, VA, USA.
BARNAT, Jiří - BAUCH, Petr - BRIM, Luboš - ČEŠKA, Milan.
Computing Optimal Cycle Mean in Parallel on CUDA. Electronic Proceedings in Theoretical Computer Science, USA. ISSN 2075-2180, 2011, vol. 72, no. 2011, pp. 68-83. PDMC 2011.
BARNAT, Jiří - BAUCH, Petr - BRIM, Luboš - ČEŠKA, Milan.
Computing Strongly Connected Components in Parallel on CUDA. In Proceedings of 25th IEEE International Parallel & Distributed Processing Symposium. Anchorage, AK : IEEE Computer Society, 2011. ISBN 978-1-61284-372-8, pp. 544 - 555.
BARNAT, Jiří - CHALOUPKA, Jakub - VAN DE POL, Jaco.
Distributed Algorithms for SCC Decomposition. Journal of Logic and Computation, Oxford University Press, Great Britain. ISSN 0955-792X, 2011, vol. 21, no. 1, pp. 23-44.
EDELKAMP, Stefan - SULEWSKI, Damian - BARNAT, Jiří - BRIM, Luboš - ŠIMEČEK, Pavel.
Flash memory efficient LTL model checking. Science of Computer Programming, Elsevier, The Nederlands. ISSN 0167-6423, 2011, vol. 76, no. 2, pp. 136--157.
BRIM, Luboš - BARNAT, Jiří.
Platform Dependent Verification: On Engineering Verification Tools for 21st Century. Electronic Proceedings in Theoretical Computer Science, USA. ISSN 2075-2180, 2011, vol. 72, no. 2011, pp. 1-12. PDMC 2011, Invited talk.
TŮMOVÁ, Jana - YORDANOV, Boyan - BELTA, Calin - ČERNÁ, Ivana - BARNAT, Jiří.
A Symbolic Approach to Controlling Piecewise Affine Systems. In Proceedings of of the 49th IEEE Conference on Decision and Control (CDC). Neuveden : Omnipress for IEEE Control Systems Society, 2010. ISBN 978-1-4244-7744-9, pp. 4230-4235. 2010, Atlanta, GA, USA.
BARNAT, Jiří - BRIM, Luboš - ROČKAI, Petr.
DiVinE 2.4. 2010.
BARNAT, Jiří - BRIM, Luboš - ČEŠKA, Milan - ROČKAI, Petr.
DiVinE: Parallel Distributed Model Checker (Tool paper). In Proceedings of joint HiBi/PDMC workshop (HiBi/PDMC 2010). : 2010. 4 pp. 2010, Twente, Netherlands.
BARNAT, Jiří - BAUCH, Petr - BRIM, Luboš - ČEŠKA, Milan.
Employing Multiple CUDA Devices to Accelerate LTL Model Checking. In Proceedings of 16th International Conference on Parallel and Distributed Systems (ICPADS 2010). Neuveden : IEEE Computer Society, 2010. ISBN 978-0-7695-4307-9, pp. 259-266. 2010, Shanghai, China.
YORDANOV, Boyan - TŮMOVÁ, Jana - BELTA, Calin - ČERNÁ, Ivana - BARNAT, Jiří.
Formal Analysis of Piecewise Affine Systems through Formula-Guided Refinement. In Proceedings of of the 49th IEEE Conference on Decision and Control (CDC). Neuveden : Omnipress for IEEE Control Systems Society, 2010. ISBN 978-1-4244-7744-9, pp. 5899-5904. 2010, Atlanta, GA, USA.
BARNAT, Jiří - BRIM, Luboš - ŠAFRÁNEK, David.
High-performance analysis of biological systems dynamics with the DiVinE model checker. Briefings in Bioinformatics, Oxford (UK), Oxford University Press. ISSN 1467-5463, 2010, vol. 11, no. 3, pp. 301-312.
BARNAT, Jiří - BRIM, Luboš - BAUCH, Petr - ČEŠKA, Milan.
MWC-DiVinE. 2010.
BARNAT, Jiří - BRIM, Luboš - ROČKAI, Petr.
Parallel Partial Order Reduction with Topological Sort Proviso. In Software Engineering and Formal Methods (SEFM 2010). Los Alamos : IEEE Computer Society Press, 2010. ISBN 978-0-7695-4153-2, pp. 222-231. 2010, CNR, Pisa, Italy.
BARNAT, Jiří - BRIM, Luboš - ŠAFRÁNEK, David - VEJNÁR, Martin.
Parameter Scanning by Parallel Model Checking with Applications in Systems Biology. In Ninth International Workshop on Parallel and Distributed Methods in Verification, and Second International Workshop on High Performance Computational Systems Biology. Los Alamitos : IEEE Computer Society, 2010. ISBN 978-0-7695-4265-2, pp. 95-104. 2010, Enschede.
APPL, Jiří - BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana - ČEŠKA, Milan - TŮMOVÁ, Jana.
ProbDiVinE 2.0. 2010.
BARNAT, Jiří - BRIM, Luboš - ROČKAI, Petr.
Scalable shared memory LTL model checking. International Journal on Software Tools for Technology Transfer (STTT), Springer-Verlag GmbH, Germany. ISSN 1433-2779, 2010, vol. 12, no. 2, pp. 139-153.
BARNAT, Jiří - BRIM, Luboš - ROČKAI, Petr.
A Time-Optimal On-the-Fly Parallel Algorithm for Model Checking of Weak LTL Properties. In Formal Methods and Software Engineering. Germany : Springer Berlin / Heidelberg, 2009. ISBN 978-3-642-10372-8, pp. 407-425. 2009, Rio de Janeiro.
BARNAT, Jiří - DRAŽAN, Sven - FABRIKOVÁ, Jana - ŠAFRÁNEK, David - BRIM, Luboš - ČERNÁ, Ivana - LÁNÍK, Jan.
BioDiVinE. 2009.
BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana - DRAŽAN, Sven - FABRIKOVÁ, Jana - LÁNÍK, Jan - ŠAFRÁNEK, David - HONGWU, Ma.
BioDiVinE: A Framework for Parallel Analysis of Biological Models. In Proceedings of 2nd International Workshop on Computational Models for Cell Processes. Neuveden : EPTCS, 2009. pp. 31-45. 2009, Eindhoven.
BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana - DRAŽAN, Sven - FABRIKOVÁ, Jana - LÁNÍK, Jan - ŠAFRÁNEK, David.
BioDiVinE: A Tool for Parallel Analysis of Multi-Affine ODE Models. In Computational Mehotds in Systems Biology: Abstract of the Posters. Pisa : University of Pisa, 2009. pp. 1-5. 2009, Bologna.
BARNAT, Jiří - BRIM, Luboš - EDELKAMP, Stefan - SULEWSKI, Damian - ŠIMEČEK, Pavel.
Can Flash Memory Help in Model Checking?. In Formal Methods for Industrial Critical Systems. Neuveden : Springer Berlin / Heidelberg, 2009. ISBN 978-3-642-03239-4, pp. 150-165. 2008, L'Aquila, Italy.
BARNAT, Jiří - BRIM, Luboš - ŠIMEČEK, Pavel.
Cluster-Based I/O-Efficient LTL Model Checking. In 24th IEEE/ACM International Conference on Automated Software Engineering. Los Calamitos (California) : IEEE Computer Society, 2009. ISBN 978-0-7695-3891-4, pp. 635-639. 2009, Auckalnd, New Zealand.
BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana - DRAŽAN, Sven - FABRIKOVÁ, Jana - ŠAFRÁNEK, David.
Computational Analysis of Large-Scale Multi-Affine ODE Models. In International Workshop on High Performance Computational Systems Biology. Los Alamitos (California) : IEEE Computer Society, 2009. ISBN 978-0-7695-3809-9, pp. 81-90. 2009, Trento.
BARNAT, Jiří - BRIM, Luboš - ČEŠKA, Milan - LAMR, Tomáš.
CUDA Accelerated LTL Model Checking. In Proceedings of the 15th International Conference on Parallel and Distributed Systems. Neuveden : Roy Sterritt, 2009. ISBN 978-0-7695-3900-3, pp. 34-41. 8.12.2009, Shezhen, Čína.
BARNAT, Jiří - BRIM, Luboš - ČEŠKA, Milan.
DiVinE-CUDA - A Tool for GPU Accelerated LTL Model Checking. Electronic Proceedings in Theoretical Computer Science, USA. ISSN 2075-2180, 2009, vol. 14, no. Prosinec, pp. 107--111.
ROČKAI, Petr - BARNAT, Jiří - BRIM, Luboš - ČEŠKA, Milan.
DiVinE 2.0. 2009.
BARNAT, Jiří - BRIM, Luboš - ROČKAI, Petr.
DiVinE 2.0: High-Performance Model Checking. In International Workshop on High Performance Computational Systems Biology. Los Alamitos (California) : IEEE Computer Society, 2009. ISBN 978-0-7695-3809-9, pp. 31-32. 2009, Trento.
BARNAT, Jiří - BRIM, Luboš - BAUCH, Petr - ČEŠKA, Milan - LAMR, Tomáš.
DiVinE Cuda. 2009.
VERSTOEP, Kees - BAL, Henri E. - BARNAT, Jiří - BRIM, Luboš.
Efficient Large-Scale Model Checking. In 23rd IEEE International Parallel & Distributed Processing Symposium. IEEE : IEEE, 2009. ISBN 978-1-4244-3751-1, pp. 201-212. 2009, Rome, Italy.
BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana - ČEŠKA, Milan - TŮMOVÁ, Jana.
Local Quantitative LTL Model Checking. In Formal Methods for Industrial Critical Systems. Neuveden : Springer Berlin / Heidelberg, 2009. ISBN 978-3-642-03239-4, pp. 53-68. 2008, L'Aquila, Italy.
BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana - DRAŽAN, Sven - FABRIKOVÁ, Jana - ŠAFRÁNEK, David.
On Algorithmic Analysis of Transcriptional Regulation by LTL Model Checking. Theoretical Computer Science. ISSN 0304-3975, 2009, vol. 2009, no. 410, pp. 3128-3148.
BARNAT, Jiří - ČERNÁ, Ivana - TŮMOVÁ, Jana.
Quantitative Model Checking of Systems with Degradation. In 2009 Sixth International Conference on the Quantitative Evaluation of Systems. Los Alamitos (California) : IEEE Computer Society, 2009. ISBN 978-0-7695-3808-2, pp. 21-30. 2009, Budapest, Hungary.
BARNAT, Jiří - BRIM, Luboš - EDELKAMP, Stefan - SULEWSKI, Damian - ŠIMEČEK, Pavel.
Can Flash Memory Help in Model Checking?. In 13th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2008). L'Aquilla : ERCIM, 2008. pp. 159-174. 2008, L'Aquilla.
BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana - ČEŠKA, Milan - ŠIMEČEK, Pavel.
DiVinE Cluster. 2008.
BARNAT, Jiří - BRIM, Luboš - ROČKAI, Petr.
DiVinE Multi-Core -- A Parallel LTL Model-Checker. In Automated Technology for Verification and Analysis. Berlin / Heidelberg : Springer, 2008. ISBN 978-3-540-88386-9, pp. 234-239. 2008, Seoul.
BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana - DRAŽAN, Sven - ŠAFRÁNEK, David.
From Simple Regulatory Motifs to Parallel Model Checking of Complex Transcriptional Networks. In Proceedings of PDMC 2008 - Parallel and Distributed Methods ins VerifiCation. Budapest : Ivana Cerna and Gerald Luettgen, 2008. pp. 83-96. 2008, Budapest.
DRAŽAN, Sven - ŠAFRÁNEK, David - BARNAT, Jiří.
GeNeSim: Genetic Network Simulator GUI. 2008.
BARNAT, Jiří - CHALOUPKA, Jakub - VAN DE POL, Jaco.
Improved Distributed Algorithms for SCC Decomposition. Electronic Notes in Theoretical Computer Science, Elsevier, Germany. ISSN 1571-0661, 2008, vol. 2008, no. 198(1), pp. 63-77.
BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana - ČEŠKA, Milan - TŮMOVÁ, Jana.
Local Quantitative LTL Model Checking. In 13th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2008). L'Aquilla : ERCIM, 2008. ISBN 978-3-642-03239-4, pp. 63-78. 2008, L'Aquilla.
BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana - DRAŽAN, Sven - ŠAFRÁNEK, David.
Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE. In Electronic Notes in Theoretical Computer Science. Vyd. Vol. 194/3. Elsevier : Elsevier Science, 2008. pp. 35-50. 2007, Lisbon. Proceedings of From Biology to Concurrency and Back (FBTC 2007).
BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana - ČEŠKA, Milan - TŮMOVÁ, Jana.
ProbDiVinE-MC. 2008.
BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana - ČEŠKA, Milan - TŮMOVÁ, Jana.
ProbDiVinE-MC: Multi-core LTL Model Checker for Probabilistic Systems. In QEST '08: Proceedings of the 2008 Fifth International Conference on Quantitative Evaluation of Systems. Washington, DC, USA : IEEE Computer Society, 2008. ISBN 978-0-7695-3360-5, pp. 77-78. 2008, St Malo, France.
BARNAT, Jiří - BRIM, Luboš - ŠIMEČEK, Pavel - WEBER, Michael.
Revisiting Resistance Speeds Up I/O Efficient LTL Model Checking. In Tools and Algorithms for the Construction and Analysis of Systems. Berlin, Heidelberg : Springer-Verlag, 2008. ISBN 978-3-540-78799-0, pp. 48-62. 2008, Budapest, Hungary.
BARNAT, Jiří - ROČKAI, Petr.
Shared Hash Tables in Parallel Model Checking. Electronic Notes in Theoretical Computer Science, Elsevier, Germany. ISSN 1571-0661, 2008, vol. 2008, no. 198(1), pp. 79-91.
BARNAT, Jiří - BRIM, Luboš.
Squeeze All the Power Out of Your Hardware to Verify Your Software!. In Leveraging Applications of Formal Methods, Verification and Validation. Berlin Heidelberg : Springer, 2008. ISBN 978-3-540-88478-1, pp. 604-618.
BARNAT, Jiří - BRIM, Luboš - ROČKAI, Petr.
DiVinE Multi-Core. 2007.
BARNAT, Jiří - BRIM, Luboš - ŠIMEČEK, Pavel.
I/O Efficient Accepting Cycle Detection. In 19th International Conference on Computer Aided Verification. Berlin, Heidelberg : Springer, 2007. ISBN 978-3-540-73367-6, pp. 281-293.
BARNAT, Jiří - CHALOUPKA, Jakub - VAN DE POL, Jaco.
Improved Distributed Algorithms for SCC Decomposition. CTIT Workshop Proceedings, University of Twente, CTIT, Germany. ISSN 0929-0672, 2007, vol. 2007, no. WP 07-04, pp. 65-80.
BARNAT, Jiří - MORAVEC, Pavel.
Parallel Algorithms for Finding SCCs in Implicitly Given Graphs. In Formal Methods: Applications and Technology. Berlin, Heidelberg : Springer-Verlag, 2007. ISBN 978-3-540-70951-0, pp. 316-330. 2006, Bonn, Germany.
BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana - DRAŽAN, Sven - ŠAFRÁNEK, David.
Parallel Analysis of Genetic Regulatory Networks. Grenoble : Verimag, 2007. Towards Systems Biology Workshop 2007.
BARNAT, Jiri - BRIM, Lubos - LEUCKER, Martin.
Parallel Model Checking and the FMICS-jETI Platform. In Proceedings Twelfth IEEE International Conference on Engineering of Complex Computer Systems. Los Alamitos : IEEE Computer Society, 2007. ISBN 0-7695-2895-3, pp. 330-339. 2007, The University of Auckland, New Zealand.
BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana - DRAŽAN, Sven - ŠAFRÁNEK, David.
Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE. In Preproceedings of the Workshop From Biology to Concurrency and Back. Lisbon : Complex System Research Group, University of Camerino, 2007. pp. 80-95. 2007, Lisbon.
BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana - ČEŠKA, Milan - TŮMOVÁ, Jana.
ProbDiVinE. 2007.
BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana - ČEŠKA, Milan - TŮMOVÁ, Jana.
ProbDiVinE: A Parallel Qualitative LTL Model Checker. In Fourth International Conference on the Quantitative Evaluation of Systems (QEST'07). United States of America : IEEE Computer Society, 2007. ISBN 0-7695-2883-X, pp. 215-216. 2007, Edinburgh, Scotland.
BARNAT, Jiří - BRIM, Luboš - ROČKAI, Petr.
Scalable Multi-core LTL Model-Checking. In Model Checking Software. Vyd. 1. Berlin, Heidelberg : Springer-Verlag, 2007. ISBN 978-3-540-73369-0, pp. 187-203. 2007, Berlin, Germany.
BARNAT, Jiří - ROČKAI, Petr.
Shared Hash Tables in Parallel Model Checking. CTIT Workshop Proceedings, University of Twente, CTIT, Germany. ISSN 0929-0672, 2007, vol. 2007, no. WP 07-04, pp. 81-95.
BRIM, Luboš - BARNAT, Jiří.
Tutorial: Parallel Model Checking. In Model Checking Software. Berlin, Heidelberg : Springer-Verlag, 2007. ISBN 978-3-540-73369-0, pp. 2-3. 2007, Berlin, Germany.
BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana.
Cluster-Based LTL Model Checking of Large Systems. In Formal Methods for Components and Objects. Berlin : Springer, 2006. ISBN 978-3-540-36749-9, pp. 259-279. 2006, Amsterdam.
BARNAT, Jiří - ČERNÁ, Ivana.
Distributed breadth-first search LTL model checking. Formal Methods in System Design, Springer Netherlands, The Nederlands. ISSN 0925-9856, 2006, vol. 29, no. 2, pp. 117-134.
BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana - ČEŠKA, Milan - TŮMOVÁ, Jana.
Distributed Qualitative LTL Model Checking of Markov Decision Processes. In Proceedings of 5th International Workshop on Parallel and Distributed Methods in verifiCation. Bonn, Germany : University of Bonn, 2006. pp. 1-15. 2006, Bonn.
BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana - MORAVEC, Pavel - ROČKAI, Petr - ŠIMEČEK, Pavel.
DiVinE -- A Tool for Distributed Verification. In Computer Aided Verification. Berlin : Springer Verlag, 2006. ISBN 978-3-540-37406-0, pp. 278-281. Seatle, WA, USA.
BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana - MORAVEC, Pavel - ŠIMEČEK, Pavel - CHALOUPKA, Jakub.
DiVinE Library. 2006.
BARNAT, Jiří - MORAVEC, Pavel.
Parallel Algorithms for Finding SCCs in Implicitly Given Graphs. In Proceedings of the 5th International Workshop on
Proceedings of 5th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2006). Bonn, Germany : University Bonn, 2006. pp. 20-34. 2006, Bonn, Germany.
MATYÁŠ, Václav - BARNAT, Jiří - CVRČEK, Daniel - KRHOVJÁK, Jan - LORENC, Václav - ŠVENDA, Petr - ŘÍHA, Zdeněk - STAUDEK, Jan.
Vývoj kryptologických nástrojů a metodik pro analýzu čipových karet a jednočipových kontrolerů. Brno : Národní bezpečnostní úřad, 2006. 138 pp. Výzkum pro NBÚ, 2006.
BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana.
Distributed Analysis of Large Systems. In Formal Methods for Components and Objects. Amsterdam : CWI Amsterdam, 2005. pp. 31-35. 2005, Amsterdam.
BARNAT, Jiří.
Distributed Memory LTL Model Checking (Ph.D. Thesis). Brno : Masarykova Universita, 2005. 170 pp. PhD Thesis.
BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana - ŠIMEČEK, Pavel.
DIVINE - The Distributed Verification Environment. In In proceedings of 4th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC05). Lisboa, Portugal : TU Munchen, 2005. pp. 89-94. 2005, Lisboa, Portugalsko.
BARNAT, Jiří - FOREJT, Vojtěch - LEUCKER, Martin - WEBER, Michael.
DivSPIN - A SPIN compatible distributed model checker. In Proceedings of 4th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC05). Lisabon, Portugalsko : TU Munchen, 2005. pp. 95-100. 2005, Lisabon, Portugalsko.
BARNAT, Jiří - BRIM, Luboš - CHALOUPKA, Jakub.
From Distributed Memory Cycle Detection to Parallel LTL Model Checking. Electronical Notes in Theoretical Computer Science, Elsevier, The Nederlands. ISSN 1571-0661, 2005, vol. 2005, no. 133, pp. 21-39.
BARNAT, Jiří - BRIM, Luboš - CHALOUPKA, Jakub.
Distributed Memory LTL Model Checking Based on Breadth First Search. Brno : Faculty of Informatics, Masaryk University Brno, 2004. 57 pp. FIMU-RS-2004-07.
BARNAT, Jiří - BRIM, Luboš - CHALOUPKA, Jakub.
From Distributed Memory Cycle Detection to Parallel LTL Model Checking. In Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2004). Linz, Austria : Institute for Systems Engineering & Automation, Kepler university Linz, 2004. ISBN 3-902457-03-1, pp. 17-34. 2004, Linz, Austria.
BRIM, Luboš - BARNAT, Jiří.
Distribution of Explicit-State LTL Model-Checking. Electronic Notes in Theoretical Computer Science, Elsevier Science, The Nederlands. 2003, vol. Volume 80, no. 1, pp. 120-125. Proc. 8th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'03).
BARNAT, Jiří - BRIM, Luboš - CHALOUPKA, Jakub.
Parallel Breadth-First Search LTL Model-Checking. In 18th IEEE International Conference on Automated Software Engineering (ASE'03). Montreal : IEEE Computer Society, 2003. ISBN 0-7695-2035-9, pp. 106-115. 2003, Montreal, Canada.
BARNAT, Jiří.
How to distribute LTL model-checking using decomposition of negative claim automaton. In SOFSEM 2002 Student Research Forum Proceedings. Milovy,Czech Republic : Slovak University of Technology, 2002. pp. 9-14. 2002, Milovy Czech Republic, November 27, 2002.
BARNAT, Jiří - BRÁZDIL, Tomáš - KRČÁL, Pavel - ŘEHÁK, Vojtěch - ŠAFRÁNEK, David.
Model checking in IPv6 Hardware Router Design. Praha : CESNET, z. s. p. o., 2002. CESNET technical report number 8/2002.
BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana.
Property Driven Distribution of Nested DFS. In M. Leuschel and U. Ultes-Nitsche (Eds.): Proceedings of the 3rd International Workshop on Verification and Computational Logic. Pittsburgh, PA, USA : Dept. of Electronics and Computer Science, University of Southampton, 2002. pp. 1-10. 2002, Pittsburgh, PA, USA, October 2002.
BARNAT, Jiří.
Using verified property to partition the state space in LTL model-checking. In F. Cassez, C. Jard, F. Laroussinie, and M.D. Ryan (Eds.): Modelling and Verification of Parallel processes. Nantes, France : IRCCyN, Ecole Centrale de Nantes, 2002. pp. 262-267. 2002, Nantes, France, June 2002.
BARNAT, Jiří - BRIM, Luboš - STŘÍBRNÁ, Jitka.
Distributed LTL Model-Checking in SPIN. In M.B. Dwyer (Ed.): Model Checking Software, 8th International SPIN Workshop. Toronto, Canada : Springer Verlag, 2001. ISBN 3-540-42124-6, pp. 200-215. Toronto, Canada, May 2001.
BARNAT, Jiří - BRIM, Luboš - STŘÍBRNÁ, Jitka.
Distributed LTL Model-Checking in SPIN. Brno : FI MU, 2000. 16 pp. Technical Reports.
BARNAT, Jiří.
Verifikace souběžných procesů s použitím nástroje SPIN. Brno : 2000. 62 pp. + di.
