Masaryk University

Publication Records

česky | in English

Filter publications

    2009

    1. DiVinE 2.0 (software)
      ROČKAI, Petr, Jiří BARNAT, Luboš BRIM and Milan ČEŠKA. DiVinE 2.0. 2009.
      URL
      Name in Czech: DiVinE 2.0
      Name (in English): DiVinE 2.0
      RIV/00216224:14330/09:00028810 Software. Informatics. English. Czech Republic.
      Ročkai, Petr (703 Slovakia, belonging to the institution) -- Barnat, Jiří (203 Czech Republic, guarantor, belonging to the institution) -- Brim, Luboš (203 Czech Republic, belonging to the institution) -- Češka, Milan (203 Czech Republic, belonging to the institution)
      Keywords in English: parallel verification; multi-core; model-checking; cluster; mpi
      International impact: yes
      Changed by: RNDr. Petr Ročkai, Ph.D., učo 139761. Changed: 18/2/2013 12:42.
      More: https://is.muni.cz/publication/875229/en

    2007

    1. DiVinE Multi-Core (software)
      BARNAT, Jiří, Luboš BRIM and Petr ROČKAI. DiVinE Multi-Core. 2007.
      URL
      Name in Czech: DiVinE Multi-Core
      Name (in English): DiVinE Multi-Core
      RIV/00216224:14330/07:00019614 Software. Informatics. English. Czech Republic.
      Barnat, Jiří (203 Czech Republic) -- Brim, Luboš (203 Czech Republic, guarantor) -- Ročkai, Petr (203 Czech Republic)
      Keywords in English: parallel verification; multi-core architecture; model-checking
      International impact: yes
      Changed by: prof. RNDr. Luboš Brim, CSc., učo 197. Changed: 12/2/2009 09:41.
      More: https://is.muni.cz/publication/759931/en

    2006

    1. DiVinE Library (software)
      BARNAT, Jiří, Luboš BRIM, Ivana ČERNÁ, Pavel MORAVEC, Pavel ŠIMEČEK and Jakub CHALOUPKA. DiVinE Library. 2006.
      URL
      Name in Czech: Knihovna DiVinE
      Name (in English): DiVinE Library
      RIV/00216224:14330/06:00024474 Software. Informatics. English. Czech Republic.
      Barnat, Jiří (203 Czech Republic) -- Brim, Luboš (203 Czech Republic, guarantor) -- Černá, Ivana (203 Czech Republic) -- Moravec, Pavel (203 Czech Republic) -- Šimeček, Pavel (203 Czech Republic) -- Chaloupka, Jakub (203 Czech Republic)
      Keywords in English: parallel verification; LTL model-checking
      International impact: yes
      Changed by: prof. RNDr. Jiří Barnat, Ph.D., učo 3496. Changed: 2/6/2009 11:35.
      More: https://is.muni.cz/publication/834420/en
Displayed: 22/6/2024 03:55