Masarykova univerzita

Výpis publikací

2009

1. Efficient Large-Scale Model Checking

   VERSTOEP, Kees a Henri E. BAL a Jiří BARNAT a Luboš BRIM. In 23rd IEEE International Parallel & Distributed Processing Symposium. IEEE: IEEE, 2009. od s. 201-212, 12 s. ISBN 978-1-4244-3751-1.

   Podrobněji: https://is.muni.cz/publication/834666

2008

2. DiVinE Multi-Core -- A Parallel LTL Model-Checker

   BARNAT, Jiří a Luboš BRIM a Petr ROČKAI. In Automated Technology for Verification and Analysis. Berlin / Heidelberg: Springer, 2008. od s. 234-239, 6 s. ISBN 978-3-540-88386-9.

   Podrobněji: https://is.muni.cz/publication/792976
3. Improved Distributed Algorithms for SCC Decomposition

   BARNAT, Jiří a Jakub CHALOUPKA a Jaco VAN DE POL. Electronic Notes in Theoretical Computer Science, Elsevier, 2008, 198(1), od s. 63-77, 15 s. ISSN 1571-0661. 2008.

   Podrobněji: https://is.muni.cz/publication/760854
4. Local Quantitative LTL Model Checking

   BARNAT, Jiří a Luboš BRIM a Ivana ČERNÁ a Milan ČEŠKA a Jana TŮMOVÁ. In 13th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2008). L'Aquilla: ERCIM, 2008. od s. 63-78, 16 s. ISBN 978-3-642-03239-4.

   Podrobněji: https://is.muni.cz/publication/792968
5. Shared Hash Tables in Parallel Model Checking

   BARNAT, Jiří a Petr ROČKAI. Electronic Notes in Theoretical Computer Science, Elsevier, 2008, 198(1), od s. 79-91, 12 s. ISSN 1571-0661. 2008.

   Podrobněji: https://is.muni.cz/publication/760855
6. Squeeze All the Power Out of Your Hardware to Verify Your Software!

   BARNAT, Jiří a Luboš BRIM. In Leveraging Applications of Formal Methods, Verification and Validation. Berlin Heidelberg: Springer, 2008. od s. 604-618, 15 s. ISBN 978-3-540-88478-1.

   Podrobněji: https://is.muni.cz/publication/792977

2007

7. Improved Distributed Algorithms for SCC Decomposition

   BARNAT, Jiří a Jakub CHALOUPKA a Jaco VAN DE POL. CTIT Workshop Proceedings, University of Twente: CTIT, 2007, WP 07-04, od s. 65-80, 16 s. ISSN 0929-0672. 2007.

   Podrobněji: https://is.muni.cz/publication/722754
8. Shared Hash Tables in Parallel Model Checking

   BARNAT, Jiří a Petr ROČKAI. CTIT Workshop Proceedings, University of Twente: CTIT, 2007, WP 07-04, od s. 81-95, 15 s. ISSN 0929-0672. 2007.

   Podrobněji: https://is.muni.cz/publication/722757

2006

9. Distributed Qualitative LTL Model Checking of Markov Decision Processes

   BARNAT, Jiří a Luboš BRIM a Ivana ČERNÁ a Milan ČEŠKA a Jana TŮMOVÁ. In Proceedings of 5th International Workshop on Parallel and Distributed Methods in verifiCation. Bonn, Germany: University of Bonn, 2006. s. 1-15. ISSN 1571-0661.

   Podrobněji: https://is.muni.cz/publication/702452

2005

10. DIVINE - The Distributed Verification Environment

    BARNAT, Jiří a Luboš BRIM a Ivana ČERNÁ a Pavel ŠIMEČEK. In In proceedings of 4th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC05). Lisboa, Portugal: TU Munchen, 2005. od s. 89-94, 6 s.

    Podrobněji: https://is.muni.cz/publication/589525
11. DivSPIN - A SPIN compatible distributed model checker

    BARNAT, Jiří a Vojtěch FOREJT a Martin LEUCKER a Michael WEBER. In Proceedings of 4th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC05). Lisabon, Portugalsko: TU Munchen, 2005. od s. 95-100, 6 s.

    Podrobněji: https://is.muni.cz/publication/589882