Masaryk University

Publication Records

česky | in English

Filter publications

    2009

    1. Efficient Large-Scale Model Checking
      VERSTOEP, Kees, Henri E. BAL, Jiří BARNAT and Luboš BRIM. Efficient Large-Scale Model Checking. In 23rd IEEE International Parallel & Distributed Processing Symposium. IEEE: IEEE, 2009, p. 201-212. ISBN 978-1-4244-3751-1.
      Name in Czech: Efektivní verifikace rosáhlých modelů
      Name (in English): Efficient Large-Scale Model Checking
      RIV/00216224:14330/09:00029324 Proceedings paper. Informatics. English. Italy.
      Verstoep, Kees (528 Netherlands) -- Bal, Henri E. (528 Netherlands) -- Barnat, Jiří (203 Czech Republic, guarantor, belonging to the institution) -- Brim, Luboš (203 Czech Republic, belonging to the institution)
      Keywords in English: model checking; distributed; parallel; large-scale
      International impact: yes
      Reviewed: yes
      Changed by: prof. RNDr. Luboš Brim, CSc., učo 197. Changed: 2/2/2011 09:34.
      More: https://is.muni.cz/publication/834666/en

    2008

    1. DiVinE Multi-Core -- A Parallel LTL Model-Checker
      BARNAT, Jiří, Luboš BRIM and Petr ROČKAI. DiVinE Multi-Core -- A Parallel LTL Model-Checker. In Automated Technology for Verification and Analysis. Berlin / Heidelberg: Springer, 2008, p. 234-239. ISBN 978-3-540-88386-9.
      Name in Czech: DiVinE Multi-Core -- Paralelní nástroj pro ověřování modelu LTL
      RIV/00216224:14330/08:00024321 Proceedings paper. Informatics. English. Republic of Korea.
      Barnat, Jiří (203 Czech Republic, guarantor) -- Brim, Luboš (203 Czech Republic) -- Ročkai, Petr (203 Czech Republic)
      Keywords in English: LTL Model Checking; Parallel; Tool
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: prof. RNDr. Jiří Barnat, Ph.D., učo 3496. Changed: 30/3/2010 09:14.
      More: https://is.muni.cz/publication/792976/en
    2. Improved Distributed Algorithms for SCC Decomposition
      BARNAT, Jiří, Jakub CHALOUPKA and Jaco VAN DE POL. Improved Distributed Algorithms for SCC Decomposition. Electronic Notes in Theoretical Computer Science. Elsevier, 2008, vol. 2008, 198(1), p. 63-77. ISSN 1571-0661.
      Name in Czech: Vylepšené algoritmy pro distribuovanou dekompozici grafu na silně souvislé komponenty
      Name (in English): Improved Distributed Algorithms for SCC Decomposition
      RIV/00216224:14330/08:00024165 Article in a journal. Informatics. English. Germany.
      Barnat, Jiří (203 Czech Republic, guarantor) -- Chaloupka, Jakub (203 Czech Republic) -- van de Pol, Jaco (528 Netherlands)
      Keywords in English: SCC decomposition; parallel; distributed; OBF
      International impact: yes
      Reviewed: yes
      Changed by: prof. RNDr. Jiří Barnat, Ph.D., učo 3496. Changed: 6/3/2008 09:48.
      More: https://is.muni.cz/publication/760854/en
    3. Local Quantitative LTL Model Checking
      BARNAT, Jiří, Luboš BRIM, Ivana ČERNÁ, Milan ČEŠKA and Jana TŮMOVÁ. Local Quantitative LTL Model Checking. In 13th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2008). L'Aquilla: ERCIM, 2008, p. 63-78. ISBN 978-3-642-03239-4.
      Name in Czech: Lokální kvantitafivní ověřování modelů LTL
      Informatics. English. Italy.
      Keywords in English: LTL Model Checking; Probabilistic; Parallel
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: prof. RNDr. Jiří Barnat, Ph.D., učo 3496. Changed: 29/4/2011 08:46.
      More: https://is.muni.cz/publication/792968/en
    4. Shared Hash Tables in Parallel Model Checking
      BARNAT, Jiří and Petr ROČKAI. Shared Hash Tables in Parallel Model Checking. Electronic Notes in Theoretical Computer Science. Elsevier, 2008, vol. 2008, 198(1), p. 79-91, 12 pp. ISSN 1571-0661.
      Name in Czech: Sdílené hašovací tabulky v paralelním model checkingu
      Name (in English): Shared Hash Tables in Parallel Model Checking
      RIV/00216224:14330/08:00024166 Article in a journal. Informatics. English. Germany.
      Barnat, Jiří (203 Czech Republic, guarantor) -- Ročkai, Petr (203 Czech Republic)
      Keywords in English: Hash tables; locking schemes; parallel
      International impact: yes
      Reviewed: yes
      Changed by: prof. RNDr. Jiří Barnat, Ph.D., učo 3496. Changed: 26/11/2008 10:35.
      More: https://is.muni.cz/publication/760855/en
    5. Squeeze All the Power Out of Your Hardware to Verify Your Software!
      BARNAT, Jiří and Luboš BRIM. 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, p. 604-618. ISBN 978-3-540-88478-1.
      Name in Czech: Vymačkejte veškerou šťávu svého hardware pro verifikovaci vašeho software
      RIV/00216224:14330/08:00024322 Proceedings paper. Informatics. English. Greece.
      Barnat, Jiří (203 Czech Republic, guarantor) -- Brim, Luboš (203 Czech Republic)
      Keywords in English: Parallel; LTL Model Checking;
      International impact: yes
      Reviewed: yes
      Changed by: prof. RNDr. Jiří Barnat, Ph.D., učo 3496. Changed: 30/3/2010 09:13.
      More: https://is.muni.cz/publication/792977/en

    2007

    1. Improved Distributed Algorithms for SCC Decomposition
      BARNAT, Jiří, Jakub CHALOUPKA and Jaco VAN DE POL. Improved Distributed Algorithms for SCC Decomposition. CTIT Workshop Proceedings. University of Twente: CTIT, 2007, vol. 2007, WP 07-04, p. 65-80. ISSN 0929-0672.
      Name in Czech: Vylepšené algoritmy pro distribuovanou dekompozici grafu na silně souvislé komponenty
      Name (in English): Improved Distributed Algorithms for SCC Decomposition
      RIV/00216224:14330/07:00019458 Article in a journal. Informatics. English. Germany.
      Barnat, Jiří (203 Czech Republic, guarantor) -- Chaloupka, Jakub (203 Czech Republic) -- van de Pol, Jaco (528 Netherlands)
      Keywords in English: SCC decomposition; parallel; distributed; OBF
      International impact: yes
      Reviewed: yes
      Changed by: prof. RNDr. Jiří Barnat, Ph.D., učo 3496. Changed: 14/11/2007 20:16.
      More: https://is.muni.cz/publication/722754/en
    2. Shared Hash Tables in Parallel Model Checking
      BARNAT, Jiří and Petr ROČKAI. Shared Hash Tables in Parallel Model Checking. CTIT Workshop Proceedings. University of Twente: CTIT, 2007, vol. 2007, WP 07-04, p. 81-95. ISSN 0929-0672.
      Name in Czech: Sdílené hašovací tabulky v paralelním model checkingu
      Name (in English): Shared Hash Tables in Parallel Model Checking
      RIV/00216224:14330/07:00019459 Article in a journal. Informatics. English. Germany.
      Barnat, Jiří (203 Czech Republic, guarantor) -- Ročkai, Petr (203 Czech Republic)
      Keywords in English: Hash tables; locking schemes; parallel
      International impact: yes
      Reviewed: yes
      Changed by: prof. RNDr. Jiří Barnat, Ph.D., učo 3496. Changed: 14/11/2007 20:19.
      More: https://is.muni.cz/publication/722757/en

    2006

    1. Distributed Qualitative LTL Model Checking of Markov Decision Processes
      BARNAT, Jiří, Luboš BRIM, Ivana ČERNÁ, Milan ČEŠKA and 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, p. 1-15. ISSN 1571-0661.
      Name in Czech: Distribuované kvalitativní LTL ověřování modelu Markovových Rozhodovacích Procesů
      Name (in English): Distributed Qualitative LTL Model Checking of Markov Decision Processes
      RIV/00216224:14330/06:00015450 Proceedings paper. Informatics. English. Germany.
      Barnat, Jiří (203 Czech Republic, guarantor) -- Brim, Luboš (203 Czech Republic) -- Černá, Ivana (203 Czech Republic) -- Češka, Milan (203 Czech Republic) -- Tůmová, Jana (203 Czech Republic)
      Keywords in English: distributed; parallel; LTL model checking; probabilistic systems; MDP
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: prof. RNDr. Ivana Černá, CSc., učo 1419. Changed: 31/3/2010 15:39.
      More: https://is.muni.cz/publication/702452/en

    2005

    1. DIVINE - The Distributed Verification Environment
      BARNAT, Jiří, Luboš BRIM, Ivana ČERNÁ and 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, p. 89-94.
      Name in Czech: DIVINE -- Prostředí pro distribuovanou verifikaci
      RIV/00216224:14330/05:00012768 Proceedings paper. Informatics. English. Czech Republic.
      Barnat, Jiří (203 Czech Republic, guarantor) -- Brim, Luboš (203 Czech Republic) -- Černá, Ivana (203 Czech Republic) -- Šimeček, Pavel (203 Czech Republic)
      Keywords in English: distributed; parallel; model-checking
      International impact: yes
      Reviewed: yes
      Changed by: prof. RNDr. Luboš Brim, CSc., učo 197. Changed: 22/11/2006 08:32.
      More: https://is.muni.cz/publication/589525/en
    2. DivSPIN - A SPIN compatible distributed model checker
      BARNAT, Jiří, Vojtěch FOREJT, Martin LEUCKER and 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, p. 95-100.
      Name in Czech: DivSPIN - distribuovaný model checker kompatibilní se SPINem
      RIV/00216224:14330/05:00013423 Proceedings paper. Informatics. English. Czech Republic.
      Barnat, Jiří (203 Czech Republic, guarantor) -- Forejt, Vojtěch (203 Czech Republic) -- Leucker, Martin (276 Germany) -- Weber, Michael (276 Germany)
      Keywords in English: distributed; parallel; model-checking; SPIN
      Changed by: prof. RNDr. Jiří Barnat, Ph.D., učo 3496. Changed: 10/1/2006 12:19.
      More: https://is.muni.cz/publication/589882/en
Displayed: 24/5/2024 05:10