česky | in English
RIV/00216224:14330/13:00066141 Stať ve sborníku. Informatika. angličtina. Spojené státy.
Babiak, Tomáš (703 Slovensko, domácí) -- Badie, Thomas (250 Francie) -- Duret-Lutz, Alexandre (250 Francie) -- Křetínský, Mojmír (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí)
Klíčová slova anglicky: linear time logic; model-checking; translation LTL to Buchi automata
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Změněno: 15. 11. 2013 23:28.
Klíčová slova anglicky: Quantum computing; quantum communication; process calculus; model-checking; translation; semantics
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Hynek Mlnařík, Ph.D., učo 4326. Změněno: 11. 11. 2012 10:57.
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.
Název česky: O rozhodnutelnosti ověřování modelu pro logiku LTL+Past a Procesové Přepisovací Systémy
RIV/00216224:14330/09:00028439 Stať ve sborníku. Informatika. angličtina. Portugalsko.
Křetínský, Mojmír (203 Česká republika) -- Řehák, Vojtěch (203 Česká republika) -- Strejček, Jan (203 Česká republika, garant)
Klíčová slova anglicky: process rewrite systems; LTL; infinite-state; model-checking; decidability
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 23. 6. 2009 16:57.
Název česky: DiVinE Cluster
Název anglicky: DiVinE Cluster
RIV/00216224:14330/08:00024473 Software. Informatika. angličtina. Česká republika.
Barnat, Jiří (203 Česká republika) -- Brim, Luboš (203 Česká republika, garant) -- Černá, Ivana (203 Česká republika) -- Češka, Milan (203 Česká republika) -- Šimeček, Pavel (203 Česká republika)
Klíčová slova anglicky: cluster-based parallel verification; model-checking;
Mezinárodní význam: ano
Změnil: prof. RNDr. Jiří Barnat, Ph.D., učo 3496. Změněno: 1. 6. 2009 23:17.
Název česky: ProbDiVinE-MC
Název anglicky: ProbDiVinE-MC
RIV/00216224:14330/08:00024418 Software. Informatika. angličtina. Česká republika.
Barnat, Jiří (203 Česká republika) -- Brim, Luboš (203 Česká republika, garant) -- Černá, Ivana (203 Česká republika) -- Češka, Milan (203 Česká republika) -- Tůmová, Jana (203 Česká republika)
Klíčová slova anglicky: quantitative parallel verification; multi-core architecture; model-checking
Mezinárodní význam: ano
Změnil: prof. RNDr. Jiří Barnat, Ph.D., učo 3496. Změněno: 1. 6. 2009 23:17.
Název česky: Ověřování modelu pro logiky větvícího se času nad pravděpodobnostními zásobníkovými automaty
Informatika. angličtina. Portugalsko.
Klíčová slova anglicky: model-checking; Markov chains; temporal logics; probabilistic pushdown automata
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnila: Ing. Dana Komárková, učo 1475. Změněno: 27. 6. 2008 09:30.
Název česky: DiVinE Multi-Core
Název anglicky: DiVinE Multi-Core
RIV/00216224:14330/07:00019614 Software. Informatika. angličtina. Česká republika.
Barnat, Jiří (203 Česká republika) -- Brim, Luboš (203 Česká republika, garant) -- Ročkai, Petr (203 Česká republika)
Klíčová slova anglicky: parallel verification; multi-core architecture; model-checking
Mezinárodní význam: ano
Změnil: prof. RNDr. Luboš Brim, CSc., učo 197. Změněno: 12. 2. 2009 09:41.
Název česky: Rozhodnutelnost ověřování modelu pro logiku LTL+Past a Procesové Přepisovací Systémy
RIV/00216224:14330/07:00019467 Prezentace na konferencích. Informatika. angličtina. Portugalsko.
Křetínský, Mojmír (203 Česká republika, garant, domácí) -- Řehák, Vojtěch (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, domácí)
Klíčová slova anglicky: process rewrite systems; LTL; infinite-state; model-checking; decidability
Druh sborníku: předkonferenční sborník
Druh účasti: aktivní účast
Mezinárodní význam: ano
Recenzováno: ano
Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 28. 4. 2011 14:50.
Název česky: ProbDiVinE
Název anglicky: ProbDiVinE
RIV/00216224:14330/07:00024472 Software. Informatika. angličtina. Česká republika.
Barnat, Jiří (203 Česká republika) -- Brim, Luboš (203 Česká republika, garant) -- Černá, Ivana (203 Česká republika) -- Češka, Milan (203 Česká republika) -- Tůmová, Jana (203 Česká republika)
Klíčová slova anglicky: qualitative parallel verification; model-checking; probabilistic systems
Mezinárodní význam: ano
Změnil: prof. RNDr. Jiří Barnat, Ph.D., učo 3496. Změněno: 1. 6. 2009 22:47.
Název česky: Distribuované ověřování modelu CTL založené na předpokladech
Název anglicky: Assumption-based distribution of CTL model checking
RIV/00216224:14330/05:00012429 Článek v odborném periodiku. Informatika. angličtina. Německo.
Brim, Luboš (203 Česká republika, garant) -- Židková, Jitka (203 Česká republika) -- Yorav, Karen (376 Izrael)
Klíčová slova anglicky: 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: 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.
Název česky: Charakteristické vzorce pro LTL
RIV/00216224:14330/05:00012348 Stať ve sborníku. Informatika. angličtina. Slovensko.
Kučera, Antonín (203 Česká republika, garant) -- Strejček, Jan (203 Česká republika)
Klíčová slova anglicky: model-checking; linear temporal logic
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Změněno: 29. 3. 2010 14:38.
Název česky: Úvodní článek: Paralelní a distribuované ověřování modelu
Název anglicky: Introductory paper: Parallel and Distributed Model Checking
RIV/00216224:14330/05:00012428 Článek v odborném periodiku. Informatika. angličtina. Německo.
Brim, Luboš (203 Česká republika, garant) -- Grumberg, Orna (376 Izrael)
Klíčová slova anglicky: model-checking
Mezinárodní význam: ano
Změnil: prof. RNDr. Luboš Brim, CSc., učo 197. Změněno: 22. 11. 2006 08:32.
Název anglicky: Distribution of Explicit-State LTL Model-Checking
RIV/00216224:14330/03:00008591 Článek v odborném periodiku. Informatika. angličtina. Nizozemské království.
Brim, Luboš (203 Česká republika, garant) -- Barnat, Jiří (203 Česká republika)
Klíčová slova anglicky: model-checking; distribution; verification
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.
RIV/00216224:14330/03:00008708 Stať ve sborníku. Informatika. angličtina. Německo.
Obdržálek, Jan (203 Česká republika, garant)
Klíčová slova anglicky: parity games; mu-calculus; model-checking; tree-width
Změnil: doc. Mgr. Jan Obdržálek, PhD., učo 1552. Změněno: 26. 5. 2004 11:18.
RIV/00216224:14330/03:00008160 Článek v odborném periodiku. Informatika. angličtina. Spojené státy.
Esparza, Javier (724 Španělsko) -- Kučera, Antonín (203 Česká republika, garant) -- Schwoon, Stefan (276 Německo)
Klíčová slova anglicky: model-checking; liner-time logic; pushdown systems
Mezinárodní význam: ano
Recenzováno: ano
Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 22. 11. 2006 18:17.
Název anglicky: Parallel Algorithms for Detection of Negative Cycles
RIV/00216224:14330/03:00008594 Stať ve sborníku. Informatika. angličtina. Nizozemské království.
Brim, Lubos (203 Česká republika, garant) -- Černá, Ivana (203 Česká republika) -- Hejtmánek, Lukáš (203 Česká republika)
Klíčová slova anglicky: model-checking; parallel computing
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 anglicky: Parallel Algorithms for Detection of Negative Cycles
RIV/00216224:14330/03:00008564 Odborná kniha. Informatika. čeština. Česká republika.
Brim, Lubos (203 Česká republika, garant) -- Černá, Ivana (203 Česká republika) -- Hejtmánek, Lukáš (203 Česká republika)
Klíčová slova anglicky: model-checking; parallel computing
Mezinárodní význam: ano
Změnil: prof. RNDr. Luboš Brim, CSc., učo 197. Změněno: 22. 11. 2006 08:32.
Název anglicky: INFINITY 2002. 4th International Workshop on Verification of Infinite-State Systems
RIV/00216224:14330/02:00007778 Uspořádání workshopu. Teorie informace. angličtina. Česká republika.
Kučera, Antonín (203 Česká republika, garant) -- Mayr, Richard (276 Německo)
Klíčová slova anglicky: Infinite-State Systems; Formal Verification; Equivalence-Checking; Model-Checking
Mezinárodní význam: ano
Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 22. 11. 2006 17:26.
Název anglicky: Property Driven Distribution of Nested DFS
RIV/00216224:14330/02:00006603 Stať ve sborníku. Informatika. angličtina. Velká Británie a Severní Irsko.
Barnat, Jiří (203 Česká republika) -- Brim, Luboš (203 Česká republika, garant) -- Černá, Ivana (203 Česká republika)
Klíčová slova anglicky: model-checking; distributed model-checking; verification; verification tool
Změnil: prof. RNDr. Jiří Barnat, Ph.D., učo 3496. Změněno: 22. 11. 2006 16:02.
Název anglicky: Using verified property to partition the state space in LTL model-checking
RIV/00216224:14330/02:00006604 Stať ve sborníku. Informatika. angličtina. Francie.
Barnat, Jiří (203 Česká republika, garant)
Klíčová slova anglicky: model-checking; distributed model-checking; verification
Změnil: prof. RNDr. Jiří Barnat, Ph.D., učo 3496. Změněno: 22. 11. 2006 16:01.
Název anglicky: Distributed LTL Model-Checking in SPIN
RIV/00216224:14330/01:00004189 Stať ve sborníku. Informatika. angličtina. Kanada.
Barnat, Jiří (203 Česká republika, garant) -- Brim, Luboš (203 Česká republika) -- Stříbrná, Jitka (203 Česká republika)
Klíčová slova anglicky: model-checking; verification; verification tool
Změnil: prof. RNDr. Jiří Barnat, Ph.D., učo 3496. Změněno: 22. 11. 2006 16:00.
Přír. čísla: 4200506714
Název anglicky: Distributed LTL Model-Checking in SPIN
RIV/00216224:14330/00:00002823 Odborná kniha. Informatika. čeština. Česká republika.
Barnat, Jiří (203 Česká republika) -- Brim, Luboš (203 Česká republika) -- Stříbrná, Jitka (203 Česká republika)
Klíčová slova anglicky: model-checking; verification; verification tool
Změnil: prof. RNDr. Jiří Barnat, Ph.D., učo 3496. Změněno: 26. 5. 2004 15:45.