Filtrování

    2009

    1. Efficient Large-Scale Model Checking
      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. ISBN 978-1-4244-3751-1.
      Název česky: Efektivní verifikace rosáhlých modelů
      Název anglicky: Efficient Large-Scale Model Checking
      RIV/00216224:14330/09:00029324 Stať ve sborníku. Informatika. angličtina. Itálie.
      Verstoep, Kees (528 Nizozemské království) -- Bal, Henri E. (528 Nizozemské království) -- Barnat, Jiří (203 Česká republika, garant, domácí) -- Brim, Luboš (203 Česká republika, domácí)
      Klíčová slova anglicky: model checking; distributed; parallel; large-scale
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Luboš Brim, CSc., učo 197. Změněno: 2. 2. 2011 09:34.
      Podrobněji: https://is.muni.cz/publication/834666/cs

    2008

    1. DiVinE Multi-Core -- A Parallel LTL Model-Checker
      BARNAT, Jiří; Luboš BRIM a Petr ROČKAI. DiVinE Multi-Core -- A Parallel LTL Model-Checker. In Automated Technology for Verification and Analysis. Berlin / Heidelberg: Springer, 2008, s. 234-239. ISBN 978-3-540-88386-9.
      Název česky: DiVinE Multi-Core -- Paralelní nástroj pro ověřování modelu LTL
      RIV/00216224:14330/08:00024321 Stať ve sborníku. Informatika. angličtina. Korejská republika.
      Barnat, Jiří (203 Česká republika, garant) -- Brim, Luboš (203 Česká republika) -- Ročkai, Petr (203 Česká republika)
      Klíčová slova anglicky: LTL Model Checking; Parallel; Tool
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Jiří Barnat, Ph.D., učo 3496. Změněno: 30. 3. 2010 09:14.
      Podrobněji: https://is.muni.cz/publication/792976/cs
    2. Improved Distributed Algorithms for SCC Decomposition
      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.
      Název česky: Vylepšené algoritmy pro distribuovanou dekompozici grafu na silně souvislé komponenty
      Název anglicky: Improved Distributed Algorithms for SCC Decomposition
      RIV/00216224:14330/08:00024165 Článek v odborném periodiku. Informatika. angličtina. Německo.
      Barnat, Jiří (203 Česká republika, garant) -- Chaloupka, Jakub (203 Česká republika) -- van de Pol, Jaco (528 Nizozemské království)
      Klíčová slova anglicky: SCC decomposition; parallel; distributed; OBF
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Jiří Barnat, Ph.D., učo 3496. Změněno: 6. 3. 2008 09:48.
      Podrobněji: https://is.muni.cz/publication/760854/cs
    3. Local Quantitative LTL Model Checking
      BARNAT, Jiří; Luboš BRIM; Ivana ČERNÁ; Milan ČEŠKA a 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, s. 63-78. ISBN 978-3-642-03239-4.
      Název česky: Lokální kvantitafivní ověřování modelů LTL
      Informatika. angličtina. Itálie.
      Klíčová slova anglicky: LTL Model Checking; Probabilistic; Parallel
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Jiří Barnat, Ph.D., učo 3496. Změněno: 29. 4. 2011 08:46.
      Podrobněji: https://is.muni.cz/publication/792968/cs
    4. Shared Hash Tables in Parallel Model Checking
      BARNAT, Jiří a Petr ROČKAI. Shared Hash Tables in Parallel Model Checking. Electronic Notes in Theoretical Computer Science. Elsevier, 2008, roč. 2008, 198(1), s. 79-91, 12 s. ISSN 1571-0661.
      Název česky: Sdílené hašovací tabulky v paralelním model checkingu
      Název anglicky: Shared Hash Tables in Parallel Model Checking
      RIV/00216224:14330/08:00024166 Článek v odborném periodiku. Informatika. angličtina. Německo.
      Barnat, Jiří (203 Česká republika, garant) -- Ročkai, Petr (203 Česká republika)
      Klíčová slova anglicky: Hash tables; locking schemes; parallel
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Jiří Barnat, Ph.D., učo 3496. Změněno: 26. 11. 2008 10:35.
      Podrobněji: https://is.muni.cz/publication/760855/cs
    5. Squeeze All the Power Out of Your Hardware to Verify Your Software!
      BARNAT, Jiří a 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, s. 604-618. ISBN 978-3-540-88478-1.
      Název česky: Vymačkejte veškerou šťávu svého hardware pro verifikovaci vašeho software
      RIV/00216224:14330/08:00024322 Stať ve sborníku. Informatika. angličtina. Řecko.
      Barnat, Jiří (203 Česká republika, garant) -- Brim, Luboš (203 Česká republika)
      Klíčová slova anglicky: Parallel; LTL Model Checking;
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Jiří Barnat, Ph.D., učo 3496. Změněno: 30. 3. 2010 09:13.
      Podrobněji: https://is.muni.cz/publication/792977/cs

    2007

    1. Improved Distributed Algorithms for SCC Decomposition
      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.
      Název česky: Vylepšené algoritmy pro distribuovanou dekompozici grafu na silně souvislé komponenty
      Název anglicky: Improved Distributed Algorithms for SCC Decomposition
      RIV/00216224:14330/07:00019458 Článek v odborném periodiku. Informatika. angličtina. Německo.
      Barnat, Jiří (203 Česká republika, garant) -- Chaloupka, Jakub (203 Česká republika) -- van de Pol, Jaco (528 Nizozemské království)
      Klíčová slova anglicky: SCC decomposition; parallel; distributed; OBF
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Jiří Barnat, Ph.D., učo 3496. Změněno: 14. 11. 2007 20:16.
      Podrobněji: https://is.muni.cz/publication/722754/cs
    2. Shared Hash Tables in Parallel Model Checking
      BARNAT, Jiří a Petr ROČKAI. Shared Hash Tables in Parallel Model Checking. CTIT Workshop Proceedings. University of Twente: CTIT, 2007, roč. 2007, WP 07-04, s. 81-95. ISSN 0929-0672.
      Název česky: Sdílené hašovací tabulky v paralelním model checkingu
      Název anglicky: Shared Hash Tables in Parallel Model Checking
      RIV/00216224:14330/07:00019459 Článek v odborném periodiku. Informatika. angličtina. Německo.
      Barnat, Jiří (203 Česká republika, garant) -- Ročkai, Petr (203 Česká republika)
      Klíčová slova anglicky: Hash tables; locking schemes; parallel
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Jiří Barnat, Ph.D., učo 3496. Změněno: 14. 11. 2007 20:19.
      Podrobněji: https://is.muni.cz/publication/722757/cs

    2006

    1. Distributed Qualitative LTL Model Checking of Markov Decision Processes
      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.
      Název česky: Distribuované kvalitativní LTL ověřování modelu Markovových Rozhodovacích Procesů
      Název anglicky: Distributed Qualitative LTL Model Checking of Markov Decision Processes
      RIV/00216224:14330/06:00015450 Stať ve sborníku. Informatika. angličtina. Německo.
      Barnat, Jiří (203 Česká republika, garant) -- Brim, Luboš (203 Česká republika) -- Černá, Ivana (203 Česká republika) -- Češka, Milan (203 Česká republika) -- Tůmová, Jana (203 Česká republika)
      Klíčová slova anglicky: distributed; parallel; LTL model checking; probabilistic systems; MDP
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnila: prof. RNDr. Ivana Černá, CSc., učo 1419. Změněno: 31. 3. 2010 15:39.
      Podrobněji: https://is.muni.cz/publication/702452/cs

    2005

    1. DIVINE - The Distributed Verification Environment
      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.
      Název česky: DIVINE -- Prostředí pro distribuovanou verifikaci
      RIV/00216224:14330/05:00012768 Stať ve sborníku. Informatika. angličtina. Česká republika.
      Barnat, Jiří (203 Česká republika, garant) -- Brim, Luboš (203 Česká republika) -- Černá, Ivana (203 Česká republika) -- Šimeček, Pavel (203 Česká republika)
      Klíčová slova anglicky: distributed; parallel; model-checking
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Luboš Brim, CSc., učo 197. Změněno: 22. 11. 2006 08:32.
      Podrobněji: https://is.muni.cz/publication/589525/cs
    2. DivSPIN - A SPIN compatible distributed model checker
      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.
      Název česky: DivSPIN - distribuovaný model checker kompatibilní se SPINem
      RIV/00216224:14330/05:00013423 Stať ve sborníku. Informatika. angličtina. Česká republika.
      Barnat, Jiří (203 Česká republika, garant) -- Forejt, Vojtěch (203 Česká republika) -- Leucker, Martin (276 Německo) -- Weber, Michael (276 Německo)
      Klíčová slova anglicky: distributed; parallel; model-checking; SPIN
      Změnil: prof. RNDr. Jiří Barnat, Ph.D., učo 3496. Změněno: 10. 1. 2006 12:19.
      Podrobněji: https://is.muni.cz/publication/589882/cs