Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2009

    1. DiVinE 2.0 (software)
      ROČKAI, Petr, Jiří BARNAT, Luboš BRIM a Milan ČEŠKA. DiVinE 2.0. 2009.
      URL
      Název česky: DiVinE 2.0
      Název anglicky: DiVinE 2.0
      RIV/00216224:14330/09:00028810 Software. Informatika. angličtina. Česká republika.
      Ročkai, Petr (703 Slovensko, domácí) -- Barnat, Jiří (203 Česká republika, garant, domácí) -- Brim, Luboš (203 Česká republika, domácí) -- Češka, Milan (203 Česká republika, domácí)
      Klíčová slova anglicky: parallel verification; multi-core; model-checking; cluster; mpi
      Mezinárodní význam: ano

      Změnil: RNDr. Petr Ročkai, Ph.D., učo 139761. Změněno: 18. 2. 2013 12:42.

    2006

    1. BARNAT, Jiří a Ivana ČERNÁ. Distributed breadth-first search LTL model checking. Formal Methods in System Design. Springer Netherlands, 2006, roč. 29, č. 2, s. 117-134. ISSN 0925-9856.
      URL
      Název česky: Distribuované ověřování modelu LTL s využitím prohledávání grafu do šířky
      Název anglicky: Distributed breadth-first search LTL model checking
      RIV/00216224:14330/06:00015452 Článek v odborném periodiku. Informatika. angličtina. Nizozemské království.
      Barnat, Jiří (203 Česká republika, garant) -- Černá, Ivana (203 Česká republika)
      Klíčová slova anglicky: LTL model checking; Distributed memory; Breadth-first Search
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: prof. RNDr. Jiří Barnat, Ph.D., učo 3496. Změněno: 1. 6. 2009 21:13.

    2005

    1. BARNAT, Jiří, Luboš BRIM a Jakub CHALOUPKA. From Distributed Memory Cycle Detection to Parallel LTL Model Checking. Electronical Notes in Theoretical Computer Science. Elsevier, 2005, roč. 2005, č. 133, s. 21-39, 10 s. ISSN 1571-0661.
      Název česky: Od distribuovane detekce cyklu k paralelnimu LTL overovani modelu
      Název anglicky: From Distributed Memory Cycle Detection to Parallel LTL Model Checking
      RIV/00216224:14330/05:00012493 Článek v odborném periodiku. Informatika. angličtina. Nizozemské království.
      Barnat, Jiří (203 Česká republika) -- Brim, Luboš (203 Česká republika, garant) -- Chaloupka, Jakub (203 Česká republika)
      Klíčová slova anglicky: LTL model checking; breadth first search; distributed memory
      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.

    2004

    1. BARNAT, Jiří, Luboš BRIM a Jakub CHALOUPKA. 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, s. 17-34. ISBN 3-902457-03-1.
      Název česky: Od distribuovane detekce cyklu k paralelnimu LTL overovani modelu
      Název anglicky: From Distributed Memory Cycle Detection to Parallel LTL Model Checking
      RIV/00216224:14330/04:00010725 Stať ve sborníku. Informatika. angličtina. Česká republika.
      Barnat, Jiří (203 Česká republika) -- Brim, Luboš (203 Česká republika, garant) -- Chaloupka, Jakub (203 Česká republika)
      Klíčová slova anglicky: LTL model checking; breadth first search; distributed memory
      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.
Zobrazeno: 18. 9. 2024 22:44