Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2005

    1. From Distributed Memory Cycle Detection to Parallel LTL Model Checking
      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.
      Podrobněji: https://is.muni.cz/publication/572153/cs

    2004

    1. Distributed Memory LTL Model Checking Based on Breadth First Search
      BARNAT, Jiří, Luboš BRIM a Jakub CHALOUPKA. Distributed Memory LTL Model Checking Based on Breadth First Search. Brno: Faculty of Informatics, Masaryk University Brno, 2004, 57 s. FIMU-RS-2004-07.
      URL
      Název česky: Distrubuované ovřování modelu pro LTL založené na prohledávání do šířky
      Název anglicky: Distributed Memory LTL Model Checking Based on Breadth First Search
      RIV/00216224:14330/04:00010726 Odborná kniha. Informatika. angličtina. Česká republika.
      Barnat, Jiří (203 Česká republika, garant) -- Brim, Luboš (203 Česká republika) -- Chaloupka, Jakub (203 Česká republika)
      Klíčová slova anglicky: Distributed memory LTL model checking; breadth first search; cycle detection
      Mezinárodní význam: ano
      Změnil: prof. RNDr. Jiří Barnat, Ph.D., učo 3496. Změněno: 23. 6. 2009 14:31.
      Podrobněji: https://is.muni.cz/publication/563034/cs
    2. From Distributed Memory Cycle Detection to Parallel LTL Model Checking
      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.
      Podrobněji: https://is.muni.cz/publication/563033/cs

    2003

    1. Parallel Breadth-First Search LTL Model-Checking
      BARNAT, Jiří, Luboš BRIM a Jakub CHALOUPKA. Parallel Breadth-First Search LTL Model-Checking. In 18th IEEE International Conference on Automated Software Engineering (ASE'03). Montreal: IEEE Computer Society, 2003, s. 106-115. ISBN 0-7695-2035-9.
      RIV/00216224:14330/03:00008593 Stať ve sborníku. Informatika. angličtina. Kanada.
      Barnat, Jiří (203 Česká republika, garant) -- Brim, Luboš (203 Česká republika) -- Chaloupka, Jakub (203 Česká republika)
      Klíčová slova anglicky: model checking; parallel algorithm; 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:17.
      Podrobněji: https://is.muni.cz/publication/489814/cs
Zobrazeno: 25. 4. 2024 16:48