česky | in English
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.
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.
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.
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.
Název česky: Ověřování modelu formulemi LTL v prostředís distribuovanou pamětí
Název anglicky: Distributed Memory LTL Model Checking (Ph.D. Thesis)
RIV: Odborná kniha. Informatika. angličtina. Česká republika.
Barnat, Jiří (203 Česká republika, garant)
Klíčová slova anglicky: Distributed; 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: 23. 6. 2009 14:36.
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.
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.