Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2009

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

  3. BARNAT, Jiří, Jakub CHALOUPKA a Jaco VAN DE POL. Improved Distributed Algorithms for SCC Decomposition. Electronic Notes in Theoretical Computer Science, Elsevier, 2008, roč. 2008, 198(1), s. 63-77. ISSN 1571-0661.
  4. 2007

  5. BARNAT, Jiří, Jakub CHALOUPKA a Jaco VAN DE POL. Improved Distributed Algorithms for SCC Decomposition. CTIT Workshop Proceedings, University of Twente: CTIT, 2007, roč. 2007, WP 07-04, s. 65-80. ISSN 0929-0672.
  6. 2006

  7. BARNAT, Jiří, Luboš BRIM, Ivana ČERNÁ, Milan ČEŠKA a Jana TŮMOVÁ. 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. s. 1-15. ISSN 1571-0661.
  8. 2005

  9. BARNAT, Jiří. Distributed Memory LTL Model Checking (Ph.D. Thesis). Brno: Masarykova Universita, 2005. 170 s. PhD Thesis.
  10. BARNAT, Jiří, Luboš BRIM, Ivana ČERNÁ a Pavel ŠIMEČEK. 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. s. 89-94, 6 s.
  11. BARNAT, Jiří, Vojtěch FOREJT, Martin LEUCKER a Michael WEBER. 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. s. 95-100, 6 s.
Zobrazit podrobně
Zobrazeno: 7. 8. 2020 11:48